# BoundedSemilattice<T> mixin

A semilattice in which:

For all elements `x` and `y` of `A`, both the least upper bound and greatest lower bound of the set `{x, y}` exist.

Superclass Constraints

## Properties

empty → T
Return the identity element for this monoid.
hashCode int
The hash code for this object.
runtimeType Type
A representation of the runtime type of the object.

## Methods

asJoinPartialOrder(Eq<T> eq) PartialOrder<T>
Given `Eq<T>`, return a `PartialOrder<T>` using the `combine` operator of `Semilattice` to determine the partial ordering. This method assumes `combine` functions as `join` (that is, as an upper bound).
inherited
asMeetPartialOrder(Eq<T> eq) PartialOrder<T>
Given `Eq<T>`, return a `PartialOrder<T>` using the `combine` operator of `Semilattice` to determine the partial ordering. This method assumes `combine` functions as `meet` (that is, as a lower bound).
inherited
combine(T x, T y) → T
Associative operation which combines two values.
inherited
combineN(T a, int n) → T
Return `a`, since `combine(a, a) == a` for a semilattice (idempotent).
override
intercalate(T middle) Semigroup<T>
Return a `Semigroup` which inserts `middle` between each pair of elements.
inherited
isEmpty(T a, Eq<T> eq) bool
Tests if `a` is the identity (`empty`).
inherited
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
reverse()
Return a `BoundedSemilattice` that reverses the order.
override
toString()
A string representation of this object.
inherited

## Operators

operator ==(Object other) bool
The equality operator.
inherited

## Static Methods

instance<A>(A emptyValue, A f(A a1, A a2))
Create a `BoundedSemilattice` instance from the given function and empty value.
override