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 v1.4.0