Make (p.git.3.16.1.doc.git.loose.Loose.Make)

Parameters

module Uid : UID

Signature

Sourceval list : 't -> ('t, Uid.t, _, 's) store -> (Uid.t list, 's) io

Sourceval exists : 't -> ('t, Uid.t, _, 's) store -> Uid.t -> (bool, 's) io

val atomic_add : 
  's Carton.scheduler ->
  't ->
  buffers ->
  ('t, Uid.t, 'error, 's) store ->
  hdr:(buffer:Cstruct.t -> Carton.Dec.v -> Cstruct.t) ->
  Carton.Dec.v ->
  ((Uid.t * int, [> `Store of 'error | `Non_atomic ]) result, 's) io

Source

val add : 
  's Carton.scheduler ->
  't ->
  buffers ->
  ('t, Uid.t, 'error, 's) store ->
  hdr:Cstruct.t ->
  (unit -> (string option, 's) io) ->
  ((Uid.t * int, [> `Store of 'error ]) result, 's) io

Source

val atomic_get : 
  's Carton.scheduler ->
  't ->
  buffers ->
  ('t, Uid.t, 'error, 's) store ->
  hdr:(Cstruct.t -> Cstruct.t * kind * int64) ->
  Uid.t ->
  ((Carton.Dec.v, [> `Non_atomic ]) result, 's) io

Source

val size_and_kind : 
  's Carton.scheduler ->
  't ->
  buffers ->
  ('t, Uid.t, 'error, 's) store ->
  hdr:(Cstruct.t -> Cstruct.t * kind * int64) ->
  Uid.t ->
  ((int64 * kind, [> `Malformed ]) result, 's) io

Source

val get : 
  's Carton.scheduler ->
  't ->
  buffers ->
  ('t, Uid.t, 'error, 's) store ->
  hdr:(Cstruct.t -> Cstruct.t * kind * int64) ->
  Uid.t ->
  ((Carton.Dec.v, [> `Msg of string ]) result, 's) io