kofre.dotted

A dot fun tracks a set of values associated to a certain point in time. This makes them useful as both kofre.datatypes.contextual.MultiVersionRegister and simple observe remove sets/maps.

DotMap is just a container to use maps in a dotted context. Merge/<= are done per entry, with missing entries replaced by Bottom.empty. Decompose decomposes all components.

See kofre.datatypes.contextual.ObserveRemoveMap for a usage example.

DotsSets track causality of events without values. They are the prototype of an kofre.datatypes.contextual.EnableWinsFlag

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.

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