atom-1.0.12: A DSL for embedded hard realtime applications.

Safe HaskellNone

Language.Atom.Compile

Description

Atom compilation.

Synopsis

Documentation

compile :: Name -> Config -> Atom () -> IO (Schedule, RuleCoverage, [Name], [Name], [(Name, Type)])Source

Compiles an atom description to C.

type Schedule = (UeMap, [(Int, Int, [Rule])])Source