Bands are semigroups whose operation (i.
An abelian group is a group whose operation is commutative.
CommutativeMonoid represents a commutative monoid.
CommutativeSemigroup represents a commutative semigroup.
A type class used to determine equality between 2 instances of the same type.
A group is a monoid where each element has an inverse.
A monoid is a semigroup with an identity.
The Order
type class is used to define a total ordering on some type A
.
The PartialOrder
type class is used to define a partial ordering on some type A
.
Priority is a type class for prioritized implicit search.
A semigroup is any set A
with an associative operation (combine
).
Semilattices are commutative semigroups whose operation (i.