Lattice

typeclass L: Lattice extends MeetSemilattice, JoinSemilattice

A partially ordered type with binary meets and joins.

GitHub

---

antisymmetric

Inherited from PartialOrder.

gt

Inherited from PartialOrder.

gte

Inherited from PartialOrder.

join

Inherited from Join.

join_lte_of_bounds

Inherited from JoinSemilattice.

lt

Inherited from PartialOrder.

lte

Inherited from LTE.

lte_join_left

Inherited from JoinSemilattice.

lte_join_right

Inherited from JoinSemilattice.

lte_meet_of_bounds

Inherited from MeetSemilattice.

meet

Inherited from Meet.

meet_lte_left

Inherited from MeetSemilattice.

meet_lte_right

Inherited from MeetSemilattice.

reflexive

Inherited from PartialOrder.

transitive

Inherited from PartialOrder.