Semilattice< T> mixin
Semilattices
are commutative semigroups whose operation
(i.e. combine
) is also idempotent.
Meet-semilattice
For all elements
x
andy
ofA
, the greatest lower bound of the set{x, y}
exists.
Join-semilattice
For all elements
x
andy
ofA
, the least upper bound of the set{x, y}
exists.
See also CommutativeSemigroup, Bind
.
- Superclass Constraints
- Band<
T> - CommutativeSemigroup<
T>
- Band<
Properties
- hashCode → int
-
The hash code for this object.
read-onlyinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
read-onlyinherited
Methods
-
asJoinPartialOrder(
Eq< T> eq) → PartialOrder< T> -
Given
Eq<T>
, return aPartialOrder<T>
using thecombine
operator ofSemilattice
to determine the partial ordering. This method assumescombine
functions asjoin
(that is, as an upper bound). -
asMeetPartialOrder(
Eq< T> eq) → PartialOrder< T> -
Given
Eq<T>
, return aPartialOrder<T>
using thecombine
operator ofSemilattice
to determine the partial ordering. This method assumescombine
functions asmeet
(that is, as a lower bound). -
combine(
T x, T y) → T -
Associative operation which combines two values.
inherited
-
combineN(
T a, int n) → T -
Only apply
combine
operation the first time:inherited -
intercalate(
T middle) → Semigroup< T> -
Return a
Semigroup
which insertsmiddle
between each pair of elements.inherited -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
reverse(
) → Semigroup< T> -
Return a
Semigroup
that reverses the order.inherited -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Static Methods
-
instance<
A>( A f(A a1, A a2)) → Semilattice< A> -
Create a
Semilattice
instance from the given function.override