id | title |
---|---|
BoundedLattice |
Module BoundedLattice |
Signature (type class) Source
export interface BoundedLattice<A> extends BoundedJoinSemilattice<A>, BoundedMeetSemilattice<A> {}
A BoundedLattice
must satisfy the following in addition to BoundedMeetSemilattice and BoundedJoinSemilattice laws:
- Absorbtion law for meet:
a ∧ (a ∨ b) == a
- Absorbtion law for join:
a ∨ (a ∧ b) == a
Added in v1.4.0