package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

crdt
- Crdt
  - Immutable
  - Mutable
crdt_immutable
- I_GCounter
- I_GSet
  - Make
    
    O
- I_IntVector
- I_ORSet
  - Make
    
    O
- I_PNCounter
- I_USet
  - Make
    
    O
- Immutable_types
  - Comparable
  - DCounter
  - GSet
  - IVector
  - Mergeable
  - RSet
crdt_mutable
- M_GCounter
- M_GSet
  - Make
    
    O
- M_IntVector
- M_ORSet
  - Make
    
    O
- M_PNCounter
- M_USet
  - Make
    
    O
- Mutable_types
  - Comparable
  - DCounter
  - GSet
  - IVector
  - Mergeable
  - RSet
crdt_util
- IList

Legend:
Library
Module
Module type
Parameter
Class
Class type

Increment / decrement counters.

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

The only difference between PNCounter and GCounter is that Mutable_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 Mutable_types.IVector with type elt = int

include Mutable_types.DCounter 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.

val decr : t -> unit

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