Documentation
class Evaluatable a whereSource
eval :: a -> EvaluationMonad ValueSource
Evaluatable (Exp Name) | |
Evaluatable a => Evaluatable (Annotated b a) |
class Evaluatable a whereSource
eval :: a -> EvaluationMonad ValueSource
Evaluatable (Exp Name) | |
Evaluatable a => Evaluatable (Annotated b a) |