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).