Make (p.git.3.17.0.doc.git.loose-git.Loose

Parameters

module Scheduler : Carton.SCHEDULER

module IO : IO with type +'a t = 'a Scheduler.s

module Store : STORE with type +'a fiber = 'a Scheduler.s

module Uid : Loose.UID with type t = Store.uid

Signature

Sourceval exists : Store.t -> Uid.t -> bool IO.t

Sourceval list : Store.t -> Uid.t list IO.t

Source

val atomic_add : 
  Store.t ->
  Loose.buffers ->
  Carton.Dec.v ->
  (Uid.t * int, [> `Store of Store.error | `Non_atomic ]) result IO.t

Source

val add : 
  Store.t ->
  Loose.buffers ->
  ([ `Blob | `Commit | `Tag | `Tree ] * int64) ->
  (unit -> string option IO.t) ->
  (Uid.t * int, [> `Store of Store.error ]) result IO.t

Source

val atomic_get : 
  Store.t ->
  Loose.buffers ->
  Uid.t ->
  (Carton.Dec.v, [> `Non_atomic ]) result IO.t

Source

val size_and_kind : 
  Store.t ->
  Loose.buffers ->
  Uid.t ->
  (int64 * Loose.kind, [> `Malformed ]) result IO.t

Source

val get : 
  Store.t ->
  Loose.buffers ->
  Uid.t ->
  (Carton.Dec.v, [> `Msg of string ]) result IO.t