Convert simple Result match to a Result.fold call.

zoj613 · Aug 31, 2024 · 7da3c0c · 7da3c0c
1 parent 041bc8a
commit 7da3c0c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git a/zarr/src/codecs/array_to_bytes.ml b/zarr/src/codecs/array_to_bytes.ml
@@ -333,10 +333,8 @@ end = struct
     let open Util.Result_syntax in
     let filter_partition f encoded =
       List.fold_right (fun c (l, r) ->
-        match f c with
-        | Ok v -> v :: l, r
-        | Error _ -> l, c :: r) encoded ([], [])
-    in
+        Result.fold ~ok:(fun v -> v :: l, r) ~error:(fun _ -> l, c :: r) @@ f c)
+        encoded ([], []) in
     let* codecs = match codecs with
       | [] -> Error "No codec chain specified for sharding_indexed."
       | y -> Ok y

diff --git a/zarr/src/codecs/codecs.ml b/zarr/src/codecs/codecs.ml
@@ -104,10 +104,8 @@ module Chain = struct
     let open Util.Result_syntax in
     let filter_partition f encoded =
       List.fold_right (fun c (l, r) ->
-        match f c with
-        | Ok v -> v :: l, r
-        | Error _ -> l, c :: r) encoded ([], [])
-    in
+        Result.fold ~ok:(fun v -> v :: l, r) ~error:(fun _ -> l, c :: r) @@ f c)
+        encoded ([], []) in
     let* codecs = match Yojson.Safe.Util.to_list x with
       | [] -> Error "No codec specified."
       | y -> Ok y