hermit-0.2.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.Interp
Contents
Synopsis
data Interp Source
An Interp a is a possible means of converting a Typeable value to a value of type a.
Interp
a
Typeable
Instances
interp :: Typeable a => (a -> b) -> Interp bSource
The primitive way of building an Interp.
interpExprH :: Map String [Dynamic] -> [Interp a] -> ExprH -> Either String aSource
Interpret an ExprH by looking up the appropriate Dynamic(s) in the provided Map, then interpreting the Dynamic(s) with the provided Interps, returning the first interpretation to succeed (or an error string if none succeed).
ExprH
Dynamic
Map