Safe Haskell	None
Language	Haskell2010

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 where Source

Constructors

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

Instances

Equality Construct Source
StringTree Construct Source
Render Construct Source
Eval Construct Source
Semantic Construct Source
Constrained Construct Source
EvalBind Construct Source
Optimize Construct Source
AlphaEq dom dom dom env => AlphaEq Construct Construct dom env Source
type Sat Construct = Top Source