CSPM.Evaluator.Expr
Documentation
class Evaluatable a whereSource
Methods
eval :: a -> EvaluationMonad ValueSource
Instances
| Evaluatable (Exp Name) | |
| Evaluatable a => Evaluatable (Annotated b a) |
libcspm-0.2.0: 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 Name) | |
| Evaluatable a => Evaluatable (Annotated b a) |