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)

---

model

BoundedJoinSemilattice (interface)

Signature

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

Added in v2.0.0