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

Documentation

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.