Package crdtlib.crdt

Types

BCounter

common

class BCounter : DeltaCRDT

A delta-based CRDT bounded-counter (non-negative, initially 0).

DeltaCRDT

common

abstract class DeltaCRDT

Base class for delta-based CRDT objects and deltas

DeltaCRDTFactory

common

class DeltaCRDTFactory

A delta-CRDT factory.

JsonBCounterSerializer

common

class JsonBCounterSerializer(serializer: KSerializer<BCounter>) : JsonTransformingSerializer<BCounter>

This class is a json transformer for BCounter, it allows the separation between data and metadata.

JsonLWWMapSerializer

common

class JsonLWWMapSerializer(serializer: KSerializer<LWWMap>) : JsonTransformingSerializer<LWWMap>

This class is a json transformer for LWWMap, it allows the separation between data and metadata.

JsonLWWRegisterSerializer

common

class JsonLWWRegisterSerializer(serializer: KSerializer<LWWRegister>) : JsonTransformingSerializer<LWWRegister>

This class is a json transformer for LWWRegister, it allows the separation between data and metadata.

JsonMapSerializer

common

class JsonMapSerializer(serializer: KSerializer<Map>) : JsonTransformingSerializer<Map>

This class is a json transformer for Map, it allows the separation between data and metadata.

JsonMVMapSerializer

common

class JsonMVMapSerializer(serializer: KSerializer<MVMap>) : JsonTransformingSerializer<MVMap>

This class is a json transformer for MVMap, it allows the separation between data and metadata.

JsonMVRegisterSerializer

common

class JsonMVRegisterSerializer(serializer: KSerializer<MVRegister>) : JsonTransformingSerializer<MVRegister>

This class is a json transformer for MVRegister, it allows the separation between data and metadata.

JsonPNCounterSerializer

common

class JsonPNCounterSerializer(serializer: KSerializer<PNCounter>) : JsonTransformingSerializer<PNCounter>

This class is a json transformer for PNCounter, it allows the separation between data and metadata.

JsonRatchetSerializer

common

class JsonRatchetSerializer(serializer: KSerializer<Ratchet>) : JsonTransformingSerializer<Ratchet>

This class is a json transformer for Ratchet, it allows the separation between data and metadata.

JsonRGASerializer

common

class JsonRGASerializer(serializer: KSerializer<RGA>) : JsonTransformingSerializer<RGA>

This class is a json transformer for RGA, it allows the separation between data and metadata.

LWWMap

common

class LWWMap : DeltaCRDT

A delta-based CRDT map implementing last writer wins (LWW) policy.

LWWRegister

common

class LWWRegister : DeltaCRDT

A delta-based CRDT Last Writer Wins (LWW) register.

Map

common

class Map : DeltaCRDT

A delta-based CRDT map providing multiple conflict resolution policies.

MVMap

common

class MVMap : DeltaCRDT

A delta-based CRDT map implementing multi-value (MV) policy.

MVRegister

common

class MVRegister : DeltaCRDT, Iterable<String>

A delta-based CRDT multi-value register.

PNCounter

common

class PNCounter : DeltaCRDT

A delta-based CRDT PN-counter.

Ratchet

common

class Ratchet : DeltaCRDT

A delta-based CRDT join semi-lattice ratchet.

RGA

common

class RGA : DeltaCRDT, Iterable<String>

A delta-based CRDT Replicated Growable Array (RGA).

RGANode

common

data class RGANode(atom: String, anchor: RGAUId?, uid: RGAUId, ts: Timestamp, removed: Boolean)

A RGA node.

RGAUId

common

typealias RGAUId = Timestamp

A unique identifier for RGA nodes.

We use timestamps as uids since we assume they are distinct and monotonically increasing.