← Back

Source

Lattice

interface Lattice<A> extends JoinSemilattice<A>, MeetSemilattice<A> {}

Added in v1.4.0 (type class)

A Lattice must satisfy the following in addition to JoinSemilattice and MeetSemilattice laws: