| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Compiler.Imperative.FromCore
- 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
getCore' :: SyntacticFeld a => Options -> a -> Module () Source
Get the generated core for a program.