Language.Syntactic.Syntax

Syntax trees

data AST sym sig

type ASTF sym a

data ASTFull sym a

data Full a

data a :-> sig

data SigRep sig

class Signature sig

type family DenResult sig

class Symbol sym

size

Smart constructors

type family SmartFun (sym :: * -> *) sig

type family SmartSig f

type family SmartSym f :: * -> *

smartSym'

Open symbol domains

data (sym1 :+: sym2) sig

class Project sub sup

class sub :<: sup

smartSym

smartSymTyped

data Empty

Existential quantification

data E e

liftE

liftE2

data EF e

liftEF

liftEF2

Type casting expressions

data Typed sym sig

injT

castExpr

Misc.

class NFData1 c

symType

prjP