Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Interpretation.Semantics

Description

Default implementations of some interpretation functions

Synopsis

data Semantics a where
- Sem :: {..} -> Semantics a
type family Denotation sig
class Semantic expr where

Documentation

data Semantics a where Source #

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 Source #
Instance details Defined in Language.Syntactic.Interpretation.Render Methods renderSym :: Semantics sig -> String Source # renderArgs :: [String] -> Semantics sig -> String Source #
Eval Semantics Source #
Instance details Defined in Language.Syntactic.Interpretation.Evaluation Methods evaluate :: Semantics a -> Denotation a Source #
Equality Semantics Source #
Instance details Defined in Language.Syntactic.Interpretation.Equality Methods equal :: Semantics a -> Semantics b -> Bool Source # exprHash :: Semantics a -> Hash Source #

type family Denotation sig Source #

The denotation of a symbol with the given signature

Instances

type Denotation (Full a) Source #
Instance details Defined in Language.Syntactic.Interpretation.Semantics type Denotation (Full a) = a
type Denotation (a :-> sig) Source #
Instance details Defined in Language.Syntactic.Interpretation.Semantics type Denotation (a :-> sig) = a -> Denotation sig

class Semantic expr where Source #

Class of expressions that can be treated as constructs

Minimal complete definition

semantics

Methods

semantics :: expr a -> Semantics a Source #

Instances

Semantic Tuple Source #
Instance details Defined in Language.Syntactic.Constructs.Tuple Methods semantics :: Tuple a -> Semantics a Source #
Semantic Select Source #
Instance details Defined in Language.Syntactic.Constructs.Tuple Methods semantics :: Select a -> Semantics a Source #
Semantic Identity Source #
Instance details Defined in Language.Syntactic.Constructs.Identity Methods semantics :: Identity a -> Semantics a Source #
Semantic Construct Source #
Instance details Defined in Language.Syntactic.Constructs.Construct Methods semantics :: Construct a -> Semantics a Source #
Semantic Condition Source #
Instance details Defined in Language.Syntactic.Constructs.Condition Methods semantics :: Condition a -> Semantics a Source #
Monad m => Semantic (MONAD m) Source #
Instance details Defined in Language.Syntactic.Constructs.Monad Methods semantics :: MONAD m a -> Semantics a Source #