Refactor namespaces and enhance module organization for IcedTasks components

Author: TheAngryByrd

src/IcedTasks/AsyncEx.fs

@@ -1,12 +1,13 @@
-namespace IcedTasks
+namespace IcedTasks.AsyncEx
 
 open System
 open System.Threading
 open System.Threading.Tasks
 open System.Runtime.ExceptionServices
 open System.Collections.Generic
-
-type private Async =
+open IcedTasks.Nullness
+open IcedTasks.TaskLike
+type internal Async =
     static member inline map f x =
         async.Bind(x, (fun v -> async.Return(f v)))
 
@@ -343,6 +344,7 @@ namespace IcedTasks.Polyfill.Async
 [<AutoOpen>]
 module PolyfillBuilders =
     open IcedTasks
+    open IcedTasks.AsyncEx
 
     /// <summary>
     /// Builds an asynchronous workflow using computation expression syntax.

src/IcedTasks/AutoOpens.fs

@@ -0,0 +1,21 @@
+namespace IcedTasks
+
+/// Module exists to AutoOpen all relevant IcedTasks modules for ease of use when opening the main IcedTasks namespace.
+[<AutoOpen>]
+module AutoOpens =
+
+    [<assembly: AutoOpen("IcedTasks")>]
+    [<assembly: AutoOpen("IcedTasks.TaskLike")>]
+    [<assembly: AutoOpen("IcedTasks.TasksUnit")>]
+    [<assembly: AutoOpen("IcedTasks.AsyncEx")>]
+    [<assembly: AutoOpen("IcedTasks.ParallelAsync")>]
+    [<assembly: AutoOpen("IcedTasks.TaskBase")>]
+    [<assembly: AutoOpen("IcedTasks.ValueTasks")>]
+    [<assembly: AutoOpen("IcedTasks.PoolingValueTasks")>]
+    [<assembly: AutoOpen("IcedTasks.ValueTasksUnit")>]
+    [<assembly: AutoOpen("IcedTasks.ColdTasks")>]
+    [<assembly: AutoOpen("IcedTasks.CancellableTaskBase")>]
+    [<assembly: AutoOpen("IcedTasks.CancellableValueTasks")>]
+    [<assembly: AutoOpen("IcedTasks.CancellablePoolingValueTasks")>]
+    [<assembly: AutoOpen("IcedTasks.CancellableTasks")>]
+    do ()

src/IcedTasks/CancellablePoolingValueTask.fs

@@ -9,9 +9,15 @@
 // To the extent possible under law, the author(s) have dedicated all copyright and related and neighboring rights
 // to this software to the public domain worldwide. This software is distributed without any warranty.
 
-namespace IcedTasks
+namespace IcedTasks.CancellablePoolingValueTasks
+
 #if NET6_0_OR_GREATER
 
+open IcedTasks
+open IcedTasks.TaskLike
+open IcedTasks.CancellableTaskBase
+open IcedTasks.ValueTasks
+
 /// Contains methods to build CancellableTasks using the F# computation expression syntax
 [<AutoOpen>]
 module CancellablePoolingValueTasks =
@@ -260,6 +266,8 @@ module CancellablePoolingValueTasks =
     /// <exclude />
     [<AutoOpen>]
     module HighPriority =
+    
+        open IcedTasks.AsyncEx
 
         type AsyncEx with
 
@@ -330,6 +338,7 @@ module CancellablePoolingValueTasks =
     /// </summary>
     [<AutoOpen>]
     module AsyncExtensions =
