syntactic-0.8: Generic abstract syntax, and utilities for embedded languages
Language.Syntactic.Interpretation.Evaluation
class Eval expr whereSource
Methods
evaluate :: expr a -> aSource
Evaluation of expressions
Instances
evalFull :: Eval dom => ASTF dom a -> aSource