copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.
Language.Copilot.Compiler
Description
Transform the copilot specification in an atom one, and then compile that one.
Synopsis
copilotToAtom :: StreamableMaps Spec -> Sends -> Maybe Period -> Maybe [(Var, String)] -> (Period, Atom ())Source
Compiles an Copilot specification to an Atom one.
The period is given as a Maybe : if it is Nothing, an optimal period will be chosen.