Lattice overview

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

• Absorbtion law for meet: a ∧ (a ∨ b) <-> a
• Absorbtion law for join: a ∨ (a ∧ b) <-> a

Added in v2.0.0

---

Table of contents

• model
  • Lattice (interface)

---

model

Lattice (interface)

Signature

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

Added in v2.0.0