package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type

The main datatype is a zipper over a document tree. It consists in a couple whose first component is a tree. The second component represents the context identifying a position in the tree.

The tree represented by the zipper (t, [(p1,t1), ... , (pn,tn)]) is built by:

  1. appending the tree t at position p1 in t1,
  2. appending the resulting tree at position p2 in t2,
  3. ...
  4. appending the resulting tree at position pn in tn.
type nonrec node = node
type nonrec tree = tree
val tree_of_node : node -> tree
val node_of_tree : tree -> node
val get_child : node -> Patutil.Extra.IntMap.key -> tree
val set_child : node -> Patutil.Extra.IntMap.key -> tree -> node
val remove_child : node -> Patutil.Extra.IntMap.key -> node
val has_child : node -> Patutil.Extra.IntMap.key -> bool
val min_index : node -> Patutil.Extra.IntMap.key
val max_index : node -> Patutil.Extra.IntMap.key
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