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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Constructs.Switch

Documentation

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