License | BSD-3-Clause |
---|---|
Maintainer | Jamie Willis |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
This module exports the eval
functions used to convert a machine into code.
Since: 1.0.0.0
Synopsis
- eval :: forall o a. (Trace, Ops o) => Code (InputDependant (Rep o)) -> LetBinding o a a -> DMap MVar (LetBinding o a) -> Code (Maybe a)
Documentation
:: forall o a. (Trace, Ops o) | |
=> Code (InputDependant (Rep o)) | The input as provided by the user. |
-> LetBinding o a a | The binding to be generated. |
-> DMap MVar (LetBinding o a) | The map of all other required bindings. |
-> Code (Maybe a) | The code for this parser. |
This function performs the evaluation on the top-level let-bound parser to convert it into code.
Since: 1.0.0.0