Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Eval expr where
- evaluate :: expr a -> Denotation a
- evaluateDefault :: Semantic expr => expr a -> Denotation a
Documentation
Nothing
evaluate :: expr a -> Denotation a Source
Evaluation of expressions
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 Source
Default implementation of evaluate