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

Language.Copilot.Language.FunctionCalls

Synopsis

Documentation

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

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

void :: Args

No C arguments

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