feldspar-language-0.7: A functional embedded language for DSP and parallelism

Safe HaskellNone

Feldspar.Core.Constructs.Switch

Documentation

data Switch a whereSource

Constructors

Switch :: Type b => Switch (b :-> Full b) 

Instances

Semantic Switch 
StringTree Switch 
Render Switch 
Eval Switch 
Equality Switch 
EvalBind Switch 
Monotonic Switch 
Sharable Switch 
AlphaEq dom dom dom env => AlphaEq Switch Switch dom env 
SizeProp (:|| Switch Type) 
(:<: (:|| Switch Type) dom, :<: (:|| EQ Type) dom, :<: (:|| Condition Type) dom, OptimizeSuper dom) => Optimize (:|| Switch Type) dom 

isTree :: ((EQ :|| Type) :<: dom, (Condition :|| Type) :<: dom, AlphaEq dom dom (Decor Info (dom :|| Typeable)) [(VarId, VarId)]) => ASTF (Decor Info (dom :|| Typeable)) a -> ASTF (Decor Info (dom :|| Typeable)) b -> BoolSource