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

model

BoundedMeetSemilattice (interface)

Signature

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

Added in v2.0.0