Language.Syntactic.Interpretation.Evaluation

Documentation

class Eval expr where

Methods

evaluate :: expr a -> a

Evaluation of expressions

Instances

Eval Semantics

Eval dom => Eval (AST dom)

Eval (Condition ctx)

Eval (Construct ctx)

Eval (Identity ctx)

Eval (Literal ctx)

Monad m => Eval (MONAD m)

Eval (Select ctx)

Eval (Tuple ctx)

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

Eval expr => Eval (Decor info expr)

Eval (Let ctxa ctxb)

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