package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

package plebeia

plebeia
- LICENSE
- README
- Library plebeia
  - Plebeia
    
    Internal
    
    Limit
    
    Error
    
    Utils
    
    Option
    
    Result
    
    Monad
    
    Log
    
    Value
    
    Index
    
    Segment
    
    Segment_int_array
    
    Path
    
    Node_offsets
    
    Context
    
    Node
    
    Node_type
    
    Node_tools
    
    Info
    
    Cursor
    
    Deep
    
    Traverse
    
    Commit
    
    Commit_tree
    
    Commit_db
    
    Vc
    
    Fs_types
    
    Fs_nameenc_impl
    
    Fs_nameenc
    
    Fs_impl
    
    Fs
    
    Fs_tree
    
    Commit_hash
    
    Hashfunc
    
    Hash
    
    Node_hash
    
    Lock
    
    Storage
    
    Node_storage
    
    Hashcons
    
    Node_cache
    
    Xcstruct
    
    Mmap
    
    Copy
    
    Stat
    
    Debug
    
    Diff
    
    Merkle_proof
    
    Cursor_tools
    
    Snapshot
    
    Data_encoding_tools
    
    Key
    
    Result_lwt
    
    Cursor_stat
    
    Gen
    
    Limit
    
    Error
    
    Utils
    
    Exn
    
    Format
    
    String
    
    Set
    
    Map
    
    List
    
    Array
    
    Syntax
    
    Open
    
    Int
    
    Int
    
    Option
    
    Infix
    
    Syntax
    
    Result
    
    Infix
    
    Syntax
    
    Monad
    
    S1
    
    Infix
    
    Syntax
    
    Make1
    
    Infix
    
    Syntax
    
    S2
    
    Infix
    
    Syntax
    
    Make2
    
    Infix
    
    Syntax
    
    Log
    
    Value
    
    Index
    
    Unsafe
    
    Set
    
    Map
    
    Segment
    
    Serialization
    
    Segs
    
    StringEnc
    
    Segment_int_array
    
    Int63
    
    Vector
    
    Bits
    
    Type
    
    Type
    
    Serialization
    
    Segs
    
    StringEnc
    
    Internal
    
    Int63
    
    Vector
    
    Bits
    
    Path
    
    Node_offsets
    
    Context
    
    Node
    
    Mapper
    
    Fold
    
    Fold'
    
    Node_type
    
    Mapper
    
    Fold
    
    Fold'
    
    Node_tools
    
    Info
    
    Cursor
    
    Monad
    
    Infix
    
    Syntax
    
    Cursor_storage
    
    Internal
    
    Deep
    
    Traverse
    
    Iter
    
    Map
    
    Commit
    
    Commit_tree
    
    Internal
    
    View
    
    Node
    
    Commit_db
    
    Vc
    
    Fs_types
    
    Name
    
    Path
    
    FsError
    
    NAMEENC
    
    Fs_nameenc_impl
    
    Bits8
    
    Bits6
    
    Compressed
    
    H
    
    B
    
    Record
    
    Lock
    
    Test
    
    Compressed'
    
    Compressed''
    
    Fs_nameenc
    
    Fs_impl
    
    Name
    
    Path
    
    FsError
    
    Op
    
    Monad
    
    Infix
    
    Syntax
    
    Infix
    
    Syntax
    
    Loose
    
    Op_lwt
    
    Monad
    
    Infix
    
    Syntax
    
    Infix
    
    Syntax
    
    Segs
    
    Vc
    
    Merkle_proof
    
    Fs
    
    Name
    
    Path
    
    FsError
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Vc
    
    Merkle_proof
    
    Fs_tree
    
    Name
    
    Path
    
    FsError
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    Vc
    
    Merkle_proof
    
    Commit_hash
    
    Hashfunc
    
    Blake2B
    
    Blake3
    
    Hash
    
    Prefix
    
    Hasher
    
    Node_hash
    
    Lock
    
    Storage
    
    Chunk
    
    Stat
    
    Internal
    
    Header
    
    Node_storage
    
    Internal
    
    Hashcons
    
    Node_cache
    
    Xcstruct
    
    BE
    
    LE
    
    HE
    
    Mmap
    
    Arch64
    
    Buffer
    
    Buffer
    
    Copy
    
    Stat
    
    Debug
    
    Diff
    
    Merkle_proof
    
    Tree
    
    Cursor_tools
    
    GenTraverse
    
    Snapshot
    
    Stat
    
    Internal
    
    Elem
    
    Data_encoding_tools
    
    Key
    
    Result_lwt
    
    Infix
    
    Syntax
    
    Cursor_stat
    
    Gen
    
    Infix
    
    Syntax
    
    RS
