16 lines
466 B
TypeScript
16 lines
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> {}
|