BoundedDistributiveLattice overview
A BoundedDistributiveLattice
is a lattice that is both bounded and distributive
Added in v2.0.0
Table of contents
constructors
getMinMaxBoundedDistributiveLattice
Signature
export declare function getMinMaxBoundedDistributiveLattice<A>(
O: Ord<A>
): (min: A, max: A) => BoundedDistributiveLattice<A>
Added in v2.0.0
model
BoundedDistributiveLattice (interface)
Signature
export interface BoundedDistributiveLattice<A> extends BoundedLattice<A>, DistributiveLattice<A> {}
Added in v2.0.0