Safe Haskell | None |
---|

- data Interp
- interp :: Typeable a => (a -> b) -> Interp b
- interpExprH :: Monad m => Dictionary -> [Interp a] -> ExprH -> m a

# The HERMIT Interpreter

interpExprH :: Monad m => Dictionary -> [Interp a] -> ExprH -> m aSource

Interpret an `ExprH`

by looking up the appropriate `Dynamic`

(s) in the provided `Dictionary`

, then interpreting the `Dynamic`

(s) with the provided `Interp`

s, returning the first interpretation to succeed (or an error string if none succeed).