DottedDecompose

kofre.dotted.DottedDecompose$
See theDottedDecompose companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

abstract class FromConlattice[A](wcm: DottedLattice[A]) extends DottedDecompose[A]

Attributes

Graph
Supertypes
trait DottedLattice[A]
trait Lattice[Dotted[A]]
class Object
trait Matchable
class Any
class ProductDottedDecompose[T <: Product](lattices: Tuple, bottoms: Tuple, pm: ProductOf[T], label: String) extends DottedDecompose[T]

Attributes

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

Value members

Concrete methods

def apply[A](implicit ds: DottedDecompose[A]): DottedDecompose[A]
inline def derived[T <: Product](using pm: ProductOf[T]): DottedDecompose[T]

DotLess is a dot store implementation that, in combination with DotPair, allows to compose non-causal CRDTs with causal CRDTs. For a usage example, see RGA, where the implicit presence of DotLess is necessary so that the non-causal interfaces.EpocheInterface can be part of the DotPair that makes up the state.

DotLess is a dot store implementation that, in combination with DotPair, allows to compose non-causal CRDTs with causal CRDTs. For a usage example, see RGA, where the implicit presence of DotLess is necessary so that the non-causal interfaces.EpocheInterface can be part of the DotPair that makes up the state.

Note, implementing this marks the type as independent of its context, beware types with different possible interpretations.

Attributes