Add TaskSeq.fold and TaskSeq.foldAsync functions and tests

src/FSharpy.TaskSeq.Test/FSharpy.TaskSeq.Test.fsproj

@@ -14,6 +14,7 @@
     <Compile Include="TaskSeq.Iter.Tests.fs" />
     <Compile Include="TaskSeq.Map.Tests.fs" />
     <Compile Include="TaskSeq.Collect.Tests.fs" />
+    <Compile Include="TaskSeq.Fold.Tests.fs" />
     <Compile Include="TaskSeq.Tests.Utility.fs" />
     <Compile Include="TaskSeq.Tests.fs" />
     <Compile Include="TaskSeq.PocTests.fs" />

src/FSharpy.TaskSeq.Test/TaskSeq.Fold.Tests.fs

@@ -0,0 +1,49 @@
+module FSharpy.TaskSeq.Tests.Fold
+
+open System.Text
+open Xunit
+open FsUnit.Xunit
+open FsToolkit.ErrorHandling
+
+open FSharpy
+
+
+[<Fact>]
+let ``TaskSeq-fold folds with every item`` () = task {
+    let! alphabet =
+        createDummyTaskSeqWith 50L<µs> 1000L<µs> 26
+        |> TaskSeq.fold (fun (state: StringBuilder) item -> state.Append(char item + '@')) (StringBuilder())
+
+    alphabet.ToString()
+    |> should equal "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
+}
+
+[<Fact>]
+let ``TaskSeq-foldAsync folds with every item`` () = task {
+    let! alphabet =
+        createDummyTaskSeqWith 50L<µs> 1000L<µs> 26
+        |> TaskSeq.foldAsync
+            (fun (state: StringBuilder) item -> task { return state.Append(char item + '@') })
+            (StringBuilder())
+
+    alphabet.ToString()
+    |> should equal "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
+}
+
+[<Fact>]
+let ``TaskSeq-fold takes state on empty IAsyncEnumberable`` () = task {
+    let! empty =
+        TaskSeq.empty
+        |> TaskSeq.fold (fun _ item -> char (item + 64)) '_'
+
+    empty |> should equal '_'
+}
+
+[<Fact>]
+let ``TaskSeq-foldAsync takes state on empty IAsyncEnumerable`` () = task {
+    let! alphabet =
+        TaskSeq.empty
+        |> TaskSeq.foldAsync (fun _ item -> task { return char (item + 64) }) '_'
+
+    alphabet |> should equal '_'
+}

src/FSharpy.TaskSeq/TaskSeq.fs

@@ -197,3 +197,9 @@ module TaskSeq =
     /// Zips two task sequences, returning a taskSeq of the tuples of each sequence, in order. May raise ArgumentException
     /// if the sequences are or unequal length.
     let zip taskSeq1 taskSeq2 = Internal.zip taskSeq1 taskSeq2
+
+    /// Applies a function to each element of the task sequence, threading an accumulator argument through the computation.
+    let fold folder state taskSeq = Internal.fold (FolderAction folder) state taskSeq
+
+    /// Applies an async function to each element of the task sequence, threading an accumulator argument through the computation.
+    let foldAsync folder state taskSeq = Internal.fold (AsyncFolderAction folder) state taskSeq

src/FSharpy.TaskSeq/TaskSeqInternal.fs

@@ -12,10 +12,15 @@ module ExtraTaskSeqOperators =
 
 [<Struct>]
 type Action<'T, 'U, 'TaskU when 'TaskU :> Task<'U>> =
-    | CountableAction of c_action: (int -> 'T -> 'U)
-    | SimpleAction of s_action: ('T -> 'U)
-    | AsyncCountableAction of ac_action: (int -> 'T -> 'TaskU)
-    | AsyncSimpleAction of as_action: ('T -> 'TaskU)
+    | CountableAction of countable_action: (int -> 'T -> 'U)
+    | SimpleAction of simple_action: ('T -> 'U)
+    | AsyncCountableAction of async_countable_action: (int -> 'T -> 'TaskU)
+    | AsyncSimpleAction of async_simple_action: ('T -> 'TaskU)
+
+[<Struct>]
+type FolderAction<'T, 'State, 'TaskState when 'TaskState :> Task<'State>> =
+    | FolderAction of state_action: ('State -> 'T -> 'State)
+    | AsyncFolderAction of async_state_action: ('State -> 'T -> 'TaskState)
 
 module internal TaskSeqInternal =
     let iter action (taskSeq: taskSeq<_>) = task {
@@ -59,17 +64,26 @@ module internal TaskSeqInternal =
                 go <- step
     }
 
-    let fold (action: 'State -> 'T -> 'State) initial (taskSeq: taskSeq<_>) = task {
+    let fold folder initial (taskSeq: taskSeq<_>) = task {
         let e = taskSeq.GetAsyncEnumerator(CancellationToken())
         let mutable go = true
         let mutable result = initial
         let! step = e.MoveNextAsync()
         go <- step
 
-        while go do
-            result <- action result e.Current
-            let! step = e.MoveNextAsync()
-            go <- step
+        match folder with
+        | FolderAction folder ->
+            while go do
+                result <- folder result e.Current
+                let! step = e.MoveNextAsync()
+                go <- step
+
+        | AsyncFolderAction folder ->
+            while go do
+                let! tempResult = folder result e.Current
+                result <- tempResult
+                let! step = e.MoveNextAsync()
+                go <- step
 
         return result
     }