algebra

root

allEqual

Eq Order

allEqualBoundedSemilattice

Eq

and

Eq

anyEqualSemilattice

Eq

apply

Band BoundedSemilattice CommutativeGroup CommutativeMonoid CommutativeSemigroup Eq Group Monoid Order PartialOrder Priority Semigroup Semilattice

asJoinPartialOrder

Semilattice

asMeetPartialOrder

Semilattice