id | title |
---|---|
DistributiveLattice |
Module DistributiveLattice |
Signature (type class) Source
export interface DistributiveLattice<A> extends Lattice<A> {}
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 v1.4.0
Signature (function) Source
export const getMinMaxDistributiveLattice = <A>(O: Ord<A>): DistributiveLattice<A> => { ... }
Added in v1.4.0