← Back

Source

BoundedJoinSemilattice

interface BoundedJoinSemilattice<A> extends JoinSemilattice<A> {
  readonly zero: A
}

Added in v1.4.0 (type class)

A BoundedJoinSemilattice must satisfy the following laws in addition to JoinSemilattice laws: