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 :: {..} -> Semantics a

Fields

• semanticName :: String
• semanticEval :: Denotation a

Instances

Render Semantics

Defined in Language.Syntactic.Interpretation.Render

Methods

renderSym :: Semantics sig -> String

renderArgs :: [String] -> Semantics sig -> String

Eval Semantics

Defined in Language.Syntactic.Interpretation.Evaluation

Methods

evaluate :: Semantics a -> Denotation a

Equality Semantics

Defined in Language.Syntactic.Interpretation.Equality

Methods

equal :: Semantics a -> Semantics b -> Bool

exprHash :: Semantics a -> Hash

type family Denotation sig

The denotation of a symbol with the given signature

Instances

type Denotation (Full a)

Defined in Language.Syntactic.Interpretation.Semantics

type Denotation (Full a) = a

type Denotation (a :-> sig)

Defined in Language.Syntactic.Interpretation.Semantics

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

class Semantic expr where

Class of expressions that can be treated as constructs

Minimal complete definition

semantics

Methods

semantics :: expr a -> Semantics a

Instances

Semantic Tuple

Defined in Language.Syntactic.Constructs.Tuple

Methods

semantics :: Tuple a -> Semantics a

Semantic Select

Defined in Language.Syntactic.Constructs.Tuple

Methods

semantics :: Select a -> Semantics a

Semantic Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

semantics :: Identity a -> Semantics a

Semantic Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

semantics :: Construct a -> Semantics a

Semantic Condition

Defined in Language.Syntactic.Constructs.Condition

Methods

semantics :: Condition a -> Semantics a

Monad m => Semantic (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

semantics :: MONAD m a -> Semantics a