package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

plebeia
- Plebeia
  - Commit
  - Commit_db
  - Commit_hash
  - Commit_tree
    
    Internal
    
    Node
    
    View
  - Context
  - Copy
  - Cursor
    
    Cursor_storage
    
    Internal
    
    Monad
    
    Infix
    
    Syntax
  - Cursor_tools
    
    GenTraverse
  - Data_encoding_tools
  - Debug
  - Deep
  - Diff
  - Error
  - Fs
    
    Make
    
    Merkle_proof
    
    Name
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Path
    
    MakeError
    
    Path
    
    Name6bits
    
    Name8bits
    
    NameCompressed
    
    NameCompressed'
    
    NameCompressed''
    
    Path
    
    Name
  - Fs_impl
    
    Make
    
    Merkle_proof
    
    Name
    
    Op
    
    Loose
    
    Monad
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Monad
    
    Infix
    
    Syntax
    
    Path
    
    Vc
    
    MakeError
    
    Path
    
    Name6bits
    
    Name8bits
    
    NameCompressed
    
    B
    
    NameCompressed'
    
    NameCompressed''
    
    Path
    
    Name
  - Fs_intf
    
    NAME
    
    PATH
    
    S
    
    Merkle_proof
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Path
    
    Vc
  - Fs_tree
    
    Make
    
    Merkle_proof
    
    Name
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Path
    
    Vc
  - Gen
    
    Infix
    
    Syntax
  - Hash
    
    Hasher
    
    Prefix
  - Hashcons
  - Hashfunc
    
    Blake2B
    
    A
    
    Blake3
    
    A
  - Index
    
    Unsafe
  - Info
  - Internal
  - Key
  - Limit
  - Lock
  - Log
  - Merkle_proof
    
    Tree
  - Mmap
    
    Arch64
    
    Buffer
    
    Buffer
  - Monad
    
    Make1
    
    A
    
    Infix
    
    Syntax
    
    Make2
    
    A
    
    Infix
    
    Syntax
    
    S1
    
    Infix
    
    Syntax
    
    S2
    
    Infix
    
    Syntax
  - Node
  - Node_cache
  - Node_hash
  - Node_storage
    
    Internal
  - Node_tools
  - Node_type
    
    Fold
    
    Fold'
    
    Mapper
  - Option
    
    Infix
    
    Syntax
  - Path
  - Result
    
    Infix
    
    Syntax
  - Result_lwt
    
    Infix
    
    Syntax
  - Segment
    
    Segs
    
    Serialization
    
    StringEnc
  - Segment_int_array
    
    Bits
    
    Type
    
    Int63
    
    Internal
    
    Segs
    
    Serialization
    
    StringEnc
    
    Vector
  - Snapshot
    
    Internal
    
    Elem
    
    Stat
  - Stat
  - Storage
    
    Chunk
    
    Internal
    
    Header
  - Traverse
    
    Iter
    
    Map
  - Utils
    
    Array
    
    Syntax
    
    Exn
    
    Format
    
    Int
    
    List
    
    Open
    
    Int
    
    String
  - Value
  - Vc
  - Xcstruct
plebeia.msync
- Plebeia_msync
  - Msync
    
    Lwt
plebeia.test_utils
- Test_utils
  - Do_random
    
    Deep
    
    Flat
    
    Vc
  - Dumb
  - Fs_simulation
    
    Simulation
    
    Context
    
    Map
    
    Name
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Path
    
    WithSimulation
    
    F
    
    Merkle_proof
    
    Name
    
    Op
    
    Loose
    
    Monad
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Monad
    
    Infix
    
    Syntax
    
    Path
    
    Vc
    
    Name
    
    Op
    
    Monad
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    S
    
    Context
    
    Map
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Path
  - NameStringSegment
  - SegmentListSet
  - SegmentSet

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = Plebeia.Merkle_proof.t

type detail =
  Path.t * Plebeia.Segment.segment list * Plebeia.Node_type.node option

val encoding : Plebeia.Vc.t -> Plebeia.Merkle_proof.t Data_encoding.t

val pp : Stdlib.Format.formatter -> Plebeia.Merkle_proof.t -> unit

val convert_details : 
  (Plebeia.Segment.t list * 'a) list ->
  ((Path.t * Plebeia.Segment.t list * 'a) list, Plebeia.Error.t)
    Plebeia.Result.t

val make : 
  Path.t list ->
  cursor ->
  (cursor
   * (Plebeia.Merkle_proof.t
      * (Path.t * Plebeia.Segment.t list * Plebeia.Node_type.t option) list),
    Plebeia.Error.t)
    Stdlib.result

val check : 
  Plebeia.Vc.t ->
  Plebeia.Merkle_proof.t ->
  (Plebeia.Hash.Prefix.t
   * (Path.t * Plebeia.Segment.t list * Plebeia.Node_type.t option) list,
    Plebeia.Error.t)
    Stdlib.result