Language.Syntactic.Interpretation.Evaluation

Documentation

class Eval expr where

Methods

evaluate :: expr a -> Denotation a

Evaluation of expressions

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

Evaluation of expressions

Instances

Eval Semantics

Defined in Language.Syntactic.Interpretation.Evaluation

Methods

evaluate :: Semantics a -> Denotation a

Eval Empty

Defined in Language.Syntactic.Constraint

Methods

evaluate :: Empty a -> Denotation a

Eval Tuple

Defined in Language.Syntactic.Constructs.Tuple

Methods

evaluate :: Tuple a -> Denotation a

Eval Select

Defined in Language.Syntactic.Constructs.Tuple

Methods

evaluate :: Select a -> Denotation a

Eval Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

evaluate :: Literal a -> Denotation a

Eval Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

evaluate :: Identity a -> Denotation a

Eval Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

evaluate :: Construct a -> Denotation a

Eval Condition

Defined in Language.Syntactic.Constructs.Condition

Methods

evaluate :: Condition a -> Denotation a

Eval Let

Defined in Language.Syntactic.Constructs.Binding

Methods

evaluate :: Let a -> Denotation a

Eval dom => Eval (AST dom)

Defined in Language.Syntactic.Interpretation.Evaluation

Methods

evaluate :: AST dom a -> Denotation a

Monad m => Eval (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

evaluate :: MONAD m a -> Denotation a

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

Defined in Language.Syntactic.Interpretation.Evaluation

Methods

evaluate :: (expr1 :+: expr2) a -> Denotation a

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

Defined in Language.Syntactic.Constraint

Methods

evaluate :: (dom :|| pred) a -> Denotation a

Eval dom => Eval (dom :| pred)

Defined in Language.Syntactic.Constraint

Methods

evaluate :: (dom :| pred) a -> Denotation a

Eval expr => Eval (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

evaluate :: Decor info expr a -> Denotation a

Eval dom => Eval (SubConstr1 c dom p)

Defined in Language.Syntactic.Constraint

Methods

evaluate :: SubConstr1 c dom p a -> Denotation a

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

Defined in Language.Syntactic.Constraint

Methods

evaluate :: SubConstr2 c dom pa pb a -> Denotation a

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

Default implementation of evaluate