atom-1.0.13: An EDSL for embedded hard realtime applications.

Copyright(c) 2013 Tom Hawkins & Lee Pike
Safe HaskellNone
LanguageHaskell98

Language.Atom.Compile

Description

Atom compilation functions

Synopsis

Documentation

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

Compiles an atom description to C.

reportSchedule :: Schedule -> String Source

Generate a rule scheduling report for the given schedule.

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

Schedule expressed as a UeMap and a list of (period, phase, rules).