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)

Table of contents


DistributiveLattice (interface)

Signature

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

Added in v2.0.0

getMinMaxDistributiveLattice (function)

Signature

export function getMinMaxDistributiveLattice<A>(O: Ord<A>): DistributiveLattice<A> { ... }

Added in v2.0.0