diff options
Diffstat (limited to 'lib/kernel/Multigroup.ml')
| -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 = |