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 v1.4.0
getMinMaxDistributiveLattice (function)
Signature
export const getMinMaxDistributiveLattice = <A>(O: Ord<A>): DistributiveLattice<A> => ...
Added in v1.4.0