Merge branch 'master' into add_support_voption_to_require_function

demystifyfp · Dec 10, 2023 · c3ec5d4 · c3ec5d4
2 parents c32eda0 + a7edd80
commit c3ec5d4
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 1 deletion.
diff --git a/src/FsToolkit.ErrorHandling.TaskResult/TaskResult.fs b/src/FsToolkit.ErrorHandling.TaskResult/TaskResult.fs
@@ -260,7 +260,7 @@ module TaskResult =
             Result.requireNone error
             >> Task.singleton
         )
-
+        
     /// Bind the TaskResult and requireValueSome on the inner voption value.
     let inline bindRequireValueSome error x =
         x
@@ -276,3 +276,11 @@ module TaskResult =
             Result.requireValueNone error
             >> Task.singleton
         )
+
+    let inline foldResult
+        ([<InlineIfLambda>] onSuccess: 'input -> 'output)
+        ([<InlineIfLambda>] onError: 'inputError -> 'output)
+        (input: Task<Result<'input, 'inputError>>)
+        : Task<'output> =
+        Task.map (Result.either onSuccess onError) input
+
diff --git a/tests/FsToolkit.ErrorHandling.TaskResult.Tests/TaskResult.fs b/tests/FsToolkit.ErrorHandling.TaskResult.Tests/TaskResult.fs
@@ -869,5 +869,28 @@ let TaskResultBindRequireValueOptionTests =
                     |> TaskResult.ok
                     |> TaskResult.bindRequireValueSome "User doesn't exist"
                     |> Expect.hasTaskOkValue "john_doe"
+
+[<Tests>]
+let foldResultTests =
+    testList "TaskResult.foldResult tests" [
+        testCaseTask "foldResult with Task(Ok x)"
+        <| fun _ ->
+            task {
+                let! actual =
+                    createPostSuccess validCreatePostRequest
+                    |> TaskResult.foldResult (fun (PostId id) -> id.ToString()) string
+
+                Expect.same (newPostId.ToString()) actual
+            }
+
+        testCaseTask "foldResult with Task(Error x)"
+        <| fun _ ->
+            task {
+                let! actual =
+                    createPostFailure validCreatePostRequest
+                    |> TaskResult.foldResult string (fun ex -> ex.Message)
+
+                Expect.same (commonEx.Message) actual
+
             }
     ]