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.

See also Semilattice

Superclass constraints

Properties

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

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() → BoundedSemilattice<T>
Return a BoundedSemilattice that reverses the order.
override
toString() → String
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)) → BoundedSemilattice<A>
Create a BoundedSemilattice instance from the given function and empty value.
override