Language.Syntactic.Constructs.Construct

Provides a simple way to make syntactic constructs for prototyping. Note that Construct is quite unsafe as it only uses String to distinguish between different constructs. Also, Construct has a very free type that allows any number of arguments.

Documentation

data Construct sig where

Constructors

Construct :: String -> Denotation sig -> Construct sig

Instances

Semantic Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

semantics :: Construct a -> Semantics a

StringTree Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

stringTreeSym :: [Tree String] -> Construct a -> Tree String

Render Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

renderSym :: Construct sig -> String

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

Eval Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

evaluate :: Construct a -> Denotation a

Equality Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

equal :: Construct a -> Construct b -> Bool

exprHash :: Construct a -> Hash

Constrained Construct

Defined in Language.Syntactic.Constructs.Construct

Associated Types

type Sat Construct :: * -> Constraint

Methods

exprDict :: Construct a -> Dict (Sat Construct (DenResult a))

EvalBind Construct

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Construct sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Optimize Construct

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Construct sig -> AST dom sig) -> Construct sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

AlphaEq dom dom dom env => AlphaEq Construct Construct dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Construct a -> Args (AST dom) a -> Construct b -> Args (AST dom) b -> Reader env Bool

type Sat Construct

Defined in Language.Syntactic.Constructs.Construct

type Sat Construct = Top