- Library plebeia.msync
  - Plebeia_msync
    
    Msync
    
    Lwt
- Library plebeia.test_utils
  - Test_utils
    
    Exn
    
    Format
    
    String
    
    List
    
    Array
    
    Open
    
    Int
    
    RS
    
    SegmentSet
    
    SegmentListSet
    
    Dumb
    
    Do_random
    
    Flat
    
    Deep
    
    Vc
    
    Deep
    
    Fs_simulation
    
    Simulation
    
    Name
    
    Path
    
    FsError
    
    Map
    
    Context
    
    Op
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
    
    WithSimulation
    
    F
    
    S
    
    Name
    
    Path
    
    Op
    
    Monad
    
    Infix
    
    Syntax
    
    Op_lwt
    
    Infix
    
    Syntax
- Sources
  - plebeia
    
    commit.ml
    
    commit_db.ml
    
    commit_hash.ml
    
    commit_storage.ml
    
    commit_tree.ml
    
    context.ml
    
    copy.ml
    
    cursor.ml
    
    cursor_stat.ml
    
    cursor_tools.ml
    
    data_encoding_tools.ml
    
    debug.ml
    
    deep.ml
    
    diff.ml
    
    envconf.ml
    
    error.ml
    
    fs.ml
    
    fs_impl.ml
    
    fs_nameenc.ml
    
    fs_nameenc_impl.ml
    
    fs_tree.ml
    
    fs_types.ml
    
    gc.ml
    
    gen.ml
    
    hash.ml
    
    hashcons.ml
    
    hashfunc.ml
    
    hashfunc_intf.ml
    
    index.ml
    
    info.ml
    
    key.ml
    
    limit.ml
    
    lock.ml
    
    log.ml
    
    memory_cache.ml
    
    merkle_proof.ml
    
    mmap.ml
    
    mmap_intf.ml
    
    monad.ml
    
    node.ml
    
    node_cache.ml
    
    node_hash.ml
    
    node_offsets.ml
    
    node_storage.ml
    
    node_tools.ml
    
    node_type.ml
    
    option.ml
    
    path.ml
    
    patricia_storage.ml
    
    plebeia.ml
    
    plebeia__.ml
    
    result.ml
    
    result_lwt.ml
    
    segment.ml
    
    segment_int_array.ml
    
    snapshot.ml
    
    stat.ml
    
    storage.ml
    
    traverse.ml
    
    utils.ml
    
    value.ml
    
    vc.ml
    
    version.ml
    
    xcstruct.ml
  - plebeia.msync
    
    msync.ml
    
    plebeia_msync.ml
  - plebeia.test_utils
    
    do_random.ml
    
    dumb.ml
    
    fs_simulation.ml
    
    helper.ml
    
    test_utils.ml
    
    test_utils__.ml

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

Module `Fs_impl.Merkle_proof`Source

Sourcetype t = Merkle_proof.t

Sourcetype detail = Fs_types.Path.t * Segment.segment list * Node_type.node option

Sourceval encoding : Fs_impl.Vc.t -> Merkle_proof.t Data_encoding.t

Sourceval pp : Format.formatter -> Merkle_proof.t -> unit

Source

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

Source

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

Source

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

package plebeia

Module Fs_impl.Merkle_proofSource

Module `Fs_impl.Merkle_proof`Source