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