package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

package plebeia

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

Bud and leaf based diff.

type t

val pp : Format.formatter -> t -> unit

Pretty printing

val apply : Plebeia__.Cursor.cursor -> t -> Plebeia__.Cursor.cursor

Application of a diff

val diff : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  Plebeia__.Node.node ->
  t list

diff src dst gets the segment based diff between 2 nodes

val check : 
  t list ->
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  Plebeia__.Node.node ->
  unit

check diffs context n1 n2 checks the correctness of diffs between n1 n2 by applying them to n1 and comparing the hashes of the application result and n2.

If hashes are not equal, it prints an error message and raises Assert_failure.

n2 must be already hashed.

val expand_bud_deletions : Plebeia__.Context.t -> t -> t list

Each directory removal is converted to file removals

It is "pseudo" since information of CleanBud is lost.