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.1: 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) |