CSPM.Evaluator.Expr
Documentation
class Evaluatable a whereSource
Methods
eval :: a -> EvaluationMonad ValueSource
Instances
| Evaluatable Exp | |
| Evaluatable a => Evaluatable (Annotated b a) |
libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.
CSPM.Evaluator.Expr
class Evaluatable a whereSource
Methods
eval :: a -> EvaluationMonad ValueSource
Instances
| Evaluatable Exp | |
| Evaluatable a => Evaluatable (Annotated b a) |