copilot-0.28: A stream DSL for writing embedded C monitors.

Language.Copilot.Compiler

Description

Transform the copilot specification in an atom one, and then compile that one.

Synopsis

Documentation

copilotToAtom :: LangElems -> Maybe Period -> (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.