Index
| * | Algebra |
| + | Algebra |
| - | Algebra |
| / | Algebra |
| < | Relation.Binary.Comparison |
| <> | Algebra |
| > | Relation.Binary.Comparison |
| Abelian | Algebra |
| compare | Relation.Binary.Comparison |
| Eq | Relation.Binary.Comparison |
| Group | Algebra |
| Idempotent | Algebra |
| invert | Algebra |
| Lexical | |
| 1 (Type/Class) | Relation.Binary.Comparison |
| 2 (Data Constructor) | Relation.Binary.Comparison |
| mempty | Algebra |
| Monoid | Algebra |
| Ord | Relation.Binary.Comparison |
| PartialEq | Relation.Binary.Comparison |
| PartialOrd | Relation.Binary.Comparison |
| Preord | Relation.Binary.Comparison |
| sconcat | Algebra |
| Semigroup | Algebra |
| stimes | Algebra |
| tryCompare | Relation.Binary.Comparison |
| ≡ | Relation.Binary.Comparison |
| ≢ | Relation.Binary.Comparison |
| ≤ | Relation.Binary.Comparison |
| ≥ | Relation.Binary.Comparison |