DistributiveLattice overview

A DistributiveLattice must satisfy the following laws in addition to Lattice laws:

• Distributivity for meet: a ∨ (b ∧ c) <-> (a ∨ b) ∧ (a ∨ c)
• Distributivity for join: a ∧ (b ∨ c) <-> (a ∧ b) ∨ (a ∧ c)

Added in v2.0.0

---

Table of contents

• constructors
  • getMinMaxDistributiveLattice
• model
  • DistributiveLattice (interface)

---

constructors

getMinMaxDistributiveLattice

Signature

export declare function getMinMaxDistributiveLattice<A>(O: Ord<A>): DistributiveLattice<A>

Added in v2.0.0

model

DistributiveLattice (interface)

Signature

export interface DistributiveLattice<A> extends Lattice<A> {}

Added in v2.0.0