 | copilot-0.22: A stream DSL for writing embedded C. | Source code | Contents | Index |
| Language.Copilot.Interpreter |
| interpretStreams :: StreamableMaps Spec -> Vars -> Vars |
| |||||
| |||||
| Description | |||||
| This interpreter is mostly used for checking the Copilot implementation. But it can also be used for quick testing of a Copilot design | |||||
| Synopsis | |||||
| |||||
| 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. | |||||
| Produced by Haddock version 2.6.1 |