Type.Cluss

Clusses

class In as a

type family Has as a :: Bool

Type Patterns

data Type a

data AnyType p

data a <| p

type Unary a p

type Binary a p

type Ternary a p

type Quaternary a p

type Quinary a p

type Senary a p

type Septenary a p

type Octary a p

type Nonary a p

type Denary a p

Instance Products

type AllOf as

data family AllOf' ts as t

Constraint Combinators

Basic Combinators

class This a

class Pure a

type Is

Combinators for Overlaying Contraints

class (p >+< q) a

class (p >++< q) a b

class (p >+++< q) a b c

class (p >++++< q) a b c d

class (p >+++++< q) a b c d e

class (p >++++++< q) a b c d e f

class (p >+++++++< q) a b c d e f g

class (p >++++++++< q) a b c d e f g h

class (p >+++++++++< q) a b c d e f g h i

class (p >++++++++++< q) a b c d e f g h i j

Combinators for Bonding Contraints

class (p >|< q) a b

class (p >||< q) a b c

class (p >|||< q) a b c d

class (p >||||< q) a b c d e

class (p >|||||< q) a b c d e f

class (p >||||||< q) a b c d e f g

class (p >|||||||< q) a b c d e f g h

class (p >||||||||< q) a b c d e f g h i

class (p >|||||||||< q) a b c d e f g h i j

Helpers

Helpers for Identical Constructors

type AllOfI as

andI

andI1

andI2

andI3

andI4

andI5

andI6

andI7

andI8

andI9

andI10

noneI

projI

Helpers for Function Constructors

type AllOfF as t

andF

andF1

andF2

andF3

andF4

andF5

andF6

andF7

andF8

andF9

andF10

noneF

projF

Examples

Example1: Hello

Example2: Printf

Example3: Monad