id | title |
---|---|
BoundedDistributiveLattice |
Module BoundedDistributiveLattice |
Signature (type class) Source
export interface BoundedDistributiveLattice<A> extends BoundedLattice<A>, DistributiveLattice<A> {}
A BoundedDistributiveLattice
is a lattice that is both bounded and distributive
Added in v1.4.0
Signature (function) Source
export const getMinMaxBoundedDistributiveLattice = <A>(O: Ord<A>) => (
min: A,
max: A
): BoundedDistributiveLattice<A> => { ... }
Added in v1.4.0