Language.Syntactic.Analysis.Evaluation

Documentation

class Eval expr where

Methods

evaluate :: expr a -> a

Evaluation of expressions

Instances

Eval Literal

Eval PrimFunc

Eval Condition

Eval Select

Eval Tuple

Eval Let

Eval dom => Eval (AST dom)

(Eval expr1, Eval expr2) => Eval (:+: expr1 expr2)

Eval expr => Eval (Ann info expr)

evalFull :: Eval dom => ASTF dom a -> a

evalSyn :: (Syntactic a dom, Eval dom) => a -> Internal a