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