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

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