Module M_GCounter

Increment-only counters.

Conceptually the same as a M_IntVector. The only difference is that Mutable_types.IVector.query t returns the sum of all the elements in the vector.

An Increment-only counter is a Mutable_types.IVector with type elt = int

include Mutable_types.IVector with type elt = int
include Mutable_types.Mergeable
type t

Type of mergeable elements.

val make : unit -> t

Create a new mergeable element.

val merge : t -> t -> unit

merge a b will merge the state of b with the one from a. Updates a.

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 -> unit

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