ProductDecomposeLattice

kofre.base.DecomposeLattice$.ProductDecomposeLattice
class ProductDecomposeLattice[T <: Product](lattices: Tuple, bottoms: Tuple, pm: ProductOf[T], label: String) extends DecomposeLattice[T]

Attributes

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

Members list

Concise view

Value members

Concrete methods

override def decompose(a: T): Iterable[T]

Decompose a state into smaller parts. Note that the goal here is small individual storage size at reasonable computational cost. Minimalism of returned results is not guaranteed. It is also not guaranteed that the result does not overlap.

Decompose a state into smaller parts. Note that the goal here is small individual storage size at reasonable computational cost. Minimalism of returned results is not guaranteed. It is also not guaranteed that the result does not overlap.

Attributes

Definition Classes
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
override def merge(left: T, right: T): T

By assumption: associative, commutative, idempotent.

By assumption: associative, commutative, idempotent.

For use with Delta CRDTs, this function should be optimized for the case that left >> right, i.e., that left is the current state and right the delta

Attributes

Definition Classes
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Any

Inherited methods

def bimap[B](to: T => B, from: B => T): Lattice[B]

Attributes

Inherited from:
Lattice
def diff(state: T, delta: T): Option[A]

computes delta without state

computes delta without state

Attributes

Inherited from:
DecomposeLattice

Extensions

Inherited extensions

extension (a: A)
def decomposed: Iterable[A]

Attributes

Inherited from:
DecomposeLattice
extension (left: A)
def <=(right: A): 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

Inherited from:
Lattice
def merge(right: A): A

Attributes

Inherited from:
Lattice