A Lattice
must satisfy the following in addition to JoinSemilattice
and MeetSemilattice
laws:
a ∧ (a ∨ b) <-> a
a ∨ (a ∧ b) <-> a
Added in v2.0.0
Signature
export interface Lattice<A> extends JoinSemilattice<A>, MeetSemilattice<A> {}
Added in v2.0.0