package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Plebeia.DiffSource

3 Tools

3 Tools

Segment fbased diff

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

Pretty printing

Sourceval reset_for_another_context : Context.t -> t -> t

Load all the node in the diff and foget Index information so tht the diff can be directly applicable to tree of the another context.

Sourceval reset_for_another_context' : src:Context.t -> dst:Context.t -> t -> t

diff src dst gets the segment based diff between 2 nodes

Sourceval apply : Cursor.t -> t -> (Cursor.t, Error.t) result

Add (n,segs) just insert n to the cursor. If Cursor.t uses a different context from the one of diffs, indices in the n must be reset to Not_Indexed.

Sourceval apply_and_check : Context.t -> Node_type.node -> Node_type.node -> t list -> unit

Check the diff correctness

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct