Data.Constraint.Trivial

Documentation

class Unconstrained t

Intended to be used as an argument for some type constructor which expects kind * -> Constraint, when you do not actually wish to constrain anything with it.

Unconstrained t can always be added to the constraint list of any signature, without changing anything.

Instances

Unconstrained t

type Impossible t = HiddenEmptyClass t

This constraint can never be fulfilled. Might be useful e.g. as a default for a class-associated constraint; this basically disables any method with that constraint (so it can safely be left undefined).

class Unconstrained2 t s

Like Unconstrained, but with kind signature * -> * -> Constraint (two unconstrained types).

Instances

Unconstrained2 t s

type Impossible2 t s = HiddenEmptyClass2 t s

class Unconstrained3 t s r

Instances

Unconstrained3 t s r

type Impossible3 t s r = HiddenEmptyClass3 t s r

class Unconstrained4 t s r q

Instances

Unconstrained4 t s r q

type Impossible4 t s r q = HiddenEmptyClass4 t s r q

class Unconstrained5 t s r q p

Instances

Unconstrained5 t s r q p

type Impossible5 t s r q p = HiddenEmptyClass5 t s r q p

class Unconstrained6 t s r q p o

Instances

Unconstrained6 t s r q p o

type Impossible6 t s r q p o = HiddenEmptyClass6 t s r q p o

class Unconstrained7 t s r q p o n

Instances

Unconstrained7 t s r q p o n

type Impossible7 t s r q p o n = HiddenEmptyClass7 t s r q p o n

class Unconstrained8 t s r q p o n m

Instances

Unconstrained8 t s r q p o n m

type Impossible8 t s r q p o n m = HiddenEmptyClass8 t s r q p o n m

class Unconstrained9 t s r q p o n m l

Instances

Unconstrained9 t s r q p o n m l

type Impossible9 t s r q p o n m l = HiddenEmptyClass9 t s r q p o n m l