Language.Copilot.Interpreter

This interpreter is mostly used for checking the Copilot implementation. But it can also be used for quick testing of a Copilot design

Documentation

interpretStreams :: StreamableMaps Spec -> Vars -> Vars

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