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

Safe Haskell	None
Language	Haskell2010

Feldspar.Core.Constructs.Switch

Documentation

data Switch a where Source

Constructors

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

Instances

EvalBind Switch
Semantic Switch
Eval Switch
Render Switch
StringTree Switch
Equality 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 -> Bool Source