diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:27:40 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:27:40 -0300 |
| commit | e76cc6f862656a3ada9fa3d4418bd060df937885 (patch) | |
| tree | be96ff723c1d45c79b1df0fbeb1de9fbd974eea4 /lib/kernel/Multigroup.ml | |
| parent | 1c6c4ef41d97c0696c5c8654e08ffdfe65a18823 (diff) | |
| download | RNT-e76cc6f862656a3ada9fa3d4418bd060df937885.tar.gz RNT-e76cc6f862656a3ada9fa3d4418bd060df937885.zip | |
format and where claude on fol
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Multigroup.ml | 11 |
1 files changed, 8 insertions, 3 deletions
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 = |
