feldspar-compiler-0.7: Compiler for the Feldspar language

Safe Haskell	None
Language	Haskell2010

Feldspar.Compiler.Imperative.FromCore

Synopsis

compileProgTop :: (Compile dom dom, Project (CLambda Type) dom, Project Let dom, Project (Literal :|| Type) dom, ConstrainedBy dom Typeable) => Options -> String -> [(VarId, ASTB (Decor Info dom) Type)] -> ASTF (Decor Info dom) a -> CodeWriter (Variable ())
fromCore :: SyntacticFeld a => Options -> String -> a -> Module ()
getCore' :: SyntacticFeld a => Options -> a -> Module ()

Documentation

compileProgTop :: (Compile dom dom, Project (CLambda Type) dom, Project Let dom, Project (Literal :|| Type) dom, ConstrainedBy dom Typeable) => Options -> String -> [(VarId, ASTB (Decor Info dom) Type)] -> ASTF (Decor Info dom) a -> CodeWriter (Variable ()) Source

fromCore :: SyntacticFeld a => Options -> String -> a -> Module () Source

getCore' :: SyntacticFeld a => Options -> a -> Module () Source

Get the generated core for a program.