kofre
API
Generated with
kofre/kofre/kofre.dotted/Dotted

Dotted

kofre.dotted.Dotted
See theDotted companion object
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

Specifically, the deletions and contained methods reflect this interpretation.

Attributes

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

Members list

Value members

Concrete methods

def advanced(r: ReplicaId): Dotted[A]
def contained(using HasDots[A]): Dots
def deletions(using HasDots[A]): Dots
def knows(dot: Dot): Boolean
def map[B](f: A => B): Dotted[B]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with