copilot-0.22: A stream DSL for writing embedded C.
Language.Copilot.AtomToC
Description
Defines a main() and print statements to easily execute generated Copilot specs.
getPrePostCode :: Name -> StreamableMaps Spec -> [(Type, Var, Phase)] -> Vars -> Period -> (String, String)Source