← Back

Source

MeetSemilattice

interface MeetSemilattice<A> {
  readonly meet: (x: A, y: A) => A
}

Added in v1.4.0 (type class)

A meet-semilattice (or lower semilattice) is a semilattice whose operation is called meet, and which can be thought of as a greatest lower bound.

A MeetSemilattice must satisfy the following laws: