package carton-lwt

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.