Copilot.Compile.C99.CodeGen

Documentation

gendecln :: String -> Type a -> Decln

Write a declaration for a generator function.

genfun :: String -> Expr a -> Type a -> FunDef

Write a generator function for a stream.

mkextdecln :: External -> Decln

Make a extern declaration of an variable.

mkextcpydecln :: External -> Decln

Make a declaration for a copy of an external variable.

mkbuffdecln :: Id -> Type a -> [a] -> Decln

Make a C buffer variable and initialise it with the stream buffer.

mkindexdecln :: Id -> Decln

Make a C index variable and initialise it to 0.

mkstep :: [Stream] -> [Trigger] -> [External] -> FunDef

The step function updates all streams,a

mkstructdecln :: Struct a => Type a -> Decln

Write a struct declaration based on its definition.

mkstructforwdecln :: Struct a => Type a -> Decln

Write a forward struct decralration.

exprtypes :: Typeable a => Expr a -> [UType]

List all types of an expression, returns items uniquely.

typetypes :: Typeable a => Type a -> [UType]

List all types of an type, returns items uniquely.

gatherexprs :: [Stream] -> [Trigger] -> [UExpr]

Collect all expression of a list of streams and triggers and wrap them into an UEXpr.