Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Interp :: * -> *
- interp :: Typeable a => (a -> cmd) -> Interp cmd
- interpExprH :: MonadState CommandLineState m => [Interp b] -> ExprH -> m b
The HERMIT Interpreter
interpExprH :: MonadState CommandLineState m => [Interp b] -> ExprH -> m b Source
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).