kofre.dotted

package kofre.dotted

Members list

Type members

Classlikes

case class Dotted[A](data: A, context: Dots)

Associates a context of Dots with some data structure. The most common use is to interpret the context as the set of: • all dots that are present in data • all dots directly subsumed by data

Associates a context of Dots with some data structure. The most common use is to interpret the context as the set of: • all dots that are present in data • all dots directly subsumed by data

Specifically, the deletions and contained methods reflect this interpretation.

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Dotted

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Dotted.type
object DottedLattice

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait HasDots[A]

HasDots implies that the container stores values that are somehow associated to individual kofre.time.Dots. This is different from a dot context, which could also contain dots for deleted values or other metadata. HasDots is explicitly for dots that are present/existing in some datastructures right now.

HasDots implies that the container stores values that are somehow associated to individual kofre.time.Dots. This is different from a dot context, which could also contain dots for deleted values or other metadata. HasDots is explicitly for dots that are present/existing in some datastructures right now.

See also: Dot stores in delta state replicated data types

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MapHasDots[K, V]
class ProductHasDots[T]
object hasDot
object HasDots

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
HasDots.type

Types

type DottedLattice[T] = Lattice[Dotted[T]]