Language.Copilot.Interpreter
Description
This interpreter is mostly used for checking the Copilot implementation. But it can also be used for quick testing of a Copilot design
- interpretStreams :: StreamableMaps Spec -> Vars -> Vars
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.