From a3acc318ead5620ac20f70815b4dfb0810ccd2a4 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 12 Oct 2026 11:47:14 -0300
Subject: abstracting headers and merkle of list construction

---
 lib/kernel/Merkle.ml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'lib/kernel/Merkle.ml')

diff --git a/lib/kernel/Merkle.ml b/lib/kernel/Merkle.ml
index 4235914..266a560 100644
--- a/lib/kernel/Merkle.ml
+++ b/lib/kernel/Merkle.ml
@@ -29,6 +29,9 @@ module type TREE = functor (S : Abstract.Storage.STORAGE) (K : KEY) -> sig
   val insert :
     S.transaction -> K.t -> address -> node -> (node, Concepts.Condition.condition) result
 
+  val of_list :
+    S.transaction -> (K.t * address) list -> (node, Concepts.Condition.condition) result
+
   val remove : S.transaction -> K.t -> node -> (node, Concepts.Condition.condition) result
   val lookup : S.transaction -> K.t -> node -> (address option, Concepts.Condition.condition) result
 
@@ -323,6 +326,16 @@ functor
           let* _ = persist tx new_root in
           Ok new_root
 
+    let of_list tx bindings =
+      let open Utilities.Result in
+      with_batch tx (fun () ->
+          let* _ = empty_under tx in
+          List.fold_left
+            (fun node (key, value) ->
+              let* node = node in
+              insert tx key value node )
+            (Ok empty) bindings )
+
     let rec fold_left tx f acc =
       let open Utilities.Result in
       function
@@ -407,6 +420,7 @@ module type INTERFACE = functor (S : Abstract.Storage.STORAGE) (K : KEY) (V : VA
   val empty_under : S.transaction -> (address, Concepts.Condition.condition) result
   val hash_of : node -> address
   val insert : S.transaction -> K.t -> V.t -> node -> (node, Concepts.Condition.condition) result
+  val of_list : S.transaction -> (K.t * V.t) list -> (node, Concepts.Condition.condition) result
   val remove : S.transaction -> K.t -> node -> (node, Concepts.Condition.condition) result
   val lookup : S.transaction -> K.t -> node -> (V.t option, Concepts.Condition.condition) result
   val mem : S.transaction -> K.t -> node -> (bool, Concepts.Condition.condition) result
@@ -458,6 +472,11 @@ functor
       let* addr = intern tx v in
       Tree.insert tx k addr node
 
+    let of_list tx bindings =
+      List.map (fun (k, v) -> intern tx v |> Result.map (fun addr -> k, addr)) bindings
+      |> Utilities.List.sequence
+      |> fmap (Tree.of_list tx)
+
     let remove = Tree.remove
 
     let lookup tx k node =
-- 
cgit v1.2.3