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 equal via the Semantic class.

Constructors

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

Fields

semanticName :: String

semanticEval :: Denotation a

Instances

Equality Semantics

Render Semantics

Eval Semantics

type family Denotation sig

The denotation of a symbol with the given signature

Instances

type Denotation (Full a) = a

type Denotation ((:->) a sig) = a -> Denotation sig

class Semantic expr where

Class of expressions that can be treated as constructs

Methods

semantics :: expr a -> Semantics a

Instances

Semantic Condition

Semantic Construct

Semantic Identity

Semantic Tuple

Semantic Select

Monad m => Semantic (MONAD m)