Module Loose_lwt.Make

Parameters

module Uid : Loose.UID

Signature

val exists : 't -> ('t, Uid.t, _, lwt) Loose.store -> Uid.t -> bool Lwt.t
val atomic_add : 't -> Loose.buffers -> ('t, Uid.t, 'error, lwt) Loose.store -> hdr:(buffer:Cstruct.t -> Carton.Dec.v -> Cstruct.t) -> Carton.Dec.v -> (Uid.t * int, [> `Store of 'error | `Non_atomic ]) Stdlib.result Lwt.t
val add : 't -> Loose.buffers -> ('t, Uid.t, 'error, lwt) Loose.store -> hdr:Cstruct.t -> (unit -> string option Lwt.t) -> (Uid.t * int, [> `Store of 'error ]) Stdlib.result Lwt.t
val atomic_get : 't -> Loose.buffers -> ('t, Uid.t, 'error, lwt) Loose.store -> hdr:(Cstruct.t -> Cstruct.t * Loose.kind * int64) -> Uid.t -> (Carton.Dec.v, [> `Non_atomic ]) Stdlib.result Lwt.t
val size_and_kind : 't -> Loose.buffers -> ('t, Uid.t, 'error, lwt) Loose.store -> hdr:(Cstruct.t -> Cstruct.t * Loose.kind * int64) -> Uid.t -> (int64 * Loose.kind, [> `Malformed ]) Stdlib.result Lwt.t
val get : 't -> Loose.buffers -> ('t, Uid.t, 'error, lwt) Loose.store -> hdr:(Cstruct.t -> Cstruct.t * Loose.kind * int64) -> Uid.t -> (Carton.Dec.v, [> `Msg of string ]) Stdlib.result Lwt.t