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