Safe Haskell	None

Language.Syntactic.Constructs.Construct

Description

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 whereSource

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