summaryrefslogtreecommitdiff
path: root/src/diff.mli
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2026-08-05 20:59:08 -0500
committerJohn Estabrook <jestabro@vyos.io>2026-08-05 21:00:30 -0500
commit921415e08e4f696e285562ed8f49112db0de5332 (patch)
treedaf5fb7026366b65e260532d053c8256250280df /src/diff.mli
parent742ba2b34ee475739114411da33a27e4110872de (diff)
downloadvyos1x-config-921415e08e4f696e285562ed8f49112db0de5332.tar.gz
vyos1x-config-921415e08e4f696e285562ed8f49112db0de5332.zip
T9169: factor out diff calculation module
Diffstat (limited to 'src/diff.mli')
-rw-r--r--src/diff.mli14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/diff.mli b/src/diff.mli
new file mode 100644
index 0000000..41ae523
--- /dev/null
+++ b/src/diff.mli
@@ -0,0 +1,14 @@
+type change = Unchanged | Added | Subtracted | Updated of string list
+
+exception Incommensurable
+exception Empty_comparison
+
+module type Place = sig
+ type t
+ val diff_func : ?recurse:bool -> string list -> t -> change -> t
+end
+
+module Diff : functor (P: Place) -> sig
+ val diff_calc : string list -> P.t -> Config_tree.t option * Config_tree.t option -> P.t
+ val diff : P.t -> Config_tree.t -> Config_tree.t -> P.t
+end