Language.Syntactic.Interpretation.Semantics

Default implementations of some interpretation functions

Documentation

data Semantics a where

A representation of a syntactic construct as a String and an evaluation function. It is not meant to be used as a syntactic symbol in an AST. Its only purpose is to provide the default implementations of functions like exprEq via the Semantic class.

Constructors

Sem :: Signature a => String -> Denotation a -> Semantics a

Fields

semanticName :: String

semanticEval :: Denotation a

Instances

ExprEq Semantics

Render Semantics

Eval Semantics

class Semantic expr where

Class of expressions that can be treated as constructs

Methods

semantics :: expr a -> Semantics a

Instances

Semantic (Condition ctx)

Semantic (Identity ctx)

Monad m => Semantic (MONAD m)

Semantic (Select ctx)

Semantic (Tuple ctx)

exprEqSem :: Semantic expr => expr a -> expr b -> Bool

Default implementation of exprEq

exprHashSem :: Semantic expr => expr a -> Hash

Default implementation of exprHash

renderPartSem :: Semantic expr => [String] -> expr a -> String

Default implementation of renderPart

evaluateSem :: Semantic expr => expr a -> a

Default implementation of evaluate