diff options
author | Giacomo Cavalieri <giacomo.cavalieri@icloud.com> | 2023-05-07 00:48:07 +0200 |
---|---|---|
committer | Louis Pilfold <louis@lpil.uk> | 2023-05-10 18:52:46 +0100 |
commit | 86167af22b262b424902b5b9af1b2b55d304d149 (patch) | |
tree | e96d91a7bdfac25260b906d2d210654d5911bd28 /src | |
parent | c753e412716542df31b26d57530524778ee78c66 (diff) | |
download | gleam_stdlib-86167af22b262b424902b5b9af1b2b55d304d149.tar.gz gleam_stdlib-86167af22b262b424902b5b9af1b2b55d304d149.zip |
`result.partition` test and implementation
Diffstat (limited to 'src')
-rw-r--r-- | src/gleam/result.gleam | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/gleam/result.gleam b/src/gleam/result.gleam index 61e99e9..100d36d 100644 --- a/src/gleam/result.gleam +++ b/src/gleam/result.gleam @@ -366,6 +366,36 @@ pub fn all(results: List(Result(a, e))) -> Result(List(a), e) { list.try_map(results, fn(x) { x }) } +/// TODO Add doc! +pub fn partition(results: List(Result(a, e))) -> Result(List(a), List(e)) { + case results { + [] -> Ok([]) + [Ok(a), ..rest] -> do_partition(rest, Ok([a])) + [Error(b), ..rest] -> do_partition(rest, Error([b])) + } +} + +fn do_partition(results: List(Result(a, b)), acc: Result(List(a), List(b))) { + case results { + [] -> + acc + |> map(list.reverse) + |> map_error(list.reverse) + + [Ok(a), ..rest] -> + case acc { + Ok(all_as) -> do_partition(rest, Ok([a, ..all_as])) + Error(all_bs) -> do_partition(rest, Error(all_bs)) + } + + [Error(b), ..rest] -> + case acc { + Ok(_) -> do_partition(rest, Error([b])) + Error(all_bs) -> do_partition(rest, Error([b, ..all_bs])) + } + } +} + /// Replace the value within a result /// /// ## Examples |