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

Language.Copilot.Language.FunctionCalls

Synopsis

Documentation

(<>) :: (ArgCl a, Streamable b) => Spec b -> a -> Args Source

trigger :: ArgCl a => Spec Bool -> String -> a -> Streams Source

void :: Args Source

No C arguments

fun :: ArgCl a => String -> a -> Ext Source