rdts
API
Generated with
rdts/rdts/rdts.dotted/HasDots

HasDots

rdts.dotted.HasDots
See theHasDots companion object
trait HasDots[A]

HasDots implies that the container stores values that are somehow associated to individual rdts.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
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class HasDotsSet[A]
class MapHasDots[K, V]
class ProductHasDots[T]
object hasDot

Members list

Extensions

Extensions

extension (dotted: A)
def dots: Dots
def removeDots(dots: Dots): Option[A]

Removes dots and anything associated to them from the value. In case the value becomes fully “empty” returns None

Removes dots and anything associated to them from the value. In case the value becomes fully “empty” returns None

Attributes

Generated with