Language.Syntactic.Interpretation.Evaluation

Documentation

class Eval expr where

Minimal complete definition

Nothing

Methods

evaluate :: expr a -> Denotation a

Evaluation of expressions

Instances

Eval Semantics

Eval Empty

Eval Condition

Eval Construct

Eval Identity

Eval Literal

Eval Tuple

Eval Select

Eval Let

Eval dom => Eval (AST dom)

Monad m => Eval (MONAD m)

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

Eval dom => Eval ((:||) dom pred)

Eval dom => Eval ((:|) dom pred)

Eval expr => Eval (Decor info expr)

Eval dom => Eval (SubConstr1 c dom p)

Eval dom => Eval (SubConstr2 c dom pa pb)

evaluateDefault :: Semantic expr => expr a -> Denotation a

Default implementation of evaluate