Language.Syntactic.Constraint

Type predicates

class (c1 :/\: c2) a

class Top a

pTop

pTypeable

type Sub sub sup

weakL

weakR

class sub :< sup

Constrained syntax

data :|

data :||

class Constrained expr

type ConstrainedBy expr p

exprDictSub

exprDictPlus

class InjectC sub sup a

appSymC

data SubConstr1

data SubConstr2

Existential quantification

data ASTE

liftASTE

liftASTE2

data ASTB

liftASTB

liftASTB2

type ASTSAT dom

Misc.

data Empty