* | 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 |