@arthurgubaidullin/nx-embed-dependencies
Version:
This plugin for [Nx](https://nx.dev) helps injecting local dependencies into a package.
16 lines (15 loc) • 536 B
TypeScript
/**
* A `BoundedLattice` must satisfy the following in addition to `BoundedMeetSemilattice` and `BoundedJoinSemilattice` laws:
*
* - Absorption law for meet: `a ∧ (a ∨ b) <-> a`
* - Absorption law for join: `a ∨ (a ∧ b) <-> a`
*
* @since 2.0.0
*/
import { BoundedJoinSemilattice } from './BoundedJoinSemilattice'
import { BoundedMeetSemilattice } from './BoundedMeetSemilattice'
/**
* @category model
* @since 2.0.0
*/
export interface BoundedLattice<A> extends BoundedJoinSemilattice<A>, BoundedMeetSemilattice<A> {}