BoundedLattice overview
A BoundedLattice must satisfy the following in addition to BoundedMeetSemilattice and BoundedJoinSemilattice laws:
- Absorption law for meet:
a ∧ (a ∨ b) <-> a - Absorption law for join:
a ∨ (a ∧ b) <-> a
Added in v2.0.0
Table of contents
model
BoundedLattice (interface)
Signature
export interface BoundedLattice<A> extends BoundedJoinSemilattice<A>, BoundedMeetSemilattice<A> {}
Added in v2.0.0