package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Mutable_types.IVector`Source

Vector Clock and increment-only counter types. Supports merging and incrementing. The elt type must be supplied when including.

include Mergeable

Sourcetype t

Type of mergeable elements.

Sourceval make : unit -> t

Create a new mergeable element.

Sourceval merge : t -> t -> unit

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

Sourcetype elt

Type of the contents of an IVector

Sourceval 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.

Sourceval query : t -> elt

query t returns the raw state of t

Sourceval incr : t -> unit

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