carton-lwt 0.1.0 · OCaml Package

module W : sig ... end

type weight = Carton.Dec.weight

type 'fd read = 'fd -> bytes -> off:int -> len:int -> int Lwt.t

module Idx = Carton.Dec.Idx

module Fp (Uid : Carton.UID) : sig ... end

type ('fd, 'uid) t = ('fd, 'uid) Carton.Dec.t

val with_z : Bigstringaf.t -> ('fd, 'uid) t -> ('fd, 'uid) t

val with_w : 'fd W.t -> ('fd, 'uid) t -> ('fd, 'uid) t

val with_allocate : 
  allocate:(int -> De.window) ->
  ('fd, 'uid) t ->
  ('fd, 'uid) t

val fd : ('fd, 'uid) t -> 'fd

type raw = Carton.Dec.raw

val make_raw : weight:weight -> raw

type v = Carton.Dec.v

val v : kind:Carton.kind -> ?depth:int -> Bigstringaf.t -> v

val kind : v -> Carton.kind

val raw : v -> Bigstringaf.t

val len : v -> int

val depth : v -> int

val make : 
  'fd ->
  z:Zl.bigstring ->
  allocate:(int -> Zl.window) ->
  uid_ln:int ->
  uid_rw:(string -> 'uid) ->
  ('uid -> int64) ->
  ('fd, 'uid) t

val weight_of_offset : 
  map:'fd W.map ->
  ('fd, 'uid) t ->
  weight:weight ->
  int64 ->
  weight Lwt.t

val weight_of_uid : 
  map:'fd W.map ->
  ('fd, 'uid) t ->
  weight:weight ->
  'uid ->
  weight Lwt.t

val of_offset : 
  map:'fd W.map ->
  ('fd, 'uid) t ->
  raw ->
  cursor:int64 ->
  v Lwt.t

val of_uid : map:'fd W.map -> ('fd, 'uid) t -> raw -> 'uid -> v Lwt.t

type path = Carton.Dec.path

val path_to_list : path -> int64 list

val kind_of_path : path -> [ `A | `B | `C | `D ]

val path_of_offset : 
  map:'fd W.map ->
  ('fd, 'uid) t ->
  cursor:int64 ->
  path Lwt.t

val path_of_uid : map:'fd W.map -> ('fd, 'uid) t -> 'uid -> path Lwt.t

val of_offset_with_path : 
  map:'fd W.map ->
  ('fd, 'uid) t ->
  path:path ->
  raw ->
  cursor:int64 ->
  v Lwt.t

type 'uid digest = 'uid Carton.Dec.digest

val uid_of_offset : 
  map:'fd W.map ->
  digest:'uid digest ->
  ('fd, 'uid) t ->
  raw ->
  cursor:int64 ->
  (Carton.kind * 'uid) Lwt.t

val uid_of_offset_with_source : 
  map:'fd W.map ->
  digest:'uid digest ->
  ('fd, 'uid) t ->
  kind:Carton.kind ->
  raw ->
  depth:int ->
  cursor:int64 ->
  'uid Lwt.t

type 'uid oracle = 'uid Carton.Dec.oracle

module Verify (Uid : Carton.UID) : sig ... end

module Ip (Uid : Carton.UID) : sig ... end

package carton-lwt