+        open IcedTasks.AsyncEx
         type AsyncExBuilder with
 
             member inline this.Source([<InlineIfLambda>] t: CancellableValueTask<'T>) : Async<'T> =

src/IcedTasks/CancellableTask.fs

@@ -9,8 +9,10 @@
 // To the extent possible under law, the author(s) have dedicated all copyright and related and neighboring rights
 // to this software to the public domain worldwide. This software is distributed without any warranty.
 
-namespace IcedTasks
+namespace IcedTasks.CancellableTasks
 
+open IcedTasks.TaskLike
+open IcedTasks.CancellableTaskBase
 
 /// Contains methods to build CancellableTasks using the F# computation expression syntax
 [<AutoOpen>]
@@ -25,6 +27,7 @@ module CancellableTasks =
     open Microsoft.FSharp.Core.CompilerServices.StateMachineHelpers
     open Microsoft.FSharp.Core.LanguagePrimitives.IntrinsicOperators
     open Microsoft.FSharp.Collections
+    open IcedTasks
 
     /// CancellationToken -> Task<'T>
     type CancellableTask<'T> = CancellationToken -> Task<'T>
@@ -333,6 +336,7 @@ module CancellableTasks =
     /// </summary>
     [<AutoOpen>]
     module AsyncExtensions =
+        open IcedTasks.AsyncEx
 
         type AsyncExBuilder with
 

src/IcedTasks/CancellableTaskBuilderBase.fs

@@ -1,5 +1,8 @@
-namespace IcedTasks
+namespace IcedTasks.CancellableTaskBase
 
+open IcedTasks
+open IcedTasks.Nullness
+open IcedTasks.TaskLike
 /// Contains methods to build Tasks using the F# computation expression syntax
 [<AutoOpen>]
 module CancellableTaskBase =
@@ -14,6 +17,7 @@ module CancellableTaskBase =
     open Microsoft.FSharp.Collections
     open System.Collections.Generic
 
+
     /// The extra data stored in ResumableStateMachine for tasks
     [<Struct; NoComparison; NoEquality>]
     type CancellableTaskBaseStateMachineData<'T, 'Builder> =
@@ -605,6 +609,7 @@ module CancellableTaskBase =
     /// <exclude/>
     [<AutoOpen>]
     module HighPriority =
+        open IcedTasks.AsyncEx
 
 
         type AsyncEx with

src/IcedTasks/CancellableValueTask.fs

@@ -9,8 +9,11 @@
 // To the extent possible under law, the author(s) have dedicated all copyright and related and neighboring rights
 // to this software to the public domain worldwide. This software is distributed without any warranty.
 
-namespace IcedTasks
-
+namespace IcedTasks.CancellableValueTasks
+open IcedTasks
+open IcedTasks.ValueTasks
+open IcedTasks.TaskLike
+open IcedTasks.CancellableTaskBase
 
 /// Contains methods to build CancellableTasks using the F# computation expression syntax
 [<AutoOpen>]
@@ -243,6 +246,7 @@ module CancellableValueTasks =
     /// <exclude />
     [<AutoOpen>]
     module HighPriority =
+        open IcedTasks.AsyncEx
 
         type AsyncEx with
 
@@ -313,6 +317,7 @@ module CancellableValueTasks =
     /// </summary>
     [<AutoOpen>]
     module AsyncExtensions =
+        open IcedTasks.AsyncEx
         type AsyncExBuilder with
 
             member inline this.Source([<InlineIfLambda>] t: CancellableValueTask<'T>) : Async<'T> =

src/IcedTasks/ColdTask.fs

@@ -9,7 +9,11 @@
 // To the extent possible under law, the author(s) have dedicated all copyright and related and neighboring rights
 // to this software to the public domain worldwide. This software is distributed without any warranty.
 
-namespace IcedTasks
+namespace IcedTasks.ColdTasks
+open IcedTasks
+open IcedTasks.Nullness
+open IcedTasks.TaskLike
+
 
 /// Contains methods to build ColdTasks using the F# computation expression syntax
 [<AutoOpen>]
@@ -633,6 +637,7 @@ module ColdTasks =
     /// <exclude />
     [<AutoOpen>]
     module HighPriority =
+        open IcedTasks.AsyncEx
         // High priority extensions
 
         type AsyncEx with
@@ -719,7 +724,7 @@ module ColdTasks =
     /// </summary>
     [<AutoOpen>]
     module AsyncExtensions =
-
+        open IcedTasks.AsyncEx
 
         type AsyncExBuilder with
 
@@ -753,7 +758,7 @@ module ColdTasks =
 
             member inline this.ReturnFrom(coldTask: ColdTask) = this.ReturnFrom(coldTask ())
 
-        type TaskBuilderBase with
+        type IcedTasks.TaskBase.TaskBase.TaskBuilderBase with
 
             member inline this.Source(coldTask: ColdTask<'T>) = (coldTask ()).GetAwaiter()
 

src/IcedTasks/IcedTasks.fsproj

@@ -24,6 +24,7 @@
     <Compile Include="CancellableValueTask.fs" />
     <Compile Include="CancellablePoolingValueTask.fs" />
     <Compile Include="CancellableTask.fs" />
+    <Compile Include="AutoOpens.fs" />
   </ItemGroup>
 
   <ItemGroup>

src/IcedTasks/Nullness.fs

@@ -1,13 +1,9 @@
-namespace IcedTasks
+namespace IcedTasks.Nullness
 
-open System
+// This file exists to define nullable and non-nullable types for compatibility with older FSharp.Core libraries.
+//  Nullable/Nullness only works for FSharp.Core 9+. For older versions, we define types without nullability annotations and assume reference types can be null.
 
-type ExceptionNull =
-#if NULLABLE
-    Exception | null
-#else
-    Exception
-#endif
+open System
 
 type IDisposableNull =
 #if NULLABLE

src/IcedTasks/ParallelAsync.fs

@@ -1,7 +1,8 @@
-namespace IcedTasks
+namespace IcedTasks.ParallelAsync
 
 open System
 open System.Threading
+open IcedTasks.AsyncEx
 
 /// Contains different implementations for parallel zip functions.
 type ParallelAsync =