summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/vytree.ml5
-rw-r--r--src/vytree.mli2
2 files changed, 7 insertions, 0 deletions
diff --git a/src/vytree.ml b/src/vytree.ml
index de482ce..89743fb 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -86,6 +86,11 @@ let rec insert default_data node path data =
let delete node path =
do_with_child delete_immediate node path
+let update node path data =
+ let update_data data' node' dummy =
+ {node' with data=data'}
+ in do_with_child (update_data data) node path
+
let rec get node path =
match path with
| [] -> raise Empty_path
diff --git a/src/vytree.mli b/src/vytree.mli
index 9b91c80..fbe7ac1 100644
--- a/src/vytree.mli
+++ b/src/vytree.mli
@@ -15,6 +15,8 @@ val insert : 'a -> 'a t -> string list -> 'a -> 'a t
val delete : 'a t -> string list -> 'a t
+val update : 'a t -> string list -> 'a -> 'a t
+
val list_children : 'a t -> string list
val get : 'a t -> string list -> 'a t