| Copyright | (c) 2014-2016 Justus Sagemüller |
|---|---|
| License | GPL v3 (see LICENSE) |
| Maintainer | (@) jsagemue $ uni-koeln.de |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.Constraint.Trivial
Description
- class Unconstrained t
- type Impossible t = HiddenEmptyClass t
- class Unconstrained2 t s
- type Impossible2 t s = HiddenEmptyClass2 t s
- class Unconstrained3 t s r
- type Impossible3 t s r = HiddenEmptyClass3 t s r
- class Unconstrained4 t s r q
- type Impossible4 t s r q = HiddenEmptyClass4 t s r q
- class 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
- type Impossible6 t s r q p o = HiddenEmptyClass6 t s r q p o
- class 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
- 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
- type Impossible9 t s r q p o n m l = HiddenEmptyClass9 t s r q p o n m l
Documentation
class Unconstrained t Source
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
Instances
type Impossible t = HiddenEmptyClass t Source
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 Source
Like Unconstrained, but with kind signature * -> * -> Constraint
(two unconstrained types).
Instances
| Unconstrained2 t s Source |
type Impossible2 t s = HiddenEmptyClass2 t s Source
class Unconstrained3 t s r Source
Instances
| Unconstrained3 t s r Source |
type Impossible3 t s r = HiddenEmptyClass3 t s r Source
class Unconstrained4 t s r q Source
Instances
| Unconstrained4 t s r q Source |
type Impossible4 t s r q = HiddenEmptyClass4 t s r q Source
class Unconstrained5 t s r q p Source
Instances
| Unconstrained5 t s r q p Source |
type Impossible5 t s r q p = HiddenEmptyClass5 t s r q p Source
class Unconstrained6 t s r q p o Source
Instances
| Unconstrained6 t s r q p o Source |
type Impossible6 t s r q p o = HiddenEmptyClass6 t s r q p o Source
class Unconstrained7 t s r q p o n Source
Instances
| Unconstrained7 t s r q p o n Source |
type Impossible7 t s r q p o n = HiddenEmptyClass7 t s r q p o n Source
class Unconstrained8 t s r q p o n m Source
Instances
| Unconstrained8 t s r q p o n m Source |
type Impossible8 t s r q p o n m = HiddenEmptyClass8 t s r q p o n m Source
class Unconstrained9 t s r q p o n m l Source
Instances
| Unconstrained9 t s r q p o n m l Source |
type Impossible9 t s r q p o n m l = HiddenEmptyClass9 t s r q p o n m l Source