Refactor Graph to speed up compile times

.config/dotnet-tools.json

@@ -10,7 +10,7 @@
       "rollForward": false
     },
     "fantomas": {
-      "version": "7.0.1",
+      "version": "7.0.3",
       "commands": [
         "fantomas"
       ],

src/IcedTasks/AsyncEx.fs

@@ -1,12 +1,14 @@
-namespace IcedTasks
+namespace IcedTasks.AsyncEx
 
 open System
 open System.Threading
 open System.Threading.Tasks
 open System.Runtime.ExceptionServices
 open System.Collections.Generic
+open IcedTasks.Nullness
+open IcedTasks.TaskLike
 
-type private Async =
+type internal Async =
     static member inline map f x =
         async.Bind(x, (fun v -> async.Return(f v)))
 
@@ -343,6 +345,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 =
@@ -261,6 +267,8 @@ module CancellablePoolingValueTasks =
     [<AutoOpen>]
     module HighPriority =
 
+        open IcedTasks.AsyncEx
+
         type AsyncEx with
 
             /// <summary>Return an asynchronous computation that will wait for the given task to complete and return
@@ -330,6 +338,8 @@ 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,4 +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>]
@@ -14,6 +18,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 +610,7 @@ module CancellableTaskBase =
     /// <exclude/>
     [<AutoOpen>]
     module HighPriority =
+        open IcedTasks.AsyncEx
 
 
         type AsyncEx with

src/IcedTasks/CancellableValueTask.fs

@@ -9,8 +9,12 @@
 // 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 +247,7 @@ module CancellableValueTasks =
     /// <exclude />
     [<AutoOpen>]
     module HighPriority =
+        open IcedTasks.AsyncEx
 
         type AsyncEx with
 
@@ -313,6 +318,8 @@ 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,12 @@
 // 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 +638,7 @@ module ColdTasks =
     /// <exclude />
     [<AutoOpen>]
     module HighPriority =
+        open IcedTasks.AsyncEx
         // High priority extensions
 
         type AsyncEx with
@@ -719,7 +725,7 @@ module ColdTasks =
     /// </summary>
     [<AutoOpen>]
     module AsyncExtensions =
-
+        open IcedTasks.AsyncEx
 
         type AsyncExBuilder with
 
@@ -753,7 +759,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,4 +1,7 @@
-namespace IcedTasks
+namespace IcedTasks.Nullness
+
+// 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.
 
 open System
 

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 =

src/IcedTasks/PoolingValueTask.fs

@@ -1,7 +1,12 @@
 namespace IcedTasks
 
+namespace IcedTasks.PoolingValueTasks
+
 #if NET6_0_OR_GREATER
 
+open IcedTasks
+open IcedTasks.TaskLike
+open IcedTasks.TaskBase
 // Task builder for F# that compiles to allocation-free paths for synchronous code.
 //
 // Originally written in 2016 by Robert Peele ([email protected])
@@ -13,7 +18,6 @@ namespace IcedTasks
 // 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
 
 /// Contains methods to build PoolingValueTasks using the F# computation expression syntax
 [<AutoOpen>]

src/IcedTasks/Task.fs

@@ -28,6 +28,8 @@ module Tasks =
     open Microsoft.FSharp.Core.CompilerServices.StateMachineHelpers
     open Microsoft.FSharp.Core.LanguagePrimitives.IntrinsicOperators
     open IcedTasks
+    open IcedTasks.TaskLike
+    open IcedTasks.TaskBase
 
     ///<summary>
     /// Contains methods to build Tasks using the F# computation expression syntax

src/IcedTasks/TaskBuilderBase.fs

@@ -1,4 +1,7 @@
-namespace IcedTasks
+namespace IcedTasks.TaskBase
+
+open IcedTasks.Nullness
+open IcedTasks.TaskLike
 
 /// Contains methods to build Tasks using the F# computation expression syntax
 [<AutoOpen>]

src/IcedTasks/TaskLike.fs

@@ -1,4 +1,4 @@
-namespace IcedTasks
+namespace IcedTasks.TaskLike
 
 open System.Runtime.CompilerServices
 open Microsoft.FSharp.Core.CompilerServices

src/IcedTasks/TaskUnit.fs

@@ -11,7 +11,11 @@ namespace IcedTasks
 // 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.TasksUnit
+
+open IcedTasks
+open IcedTasks.TaskLike
+open IcedTasks.TaskBase
 
 /// Contains methods to build Tasks using the F# computation expression syntax
 [<AutoOpen>]

src/IcedTasks/ValueTask.fs

@@ -1,8 +1,8 @@
-namespace IcedTasks
+namespace IcedTasks.ValueTasks
 
 
 open System.Threading.Tasks
-
+open IcedTasks.TaskLike
 
 /// <summary>
 /// Module with extension methods for <see cref="T:System.Threading.Tasks.ValueTask`1"/>.
@@ -75,7 +75,11 @@ module ValueTaskExtensions =
 // 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.ValueTasks
+
+open IcedTasks
+open IcedTasks.TaskLike
+open IcedTasks.TaskBase
 
 /// Contains methods to build ValueTasks using the F# computation expression syntax
 [<AutoOpen>]

src/IcedTasks/ValueTaskUnit.fs

@@ -12,7 +12,11 @@ namespace IcedTasks
 // 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.ValueTasksUnit
+
+open IcedTasks
+open IcedTasks.TaskLike
+open IcedTasks.TaskBase
 
 /// Contains methods to build ValueTasks using the F# computation expression syntax
 [<AutoOpen>]