+ Active Pattern for AggregateException

Author: gusty

src/FSharpPlus/Operators.fs

@@ -1673,6 +1673,18 @@ module Operators =
         | s when s.Equals(ciString, StringComparison.InvariantCultureIgnoreCase) -> Some ()
         | _ -> None
 
+    /// <summary>
+    /// An active pattern to match AggregateException and extract its inner exceptions as a list.
+    /// </summary>
+    /// <category index="23">Additional Functions</category>
+    let (|AggregateException|_|) (exn: exn) : exn list option =
+        let exn = nullArgCheck (nameof exn) exn
+
+        match exn with
+        | :? AggregateException as aex -> aex.InnerExceptions |> Seq.toList |> Some
+        | _ -> None
+
+
     /// <summary>
     /// Safely dispose a resource (includes null-checking).
     /// </summary>

tests/FSharpPlus.Tests/Task.fs

@@ -10,11 +10,6 @@ module Task =
     open FSharpPlus.Tests.Helpers
 
     exception TestException of string
-    
-    let (|AggregateException|_|) (x: exn) =
-        match x with
-        | :? AggregateException as e -> e.InnerExceptions |> Seq.toList |> Some
-        | _ -> None
 
     module TaskTests =
 

tests/FSharpPlus.Tests/ValueTask.fs

@@ -10,11 +10,6 @@ module ValueTask =
     open FSharpPlus.Tests.Helpers
 
     exception TestException of string
-
-    let (|AggregateException|_|) (x: exn) =
-        match x with
-        | :? AggregateException as e -> e.InnerExceptions |> Seq.toList |> Some
-        | _ -> None
 
     type ValueTask<'T> with
         static member WhenAll (source: ValueTask<'T> seq) = source |> Seq.map (fun x -> x.AsTask ()) |> Task.WhenAll |> ValueTask<'T []>