Overview

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

  • a ∨ 0 == a

Table of contents


BoundedJoinSemilattice (interface)

Signature

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

Added in v2.0.0