hermit-0.1.2.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