package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

CRDTs - Conflict-Free Replicated Data Types for OCaml

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

B

Borja o'Cook <borjaocook@gmail.com>

Maintainers

B

Borja o'Cook <borjaocook@gmail.com>

Sources

v0.10.0.tar.gz

sha256=c9be2ec006cd4f65e6a9bddbcedf024f876134afc1ddf4fb689dd0167de25b73

md5=b8337dcb24a3220a3c35bd5bae5c8f12

doc/crdt_immutable/I_USet/Make/index.html

Module `I_USet.Make`

Creates an add / remove set of elements satisfying Immutable_types.Comparable

Parameters

module O : Immutable_types.Comparable

Signature

include Immutable_types.GSet with type elt = O.t

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 = O.t

Type of the contents of GSet

val add : elt -> t -> t

add el t adds el to t.

val value : t -> elt list

value t gets the raw state of t.

val lookup : elt -> t -> bool

lookup el t returns true if el is in t.

val remove : elt -> t -> t

remove el t removes el from t only if el is in t. Returns t otherwise.

On This Page

Parameters
Signature