package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

plebeia
- Plebeia
  - Error
  - Hash
  - Hashcons
  - Internal
    
    Bud_cache
    
    Context
    
    Cursor
    
    Cursor_hash
    
    Cursor_storage
    
    Cursor_tools
    
    GenTraverse
    
    Debug
    
    Deep
    
    Deep_stat
    
    Diff
    
    Ediff
    
    Gen
    
    Op
    
    Index
    
    Map
    
    Set
    
    Lock
    
    Log
    
    Monad
    
    Make1
    
    A
    
    Op
    
    Make2
    
    A
    
    Op
    
    S1
    
    Op
    
    S2
    
    Op
    
    Node
    
    Node_hash
    
    Node_storage
    
    Node_tools
    
    Option
    
    Op
    
    Rand
    
    Search
    
    Storage
    
    Chunk
    
    Test_utils
    
    Exn
    
    Format
    
    Hashtbl
    
    List
    
    Open
    
    String
    
    Traverse
    
    Utils
    
    Exn
    
    Format
    
    Hashtbl
    
    List
    
    Open
    
    String
  - Merkle_proof
  - Result
    
    Op
  - Roots
    
    Entry
    
    RootHash
  - Segment
  - Stat
  - Value
  - Vc

Legend:
Library
Module
Module type
Parameter
Class
Class type

val traverse : 
  ('a
   * [< `Exit | `Right of 'b | `Up of Segment.Segs.t * 'b Right ] as 'b
   * Segment.Segs.t
   * Plebeia__.Cursor.cursor) ->
  ('a ->
    Segment.Segs.t ->
    Plebeia__.Cursor.cursor ->
    ([< `Continue | `Exit | `Up ] * 'c, Error.t) result) ->
  ('c
   * [> `Exit | `Up of Segment.Segs.t * 'b ]
   * Segment.Segs.t
   * Plebeia__.Cursor.cursor,
    Error.t)
    Result.t

val fold : 
  init:'a ->
  Segment.Segs.t ->
  Plebeia__.Cursor.cursor ->
  ('a ->
    Segment.Segs.t ->
    Plebeia__.Cursor.cursor ->
    ([< `Continue | `Exit | `Up ] * 'a, Error.t) result) ->
  ('a * Plebeia__.Cursor.cursor, Error.t) Result.t

val ls : 
  Plebeia__.Cursor.cursor ->
  ((Plebeia__Segment.segment * Plebeia__.Node.view) list
   * Plebeia__.Cursor.cursor,
    Error.t)
    Result.t

val ls_rec : 
  Plebeia__.Cursor.cursor ->
  ((Plebeia__Segment.segment list * Plebeia__.Node.node) list
   * Plebeia__.Cursor.cursor,
    Error.t)
    Result.t

module GenTraverse : sig ... end