| Portability | non-portable (MPTC, FD, and missing constructors) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Infered |
Data.Type.Sign
Description
Used to express trichotomy at the type level.
Documentation
Instances
| TSign Negative | |
| TCSign Closure Negative | |
| Trichotomy T Negative | |
| Trichotomy T Negative | |
| TEq Positive Negative F | |
| TEq SignZero Negative F | |
| TEq Negative Positive F | |
| TEq Negative SignZero F | |
| TEq Negative Negative T | |
| Trichotomy (O T) Negative | |
| Trichotomy (DE T) Negative | |
| Trichotomy (DD T) Negative | |
| Trichotomy (DC T) Negative | |
| Trichotomy (DB T) Negative | |
| Trichotomy (DA T) Negative | |
| Trichotomy (D9 T) Negative | |
| Trichotomy (D8 T) Negative | |
| Trichotomy (D7 T) Negative | |
| Trichotomy (D6 T) Negative | |
| Trichotomy (D5 T) Negative | |
| Trichotomy (D4 T) Negative | |
| Trichotomy (D3 T) Negative | |
| Trichotomy (D2 T) Negative | |
| Trichotomy (D1 T) Negative | |
| Trichotomy (D0 T) Negative |
Instances
| TSign Positive | |
| TCSign Closure Positive | |
| TEq Positive Positive T | |
| TEq Positive SignZero F | |
| TEq Positive Negative F | |
| TEq SignZero Positive F | |
| TEq Negative Positive F | |
| Trichotomy (I F) Positive | |
| Trichotomy (DF F) Positive | |
| Trichotomy (DE F) Positive | |
| Trichotomy (DD F) Positive | |
| Trichotomy (DC F) Positive | |
| Trichotomy (DB F) Positive | |
| Trichotomy (DA F) Positive | |
| Trichotomy (D9 F) Positive | |
| Trichotomy (D8 F) Positive | |
| Trichotomy (D7 F) Positive | |
| Trichotomy (D6 F) Positive | |
| Trichotomy (D5 F) Positive | |
| Trichotomy (D4 F) Positive | |
| Trichotomy (D3 F) Positive | |
| Trichotomy (D2 F) Positive | |
| Trichotomy (D1 F) Positive |