From e76cc6f862656a3ada9fa3d4418bd060df937885 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 31 Oct 2026 02:27:40 -0300 Subject: format and where claude on fol --- lib/kernel/Multigroup.ml | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'lib/kernel/Multigroup.ml') diff --git a/lib/kernel/Multigroup.ml b/lib/kernel/Multigroup.ml index f28abc4..84ef3f8 100644 --- a/lib/kernel/Multigroup.ml +++ b/lib/kernel/Multigroup.ml @@ -112,7 +112,9 @@ module Make (S : Abstract.Storage.STORAGE) = struct let open Utilities.Result in let* listing = Protocols.Handle.require Protocols.Directory.from h in let* found = Protocols.Directory.find listing property in - let* children = Option.fold ~none:(Ok BatFingerTree.empty) ~some:Protocols.Directory.children found in + let* children = + Option.fold ~none:(Ok BatFingerTree.empty) ~some:Protocols.Directory.children found + in BatFingerTree.map (fun (name, child) -> Prototype.Associative.admission admit name child |> Result.map (fun p -> name, p) ) @@ -121,7 +123,9 @@ module Make (S : Abstract.Storage.STORAGE) = struct let tree_of tx admissions = let open Utilities.Result in - BatFingerTree.map (fun (name, store) -> store tx |> Result.map (fun addr -> name, addr)) admissions + BatFingerTree.map + (fun (name, store) -> store tx |> Result.map (fun addr -> name, addr)) + admissions |> Utilities.FingerTree.sequence |>> T.of_finger_tree tx @@ -227,7 +231,8 @@ module Make (S : Abstract.Storage.STORAGE) = struct method check = let open Utilities.Result in let* named = Protocols.Directory.children (relations ?bind storage denial_tree) in - let named = BatFingerTree.to_list named in (* FIXME *) + let named = BatFingerTree.to_list named in + (* FIXME *) Utilities.List.concat_mapm (held ?bind) named method protocols : Protocols.Handle.protocol list = -- cgit v1.2.3