Index
| </=> | Data.Poset |
| <==> | Data.Poset |
| Comp | Data.Poset |
| comparing | Data.Poset |
| geq | Data.Poset |
| gt | Data.Poset |
| leq | Data.Poset |
| lt | Data.Poset |
| NComp | Data.Poset |
| Poset | Data.Poset |
| posetCmp | Data.Poset |
| PosetOrd | Data.Poset |
ordered-0.1: A definition of Posets.
Index
| </=> | Data.Poset |
| <==> | Data.Poset |
| Comp | Data.Poset |
| comparing | Data.Poset |
| geq | Data.Poset |
| gt | Data.Poset |
| leq | Data.Poset |
| lt | Data.Poset |
| NComp | Data.Poset |
| Poset | Data.Poset |
| posetCmp | Data.Poset |
| PosetOrd | Data.Poset |