diff options
author | Daniil Baturin <daniil@baturin.org> | 2019-02-14 23:41:19 +0100 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2019-02-14 23:41:19 +0100 |
commit | b76125fe449daa259c1aacad2c21c0681a39d3f9 (patch) | |
tree | 480fe851baaf4290bc139edd8a63dc955504ae18 /src/vytree.mli | |
parent | 0c8c53c9c6ea154e16855715291a237824f70443 (diff) | |
download | vyconf-b76125fe449daa259c1aacad2c21c0681a39d3f9.tar.gz vyconf-b76125fe449daa259c1aacad2c21c0681a39d3f9.zip |
Add functions for copying and moving nodes.
Diffstat (limited to 'src/vytree.mli')
-rw-r--r-- | src/vytree.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index 556ca77..451e130 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -19,7 +19,7 @@ val find_or_fail : 'a t -> string -> 'a t val adopt : 'a t -> 'a t -> 'a t -val insert : ?position:position -> 'a t -> string list -> 'a -> 'a t +val insert : ?position:position -> ?children:('a t list) -> 'a t -> string list -> 'a -> 'a t val insert_multi_level : 'a -> 'a t -> string list -> string list -> 'a -> 'a t @@ -44,3 +44,7 @@ val exists : 'a t -> string list -> bool val children_of_path : 'a t -> string list -> string list val sorted_children_of_node : (string -> string -> int) -> 'a t -> ('a t) list + +val copy : 'a t -> string list -> string list -> 'a t + +val move : 'a t -> string list -> position -> 'a t |