Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family Denotation sig
- class Eval expr where
- evaluate :: expr a -> Denotation a
Documentation
type family Denotation sig Source
The denotation of a symbol with the given signature
type Denotation (Full a) = a Source | |
type Denotation ((:->) a sig) = a -> Denotation sig Source |
evaluate :: expr a -> Denotation a Source
Evaluation of expressions
Eval Semantics Source | |
Eval Empty Source | |
Eval Condition Source | |
Eval Construct Source | |
Eval Identity Source | |
Eval Literal Source | |
Eval Tuple Source | |
Eval Select Source | |
Eval Let Source | |
Eval dom => Eval (AST dom) Source | |
Monad m => Eval (MONAD m) Source | |
(Eval expr1, Eval expr2) => Eval ((:+:) expr1 expr2) Source | |
Eval dom => Eval ((:||) dom pred) Source | |
Eval dom => Eval ((:|) dom pred) Source | |
Eval expr => Eval (Decor info expr) Source | |
Eval dom => Eval (SubConstr1 c dom p) Source | |
Eval dom => Eval (SubConstr2 c dom pa pb) Source |