Source file `listUtil.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
(*****************************************************************************)
(*                                                                           *)
(*  Copyright (C) 2026 Yves Ndiaye                                           *)
(*                                                                           *)
(* This Source Code Form is subject to the terms of the Mozilla Public       *)
(* License, v. 2.0. If a copy of the MPL was not distributed with this       *)
(* file, You can obtain one at https://mozilla.org/MPL/2.0/.                 *)
(*                                                                           *)
(*****************************************************************************)

let rec remove_last acc = function
  | [] ->
      ([], None)
  | t :: [] ->
      (List.rev acc, Some t)
  | t :: q ->
      remove_last (t :: acc) q

let remove_last l = remove_last [] l

let rec map_ok f = function
  | [] ->
      Result.ok []
  | t :: q ->
      let ( let* ) = Result.bind in
      let* res = f t in
      let* list = map_ok f q in
      Result.ok @@ (res :: list)

let rec fold_ok f acc = function
  | [] ->
      Result.ok acc
  | t :: q ->
      let ( let* ) = Result.bind in
      let* acc = f acc t in
      fold_ok f acc q