Language.Syntactic.Analysis.Evaluation

Documentation

class Eval expr where

Methods

evaluate :: expr a -> a

Evaluation of expressions

Instances

Eval Sym

Eval dom => Eval (AST dom)

Eval (Literal ctx)

Eval (Condition ctx)

Eval (Select ctx)

Eval (Tuple ctx)

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

Eval expr => Eval (Ann info expr)

Eval (Let ctxa ctxb)

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