HERMIT.Shell.Interpreter

The HERMIT Interpreter

data Interp :: * -> *

An Interp cmd is a possible means of converting a Typeable value to a value of type cmd.

Instances

Functor Interp

interp :: Typeable a => (a -> cmd) -> Interp cmd

The primitive way of building an Interp.

interpExprH :: MonadState CommandLineState m => [Interp b] -> ExprH -> m b

Interpret an ExprH by looking up the appropriate Dynamic(s) in the provided Dictionary, then interpreting the Dynamic(s) with the provided Interps, returning the first interpretation to succeed (or an error string if none succeed).