rdts
API
Generated with
rdts/rdts/rdts.base/Lattice/Derivation/SumLattice

SumLattice

rdts.base.Lattice.Derivation.SumLattice
class SumLattice[T](sm: SumOf[T], lattices: Tuple) extends Lattice[T]

Attributes

Graph
Supertypes
trait Lattice[T]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def lteq(left: T, right: T): Boolean

Lattice order is derived from merge, but should be overridden for efficiency

Lattice order is derived from merge, but should be overridden for efficiency

Attributes

Definition Classes
def merge(left: T, right: T): T

By assumption: associative, commutative, idempotent.

By assumption: associative, commutative, idempotent.

Implementation note: If it matters, assume that left is the current state and right is an added delta. All code should assume that left is the larger state (and optimize for this). If left == right, prefer to return left.

Attributes

Extensions

Inherited extensions

extension (left: T)
final inline def <=(right: T): Boolean

Convenience extensions for the above.

Convenience extensions for the above.

Attributes

Inherited from:
Lattice
final inline def merge(right: T): T

Convenience extensions for the above.

Convenience extensions for the above.

Attributes

Inherited from:
Lattice
Generated with