Feldspar.Compiler.Imperative.FromCore
Documentation
class Compilable t where
Methods
Arguments
| :: String | Name of procedure |
| -> [Variable ()] | Free variables |
| -> t | Program to compile |
| -> Transformer () |
buildInParamDescriptor :: t -> [Int]
Returns a list containing the number of edges in each curried argument
Instances
| Syntactic a => Compilable a | |
| (Syntactic a, Compilable t) => Compilable (a -> t) |
numArgs :: Compilable a => a -> Int
fromCore :: Compilable t => String -> t -> Module ()