A join-semilattice (or upper semilattice) is a semilattice whose operation is called join
, and which can be thought
of as a least upper bound.
A JoinSemilattice
must satisfy the following laws:
a ∨ (b ∨ c) <-> (a ∨ b) ∨ c
a ∨ b <-> b ∨ a
a ∨ a <-> a
Added in v2.0.0
Signature
export interface JoinSemilattice<A> {
readonly join: (x: A, y: A) => A
}
Added in v2.0.0