Portability | non-portable (MPTC, FD, and missing constructors) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | Safe-Infered |

Used to express trichotomy at the type level.

# Documentation

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 |

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 |