BoundedMeetSemilattice overview

A BoundedMeetSemilattice must satisfy the following laws in addition to MeetSemilattice laws:

  • a ∧ 1 = a

Added in v2.0.0


Table of contents


BoundedMeetSemilattice (interface)

Signature

export interface BoundedMeetSemilattice<A> extends MeetSemilattice<A> {
  readonly one: A
}

Added in v2.0.0