package carton-lwt

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package carton-lwt

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

Parameters

module Uid : Carton.UID

Signature

type ('t, 'path, 'fd, 'error) fs = {

create : ?trunc:bool -> 't -> 'path -> ('fd, 'error) result Lwt.t;
append : 't -> 'fd -> string -> unit Lwt.t;
map : 't -> 'fd -> pos:int64 -> int -> Bigstringaf.t;
close : 't -> 'fd -> (unit, 'error) result Lwt.t;

}

val verify : 
  ?threads:int ->
  digest:Uid.t Carton.Dec.digest ->
  't ->
  'path ->
  ('t, 'path, 'fd, [> `Msg of string ] as 'error) fs ->
  (unit -> (string * int * int) option Lwt.t) ->
  (int
   * Uid.t list
   * (int64 * optint) list
   * Uid.t Dec.Idx.entry list
   * int64
   * Uid.t,
    'error)
    result
    Lwt.t

val canonicalize : 
  light_load:Uid.t light_load ->
  heavy_load:Uid.t heavy_load ->
  src:'path ->
  dst:'path ->
  't ->
  ('t, 'path, 'fd, [> `Msg of string ] as 'error) fs ->
  int ->
  Uid.t list ->
  int64 ->
  (int64 * int64 * Uid.t * Uid.t Dec.Idx.entry list, 'error) result Lwt.t