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

Language.Copilot.Interpreter

Description

The Copilot interpreter.

Synopsis

Documentation

interpretStreams :: StreamableMaps Spec -> Vars -> VarsSource

The main function of this module. It takes a Copilot specification, the values of the monitored values, and returns the values of the streams.