feldspar-compiler-0.7: Compiler for the Feldspar language

Safe HaskellNone
LanguageHaskell2010

Feldspar.Compiler.Imperative.FromCore.MutableToPure

Synopsis

Documentation

chaseBind :: (Project (MONAD Mut) dom, Project (CLambda Type) dom) => AST dom a -> AST dom a Source

Chase down the right-spine of Bind and Then constructs and return the last term