fp-ts
Version:
Functional programming in TypeScript
16 lines (15 loc) • 466 B
TypeScript
/**
* A `Lattice` must satisfy the following in addition to `JoinSemilattice` and `MeetSemilattice` laws:
*
* - Absorbtion law for meet: `a ∧ (a ∨ b) <-> a`
* - Absorbtion law for join: `a ∨ (a ∧ b) <-> a`
*
* @since 2.0.0
*/
import { JoinSemilattice } from './JoinSemilattice'
import { MeetSemilattice } from './MeetSemilattice'
/**
* @category model
* @since 2.0.0
*/
export interface Lattice<A> extends JoinSemilattice<A>, MeetSemilattice<A> {}