ProductLattice

kofre.base.Lattice$.ProductLattice
class ProductLattice[T <: Product](pm: ProductOf[T], lattices: Seq[Lattice[Any]]) extends Lattice[T]

Attributes

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

Members list

Concise view

Value members

Concrete methods

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

Inherited methods

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

Attributes

Inherited from:
Lattice
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

Inherited from:
Lattice

Extensions

Inherited extensions

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