package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

package plebeia

plebeia
- Library plebeia
  - Plebeia
    
    Internal
    
    Error
    
    Utils
    
    Exn
    
    Format
    
    String
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    List
    
    Open
    
    Option
    
    Op
    
    Result
    
    Monad
    
    S1
    
    Op
    
    Make1
    
    Op
    
    S2
    
    Op
    
    Make2
    
    Op
    
    Log
    
    Value
    
    Index
    
    Set
    
    Map
    
    Segment
    
    Context
    
    Node
    
    Node_tools
    
    Cursor
    
    Hash
    
    Node_hash
    
    Cursor_hash
    
    Lock
    
    Storage
    
    Chunk
    
    Node_storage
    
    Cursor_storage
    
    Hashcons
    
    Bud_cache
    
    Deep
    
    Roots
    
    Vc
    
    Stat
    
    Debug
    
    Traverse
    
    Diff
    
    Deep_stat
    
    Merkle_proof
    
    Cursor_tools
    
    GenTraverse
    
    Search
    
    Ediff
    
    Rand
    
    Gen
    
    Op
    
    RS
    
    Test_utils
    
    Exn
    
    Format
    
    String
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    List
    
    Open
    
    RS
    
    Error
    
    Result
    
    Op
    
    Value
    
    Segment
    
    Hash
    
    Hashcons
    
    Vc
    
    Roots
    
    RootHash
    
    Entry
    
    Stat
    
    Merkle_proof
- Sources
  - plebeia
    
    bud_cache.ml
    
    context.ml
    
    cursor.ml
    
    cursorM.ml
    
    cursor_hash.ml
    
    cursor_storage.ml
    
    cursor_tools.ml
    
    debug.ml
    
    deep.ml
    
    deep_stat.ml
    
    diff.ml
    
    ediff.ml
    
    error.ml
    
    gen.ml
    
    hash.ml
    
    hashcons.ml
    
    index.ml
    
    lock.ml
    
    log.ml
    
    merkle_proof.ml
    
    monad.ml
    
    node.ml
    
    node_hash.ml
    
    node_storage.ml
    
    node_tools.ml
    
    option.ml
    
    plebeia.ml
    
    plebeia__.ml
    
    plebeia_intf.ml
    
    rand.ml
    
    result.ml
    
    roots.ml
    
    search.ml
    
    segment.ml
    
    stat.ml
    
    storage.ml
    
    test_utils.ml
    
    traverse.ml
    
    utils.ml
    
    value.ml
    
    vc.ml
    
    xcstruct.ml

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

Module `Plebeia.Merkle_proof`Source

Calculate Merckle Proofs

Sourcetype t

Source

val generate : 
  Plebeia__.Cursor.cursor ->
  Segment.t list ->
  (t, Error.t) Result.t

Sourceval validate : Segment.t list -> t -> (Plebeia__.Node_hash.t, Error.t) Result.t

Sourceval get_data : t -> Value.t

Sourceval encoding : t Data_encoding.t

package plebeia

Module Plebeia.Merkle_proofSource

Module `Plebeia.Merkle_proof`Source