BoundedJoinSemilattice overview

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

  • a ∨ 0 <-> a

Added in v2.0.0


Table of contents


model

BoundedJoinSemilattice (interface)

Signature

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

Added in v2.0.0