package carton-lwt

You can search for identifiers within the package.

in-package search v0.2.0

package carton-lwt

carton-lwt
- CHANGES
- LICENSE
- README
- Library carton-lwt
  - Carton_lwt
    
    Scheduler
    
    Dec
    
    W
    
    Idx
    
    Fp
    
    Verify
    
    Ip
    
    Enc
    
    VERBOSE
    
    UID
    
    Delta
    
    N
    
    Thin
    
    Make
- Sources
  - carton-lwt
    
    carton_lwt.ml
    
    carton_lwt__.ml
    
    lwt_io.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Carton_lwt.Enc`Source

Sourcetype 'uid entry = 'uid Carton.Enc.entry

Sourcetype 'uid delta = 'uid Carton.Enc.delta =

| From of 'uid
| Zero

Source

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

Sourceval length : 'uid entry -> int

Sourcetype 'uid q = 'uid Carton.Enc.q

Sourcetype 'uid p = 'uid Carton.Enc.p

Sourcetype 'uid patch = 'uid Carton.Enc.patch

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

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

Sourcetype 'uid uid = 'uid Carton.Enc.uid = {

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

}

Sourceval target_to_source : 'uid q -> 'uid p

Sourceval target_uid : 'uid q -> 'uid

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

Source

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

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

Sourcemodule type UID = Carton.Enc.UID

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

Sourcemodule N : sig ... end

Sourcetype b = Carton.Enc.b = {

}

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

Source

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

package carton-lwt

Module Carton_lwt.EncSource

Module `Carton_lwt.Enc`Source