Index
| <|=|> | Data.Type.Ord.Axiomata |
| =? | Data.Type.Ord.Axiomata |
| antiSym | Data.Type.Ord.Axiomata |
| BoundedAbove | Data.Type.Ord.Axiomata |
| BoundedBelow | Data.Type.Ord.Axiomata |
| defaultDecideEq | Data.Type.Ord.Axiomata |
| Equivalence | Data.Type.Ord.Axiomata |
| greatest | Data.Type.Ord.Axiomata |
| least | Data.Type.Ord.Axiomata |
| LowerBound | Data.Type.Ord.Axiomata |
| lowerBound | Data.Type.Ord.Axiomata |
| maxInfl1 | Data.Type.Ord.Axiomata |
| maxInfl2 | Data.Type.Ord.Axiomata |
| maxMono | Data.Type.Ord.Axiomata |
| maxTO | Data.Type.Ord.Axiomata |
| minDefl1 | Data.Type.Ord.Axiomata |
| minDefl2 | Data.Type.Ord.Axiomata |
| minMono | Data.Type.Ord.Axiomata |
| minTO | Data.Type.Ord.Axiomata |
| refl | Data.Type.Ord.Axiomata |
| Reflect | Data.Type.Ord.Axiomata |
| Sing | Data.Type.Ord.Axiomata |
| sub | Data.Type.Ord.Axiomata |
| sym | Data.Type.Ord.Axiomata |
| TotalOrder | Data.Type.Ord.Axiomata |
| transEq | Data.Type.Ord.Axiomata |
| transTO | Data.Type.Ord.Axiomata |
| UpperBound | Data.Type.Ord.Axiomata |
| upperBound | Data.Type.Ord.Axiomata |