package irmin-containers

You can search for identifiers within the package.

in-package search v0.2.0

irmin-containers
- Irmin_containers
  - Blob_log
    
    FS
    
    Make
    
    T
    
    Mem
    
    S
  - Cas_maker
  - Counter
    
    FS
    
    Make
    
    Mem
    
    S
  - Linked_log
    
    FS
    
    C
    
    Make
    
    C
    
    T
    
    Mem
    
    C
    
    S
  - Lww_register
    
    FS
    
    Make
    
    T
    
    Mem
    
    S
  - Time
    
    Machine
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

The implementation of an int64 counter. This module supports operations to increment, decrement and read the value of the counter.

Merge semantics is as follows: if old is the value of the LCA and v1 and v2 are the current values, then the merged value is v1 + v2 - old.

module type S = sig ... end

Counter signature

module Make
  (Backend : sig ... end) : 
  S
    with type Store.branch = string
     and type Store.key = string list
     and type Store.step = string

Make returns a mergeable counter using the backend and other parameters as specified by the user.

module FS : 
  S
    with type Store.branch = string
     and type Store.key = string list
     and type Store.step = string

Counter instantiated using the FS backend provided by Irmin_unix

module Mem : 
  S
    with type Store.branch = string
     and type Store.key = string list
     and type Store.step = string

Counter instantiated using the in-memory backend provided by Irmin_mem