package crdt-ml

  1. Overview
  2. Docs
CRDTs - Conflict-Free Replicated Data Types for OCaml

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. B
    Borja o'Cook <borjaocook@gmail.com>

Maintainers

  1. B
    Borja o'Cook <borjaocook@gmail.com>

Sources

v0.10.0.tar.gz
sha256=c9be2ec006cd4f65e6a9bddbcedf024f876134afc1ddf4fb689dd0167de25b73
md5=b8337dcb24a3220a3c35bd5bae5c8f12

doc/crdt_immutable/I_PNCounter/index.html

Module I_PNCounter

Increment / decrement counters.

Contains two separate instances of I_IntVector, one for incrementing (add_c) and the other for decrementing (remove_c).

The only difference between PNCounter and GCounter is that Immutable_types.IVector.query t in the former returns the difference between the add_c and the remove_c vectors.

An Increment / decrement counter is a Immtable_types.IVector with type elt = int

include Immutable_types.DCounter with type elt = int
include Immutable_types.IVector with type elt = int
include Immutable_types.Mergeable
type t

Type of mergeable elements.

val make : unit -> t

Create a new mergeable element.

val merge : t -> t -> t

merge a b will merge the state of a and the one from b to create a new mergeable element.

type elt = int

Type of the contents of an IVector

val make_in_range : int -> t

make_in_range n creates a new IVector of size ranging from 0 to n. being n greater than 0 and smaller than 2^30.

When merging two CRDTs of different sizes, the smaller one grows and pads the remaining space with zeros.

val query : t -> elt

query t returns the raw state of t

val incr : t -> t

incr t increments the position associated with the numsite of t. See I_IntVector for more information on numsites.

val decr : t -> t

decr t decrements the position associated with the numsite of t. See I_IntVector for more information on numsites.