UNPKG

fp-ts

Version:

Functional programming in TypeScript

github.com/gcanti/fp-ts

gcanti/fp-ts

15 lines (14 loc) • 456 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
"use strict"; /** * 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: * * - Associativity: `a ∧ (b ∧ c) <-> (a ∧ b) ∧ c` * - Commutativity: `a ∧ b <-> b ∧ a` * - Idempotency: `a ∧ a <-> a` * * @since 2.0.0 */ Object.defineProperty(exports, "__esModule", { value: true });