package docteur

You can search for identifiers within the package.

in-package search v0.2.0

package docteur

docteur.analyze
- Analyze
  - Lwt_scheduler
    
    Condition
    
    Mutex
  - SHA1
  - Scheduler
  - Verify

Legend:
Library
Module
Module type
Parameter
Class
Class type

module SHA1 : sig ... end

module Scheduler : Carton.SCHEDULER with type +'a s = 'a Lwt.t

module Lwt_scheduler : Carton.IO with type +'a t = 'a Lwt.t

module Verify : sig ... end

val first_pass : 
  read:('fd, Scheduler.t) Carton.Dec.read ->
  block_size:int64 ->
  get_block:
    ('fd ->
      int64 ->
      Bigstringaf.t ->
      int ->
      int ->
      (unit, 'error) Stdlib.result) ->
  'fd ->
  (Verify.status array * Digestif.SHA1.t Carton.Dec.oracle, Scheduler.t)
    Carton.io

val map : 
  'fd ->
  block_size:int64 ->
  get_block:
    ('fd ->
      int64 ->
      Bigstringaf.t ->
      int ->
      int ->
      (unit, 'error) Stdlib.result) ->
  pos:int64 ->
  int ->
  Bigstringaf.t

type 'fd buffers = {

z : Bigstringaf.t;
allocate : int -> De.window;
w : 'fd Carton.Dec.W.t;

}

val unpack : 
  'fd ->
  read:('fd, Scheduler.t) Carton.Dec.read ->
  block_size:int64 ->
  get_block:
    ('fd ->
      int64 ->
      Bigstringaf.t ->
      int ->
      int ->
      (unit, 'error) Stdlib.result) ->
  SHA1.t ->
  ('fd buffers Lwt_pool.t
   * ('fd, SHA1.t) Carton.Dec.t
   * SHA1.t Art.t
   * SHA1.t Art.t,
    [> `Invalid_store | `Msg of string ])
    Stdlib.result
    Lwt.t

val iter : 
  'fd ->
  block_size:int64 ->
  capacity:int64 ->
  get_block:
    ('fd ->
      int64 ->
      Bigstringaf.t ->
      int ->
      int ->
      (unit, 'error) Stdlib.result) ->
  SHA1.t ->
  int64 ->
  ('fd buffers Lwt_pool.t
   * ('fd, SHA1.t) Carton.Dec.t
   * SHA1.t Art.t
   * SHA1.t Art.t,
    [> `Msg of string ])
    Stdlib.result
    Lwt.t