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

Equality Construct

StringTree Construct

Render Construct

Eval Construct

Semantic Construct

Constrained Construct

EvalBind Construct

Optimize Construct

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