package carton-lwt

You can search for identifiers within the package.

in-package search v0.2.0

carton-lwt
- Carton_lwt
  - Dec
    
    Fp
    
    Uid
    
    Ip
    
    Uid
    
    Verify
    
    Uid
    
    W
  - Enc
    
    Delta
    
    Uid
    
    Verbose
    
    N
    
    VERBOSE
  - Scheduler
  - Thin
    
    Make
    
    Uid

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'uid entry = 'uid Carton.Enc.entry

type 'uid delta = 'uid Carton.Enc.delta =

| From of 'uid
| Zero

val make_entry : 
  kind:Carton.kind ->
  length:int ->
  ?preferred:bool ->
  ?delta:'uid delta ->
  'uid ->
  'uid entry

val length : 'uid entry -> int

type 'uid q = 'uid Carton.Enc.q

type 'uid p = 'uid Carton.Enc.p

type 'uid patch = 'uid Carton.Enc.patch

type 'uid load = 'uid -> Dec.v Lwt.t

type 'uid find = 'uid -> int option Lwt.t

type 'uid uid = 'uid Carton.Enc.uid = {

uid_ln : int;
uid_rw : 'uid -> string;

}

val target_to_source : 'uid q -> 'uid p

val target_uid : 'uid q -> 'uid

val entry_to_target : load:'uid load -> 'uid entry -> 'uid q Lwt.t

val apply : 
  load:'uid load ->
  uid_ln:int ->
  source:'uid p ->
  target:'uid q ->
  unit Lwt.t

module type VERBOSE = Carton.Enc.VERBOSE with type 'a fiber = 'a Lwt.t

module type UID = Carton.Enc.UID

module Delta (Uid : UID) (Verbose : VERBOSE) : sig ... end

module N : sig ... end

type b = Carton.Enc.b = {

}

val header_of_pack : length:int -> Bigstringaf.t -> int -> int -> unit

val encode_target : 
  ?level:int ->
  b:b ->
  find:'uid find ->
  load:'uid load ->
  uid:'uid uid ->
  'uid q ->
  cursor:int ->
  (int * N.encoder) Lwt.t