aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-10-31 02:27:40 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-10-31 02:27:40 -0300
commite76cc6f862656a3ada9fa3d4418bd060df937885 (patch)
treebe96ff723c1d45c79b1df0fbeb1de9fbd974eea4 /lib/kernel/Multigroup.ml
parent1c6c4ef41d97c0696c5c8654e08ffdfe65a18823 (diff)
downloadRNT-e76cc6f862656a3ada9fa3d4418bd060df937885.tar.gz
RNT-e76cc6f862656a3ada9fa3d4418bd060df937885.zip
format and where claude on fol
Diffstat (limited to 'lib/kernel/Multigroup.ml')
-rw-r--r--lib/kernel/Multigroup.ml11
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 =