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)

---

model

BoundedLattice (interface)

Signature

export interface BoundedLattice<A> extends BoundedJoinSemilattice<A>, BoundedMeetSemilattice<A> {}

Added in v2.0.0