fsharp.fio - npm Package Compare versions

Comparing version 0.0.32-alpha to 0.0.33-alpha

FSharp.FIO.nuspec

@@ -5,5 +5,5 @@ <?xml version="1.0" encoding="utf-8"?>
     <id>FSharp.FIO</id>
-    <version>0.0.32-alpha</version>
+    <version>0.0.33-alpha</version>
     <title>FSharp.FIO</title>
-    <authors>FSharp.FIO</authors>
+    <authors>Daniel Larsen</authors>
     <requireLicenseAcceptance>true</requireLicenseAcceptance>
@@ -16,3 +16,5 @@ <license type="file">LICENSE.md</license>
     <description>FIO is a type-safe, purely functional effect system for F#, designed for building highly concurrent and asynchronous applications. It provides a lightweight DSL for writing composable programs using functional effects.</description>
-    <repository type="git" url="https://github.com/fs-fio/FIO" commit="be4378df423405adf0c270b185dce6cdde371479" />
+    <copyright>Copyright (c) 2022-2026 Daniel Larsen and Technical University of Denmark (DTU)</copyright>
+    <tags>fsharp effects async concurrent functional zio fibers</tags>
+    <repository type="git" url="https://github.com/fs-fio/FIO" commit="8b4276dd11637e9c43e20547a742ac3d50a28935" />
     <dependencies>
@@ -19,0 +21,0 @@ <group targetFramework="net10.0">

lib/net10.0/FSharp.FIO.xml

@@ -5,1023 +5,1105 @@ <?xml version="1.0" encoding="utf-8"?>
 <members>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.ZipError``3(FSharp.FIO.DSL.Core.FIO{`0,``2})">
+<member name="M:FSharp.FIO.DSL.Utilities.Casting.upcastTask``1(System.Threading.Tasks.Task{``0})">
  <summary>
- Combines two effects and succeeds with a tuple of their errors when both complete.
+ Upcasts a generic Task's result type to obj.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the first effect.</typeparam>
- <typeparam name="E1">The error type of the second effect.</typeparam>
- <param name="eff">The effect to zip errors with this effect.</param>
- <returns>An FIO effect that returns a tuple of the errors or the result.</returns>
+ <param name="genericTask">The task to upcast.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Zip``3(FSharp.FIO.DSL.Core.FIO{``1,`1})">
+<member name="M:FSharp.FIO.DSL.Utilities.Casting.upcastFunc``1(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,``0},Microsoft.FSharp.Core.Unit)">
  <summary>
- Combines two effects and succeeds with a tuple of their results when both complete. Errors are immediately returned if any effect fails.
+ Upcasts a function's return type to obj.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to zip with this effect.</param>
- <returns>An FIO effect that returns a tuple of the results or an error.</returns>
+ <param name="func">The function to upcast.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.ThenError``3(FSharp.FIO.DSL.Core.FIO{`0,``2})">
+<member name="M:FSharp.FIO.DSL.Utilities.Casting.upcastOnError``1(Microsoft.FSharp.Core.FSharpFunc{System.Exception,``0},System.Exception)">
  <summary>
- Sequences two effects, ignoring the error of the first effect. If the first effect succeeds, the result is immediately returned.
+ Upcasts an error mapping function to work with obj types.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the applied effect.</typeparam>
- <typeparam name="E1">The error type.</typeparam>
- <param name="eff">The effect to sequence after the first error.</param>
- <returns>An FIO effect that sequences the two effects, returning the result or the error of the second effect.</returns>
+ <param name="onError">The error mapping function.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Then``3(FSharp.FIO.DSL.Core.FIO{``1,`1})">
+<member name="T:FSharp.FIO.DSL.Utilities">
  <summary>
- Sequences two effects, ignoring the result of the first effect. If the first effect fails, the error is immediately returned.
+ Internal utilities for type casting and conversion used across the FIO DSL.
  </summary>
- <typeparam name="R">The result type of the applied effect.</typeparam>
- <typeparam name="R1">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to sequence after the first.</param>
- <returns>An FIO effect that sequences the two effects, returning the result of the second or an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Succeed``2(`0)">
+<member name="T:FSharp.FIO.DSL.Exceptions.InterruptionCause.ResourceExhaustion">
+<summary>
+ Fiber was interrupted due to resource exhaustion or system limits.
+</summary>
+</member>
+<member name="T:FSharp.FIO.DSL.Exceptions.InterruptionCause.ExplicitInterrupt">
+<summary>
+ Fiber was explicitly interrupted via Fiber.Interrupt().
+</summary>
+</member>
+<member name="T:FSharp.FIO.DSL.Exceptions.InterruptionCause.ParentInterrupted">
+<summary>
+ Fiber was interrupted because its parent fiber was interrupted.
+</summary>
+</member>
+<member name="T:FSharp.FIO.DSL.Exceptions.InterruptionCause.Timeout">
+<summary>
+ Fiber was interrupted due to a timeout.
+</summary>
+</member>
+<member name="T:FSharp.FIO.DSL.Exceptions.InterruptionCause">
  <summary>
- Succeeds immediately with the provided result value.
+ Represents the cause or reason for fiber interruption.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="res">The result value to succeed with.</param>
- <returns>An FIO effect that succeeds with the given result.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.ParallelError``3(FSharp.FIO.DSL.Core.FIO{`0,``2})">
+<member name="T:FSharp.FIO.DSL.Exceptions.FiberInterruptedException">
  <summary>
- Interprets two effects concurrently and succeeds with a tuple of their errors when both complete.
+ Exception thrown when a fiber is interrupted during execution.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the first effect.</typeparam>
- <typeparam name="E1">The error type of the second effect.</typeparam>
- <param name="eff">The effect to run in parallel with this effect for errors.</param>
- <returns>An FIO effect that returns a tuple of the errors or the result.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Parallel``3(FSharp.FIO.DSL.Core.FIO{``1,`1})">
+<member name="T:FSharp.FIO.DSL.Exceptions">
  <summary>
- Interprets two effects concurrently and succeeds with a tuple of their results when both complete. If either effect fails, the error is immediately returned.
+ Exception types for fiber interruption in the FIO effect system.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to run in parallel with this effect.</param>
- <returns>An FIO effect that returns a tuple of the results or an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.MapError``3(Microsoft.FSharp.Core.FSharpFunc{`1,``2})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.UpcastResult">
  <summary>
- Maps a function over the error of an effect.
+ Upcasts the result type to obj (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the applied effect.</typeparam>
- <typeparam name="E1">The error type.</typeparam>
- <param name="cont">The function to apply to the error.</param>
- <returns>An FIO effect that applies the function to the error or returns the result.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Map``3(Microsoft.FSharp.Core.FSharpFunc{`0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.UpcastError">
  <summary>
- Maps a function over the result of an effect.
+ Upcasts the error type to obj (for runtime use only).
  </summary>
- <typeparam name="R">The result type of the applied effect.</typeparam>
- <typeparam name="R1">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="cont">The function to apply to the result.</param>
- <returns>An FIO effect that applies the function to the result or returns an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromTask``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.Upcast">
  <summary>
- Converts a Task into a Fiber with a default onError handler.
+ Upcasts both the result and error types to obj (for runtime use only).
  </summary>
- <param name="lazyTask">A function that produces the Task to run.</param>
- <returns>An FIO effect that starts the Task in a Fiber and returns the Fiber.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromTask``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task},Microsoft.FSharp.Core.FSharpFunc{System.Exception,`1})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.Fork``3">
  <summary>
- Converts a Task into a Fiber.
+ Executes this effect concurrently in a new Fiber.
  </summary>
- <typeparam name="E">The error type.</typeparam>
- <param name="lazyTask">A function that produces the Task to run.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that starts the Task in a Fiber and returns the Fiber.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromResult``2(Microsoft.FSharp.Core.FSharpResult{`0,`1})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.FlatMap``3(Microsoft.FSharp.Core.FSharpFunc{`0,FSharp.FIO.DSL.Core.FIO{``1,`1}})">
  <summary>
- Converts a Result value into an effect.
+ Chains this effect with a continuation function (monadic bind).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="res">The Result value to convert.</param>
- <returns>An FIO effect that succeeds with the Ok value or fails with the Error value.</returns>
+ <param name="cont">The continuation function.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromOption``2(Microsoft.FSharp.Core.FSharpOption{`0},Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,`1})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.Ensuring``2(FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.Unit,`1})">
  <summary>
- Converts an Option value into an effect.
+ Runs a finalizer after this effect, preserving the original outcome.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="opt">The Option value to convert.</param>
- <param name="onNone">A function to produce an error if the option is None.</param>
- <returns>An FIO effect that succeeds with the Some value or fails with the error from onNone.</returns>
+ <param name="finalizer">The finalizer effect to run.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromGenericTask``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task{`0}})">
+<member name="M:FSharp.FIO.DSL.Core.FIO`2.CatchAll``3(Microsoft.FSharp.Core.FSharpFunc{`1,FSharp.FIO.DSL.Core.FIO{`0,``2}})">
  <summary>
- Converts a generic Task into a Fiber with a default onError handler.
+ Handles errors with a recovery function.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <param name="lazyTask">A function that produces the Task to run.</param>
- <returns>An FIO effect that starts the Task in a Fiber and returns the Fiber.</returns>
+ <param name="onError">The error handler function.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromGenericTask``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task{`0}},Microsoft.FSharp.Core.FSharpFunc{System.Exception,`1})">
+<member name="T:FSharp.FIO.DSL.Core.FIO`2">
  <summary>
- Converts a generic Task into a Fiber.
+ A functional effect that succeeds with a result or fails with an error when interpreted.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="lazyTask">A function that produces the Task to run.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that starts the Task in a Fiber and returns the Fiber.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromFunc``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,`0})">
+<member name="T:FSharp.FIO.DSL.Core.channel`1">
  <summary>
- Converts a function into an effect with a default onError handler.
+ Type alias for Channel with lowercase naming convention.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="func">The function to execute.</param>
- <returns>An FIO effect that executes the function and returns its result or an exception.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromFunc``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,`0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,`1})">
+<member name="P:FSharp.FIO.DSL.Core.Channel`1.UnboundedChannel">
  <summary>
- Converts a function into an effect.
+ Gets the unbounded channel (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="func">The function to execute.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that executes the function and returns its result or an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.FromChoice``2(Microsoft.FSharp.Core.FSharpChoice{`0,`1})">
+<member name="P:FSharp.FIO.DSL.Core.Channel`1.Id">
  <summary>
- Converts a Choice value into an effect.
+ Gets the unique identifier.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="choice">The Choice value to convert.</param>
- <returns>An FIO effect that succeeds with the Choice1Of2 value or fails with the Choice2Of2 value.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Fork``3">
+<member name="P:FSharp.FIO.DSL.Core.Channel`1.Count">
  <summary>
- Interprets an effect concurrently and returns the fiber interpreting it. The fiber can be awaited for the result of the effect.
+ Gets the current message count.
  </summary>
- <typeparam name="R">The result type of the fiber.</typeparam>
- <typeparam name="E">The error type of the fiber.</typeparam>
- <typeparam name="E1">The error type.</typeparam>
- <returns>An FIO effect that starts the effect in a new fiber and returns the fiber.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Fail``2(`1)">
+<member name="P:FSharp.FIO.DSL.Core.Channel`1.BlockingWorkItemCount">
  <summary>
- Fails immediately with the provided error value.
+ Gets the count of blocking work items (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="err">The error value to fail with.</param>
- <returns>An FIO effect that fails with the given error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.BindError``3(Microsoft.FSharp.Core.FSharpFunc{`1,FSharp.FIO.DSL.Core.FIO{`0,``2}})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.Upcast">
  <summary>
- Binds a continuation to the error of an effect. If the effect succeeds, the result is immediately returned.
+ Upcasts the channel to Channel&lt;obj&gt; (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the applied effect.</typeparam>
- <typeparam name="E1">The error type.</typeparam>
- <param name="cont">The continuation function to apply to the error.</param>
- <returns>An FIO effect that applies the continuation to the error or returns the result.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Bind``3(Microsoft.FSharp.Core.FSharpFunc{`0,FSharp.FIO.DSL.Core.FIO{``1,`1}})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.SendAsync(`0)">
  <summary>
- Binds a continuation to the result of an effect. If the effect fails, the error is immediately returned.
+ Sends a message to the channel asynchronously (for runtime use only).
  </summary>
- <typeparam name="R">The result type of the applied effect.</typeparam>
- <typeparam name="R1">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="cont">The continuation function to apply to the result.</param>
- <returns>An FIO effect that applies the continuation to the result or returns an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.AwaitTask``2(System.Threading.Tasks.Task)">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.Send``2(`0)">
  <summary>
- Awaits a Task and turns it into an effect with a default onError handler.
+ Sends a message to the channel.
  </summary>
- <param name="task">The Task to await.</param>
- <returns>An FIO effect that completes when the Task completes or fails with an exception.</returns>
+ <param name="msg">The message to send.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.AwaitTask``2(System.Threading.Tasks.Task,Microsoft.FSharp.Core.FSharpFunc{System.Exception,`1})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.RescheduleNextBlockingWorkItem(FSharp.FIO.DSL.Core.UnboundedChannel{FSharp.FIO.DSL.Core.WorkItem})">
  <summary>
- Awaits a Task and turns it into an effect.
+ Reschedules the next blocking work item to the active work item channel (for runtime use only).
  </summary>
- <typeparam name="E">The error type.</typeparam>
- <param name="task">The Task to await.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that completes when the Task completes or fails with an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.AwaitGenericTask``2(System.Threading.Tasks.Task{`0})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.ReceiveAsync">
  <summary>
- Awaits a generic Task and turns it into an effect with a default onError handler.
+ Receives a message from the channel asynchronously (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <param name="task">The Task to await.</param>
- <returns>An FIO effect that completes with the Task result or fails with an exception.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.AwaitGenericTask``2(System.Threading.Tasks.Task{`0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,`1})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.Receive``2">
  <summary>
- Awaits a generic Task and turns it into an effect.
+ Receives a message from the channel (blocking if empty).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="task">The Task to await.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that completes with the Task result or fails with an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.AwaitAsync``2(Microsoft.FSharp.Control.FSharpAsync{`0})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.AddBlockingWorkItem(FSharp.FIO.DSL.Core.WorkItem)">
  <summary>
- Awaits an Async computation and turns it into an effect with a default onError handler.
+ Adds a blocking work item to the channel (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <param name="async">The Async computation to await.</param>
- <returns>An FIO effect that completes with the Async result or fails with an exception.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.AwaitAsync``2(Microsoft.FSharp.Control.FSharpAsync{`0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,`1})">
+<member name="M:FSharp.FIO.DSL.Core.Channel`1.#ctor">
  <summary>
- Awaits an Async computation and turns it into an effect.
+ Creates a new channel with a unique identifier.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="async">The Async computation to await.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that completes with the Async result or fails with an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.ApplyError``3(FSharp.FIO.DSL.Core.FIO{`0,Microsoft.FSharp.Core.FSharpFunc{`1,``2}})">
+<member name="T:FSharp.FIO.DSL.Core.Channel`1">
  <summary>
- Combines two effects: one produces an error function and the other produces an error value. The function is applied to the value, and the error is returned.
+ A typed communication queue for sending and receiving messages.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the applied effect.</typeparam>
- <typeparam name="E1">The error type.</typeparam>
- <param name="eff">The effect producing a function to apply to the error.</param>
- <returns>An FIO effect that applies the function to the error or returns the result.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.FIO`2.Apply``3(FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.FSharpFunc{`0,``1},`1})">
+<member name="P:FSharp.FIO.DSL.Core.Fiber`2.Interrupted">
  <summary>
- Combines two effects: one produces a result function and the other produces a result value. The function is applied to the value, and the result is returned. Errors are immediately returned if any effect fails.
+ Gets whether the fiber has been interrupted.
  </summary>
- <typeparam name="R">The result type of the applied effect.</typeparam>
- <typeparam name="R1">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect producing a function to apply.</param>
- <returns>An FIO effect that applies the function to the result or returns an error.</returns>
 </member>
-<member name="T:FSharp.FIO.DSL.Core.FIO`2">
+<member name="P:FSharp.FIO.DSL.Core.Fiber`2.Internal">
  <summary>
- Builds a functional effect that can either succeed with a result or fail with an error when interpreted by a runtime.
+ Gets the internal fiber context (for runtime use only).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
 </member>
-<member name="P:FSharp.FIO.DSL.Core.Channel`1.Id">
+<member name="P:FSharp.FIO.DSL.Core.Fiber`2.Id">
  <summary>
- Gets the unique identifier of the channel.
+ Gets the unique identifier.
  </summary>
- <returns>The unique Guid of the channel.</returns>
 </member>
-<member name="P:FSharp.FIO.DSL.Core.Channel`1.Count">
+<member name="P:FSharp.FIO.DSL.Core.Fiber`2.CancellationToken">
  <summary>
- Gets the number of messages currently in the channel.
+ Gets the cancellation token for cooperative cancellation.
  </summary>
- <returns>The number of messages in the channel.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.Channel`1.Send``2(`0)">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.UnsafeSuccess``2">
  <summary>
- Sends a message to the channel and succeeds with the message.
+ Blocks and returns the fiber's success value. Unsafe: blocks and throws on failure.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="msg">The message to send.</param>
- <returns>An FIO effect that sends the message and returns it, or an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.Channel`1.Receive``2">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.UnsafeResult``2">
  <summary>
- Receives a message from the channel and succeeds with it.
+ Blocks and returns the fiber's result. Unsafe: blocks the calling thread.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <returns>An FIO effect that receives a message from the channel or returns an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.Channel`1.#ctor">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.UnsafePrintResult``2">
  <summary>
- Creates a new channel with a unique identifier.
+ Blocks and prints the fiber's result. Unsafe: blocks the calling thread.
  </summary>
 </member>
-<member name="T:FSharp.FIO.DSL.Core.Channel`1">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.UnsafeError``2">
  <summary>
- A Channel represents a communication queue that holds data of type 'R.
- Data can be sent to and received (blocking) from a channel.
+ Blocks and returns the fiber's error value. Unsafe: blocks and throws on success.
  </summary>
- <typeparam name="R">The type of data held by the channel.</typeparam>
 </member>
-<member name="P:FSharp.FIO.DSL.Core.Fiber`2.Id">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.Task``2">
  <summary>
- Gets the unique identifier of the fiber.
+ Returns the fiber's result as a Task.
  </summary>
- <returns>The unique Guid of the fiber.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.Fiber`2.Task``2">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.Join``2">
  <summary>
- Waits for the fiber and succeeds with its result, returning a Task.
+ Awaits the fiber's completion and returns its result.
  </summary>
- <returns>A Task that completes with the result or error of the fiber.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Core.Fiber`2.Await``2">
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.Interrupt``1(Microsoft.FSharp.Core.FSharpOption{FSharp.FIO.DSL.Exceptions.InterruptionCause},Microsoft.FSharp.Core.FSharpOption{System.String})">
  <summary>
- Creates an effect that waits for the fiber and succeeds with its result.
+ Interrupts the fiber with the specified cause and message.
  </summary>
- <returns>An FIO effect that waits for the fiber and returns its result or error.</returns>
+ <param name="cause">The interruption cause.</param>
+ <param name="msg">The interruption message.</param>
 </member>
+<member name="M:FSharp.FIO.DSL.Core.Fiber`2.Completed">
+ <summary>
+ Gets whether the fiber has completed.
+ </summary>
+</member>
 <member name="T:FSharp.FIO.DSL.Core.Fiber`2">
  <summary>
- A Fiber represents a lightweight, cooperative thread of execution.
- Fibers are used to interpret multiple effects in parallel and can be awaited to retrieve the result of the effect.
+ A lightweight, cooperative thread of execution that can be awaited for its result.
  </summary>
- <typeparam name="R">The result type of the fiber.</typeparam>
- <typeparam name="E">The error type of the fiber.</typeparam>
 </member>
-<member name="T:FSharp.FIO.DSL.Core">
+<member name="P:FSharp.FIO.DSL.Core.FiberContext.Task">
  <summary>
- Provides the core types, primitives, and internal machinery for the FIO effect system, including FIO, Fiber, Channel, and supporting types for effectful, concurrent, and asynchronous programming in F#.
+ Gets the task representing the fiber's result.
  </summary>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Zero``1">
+<member name="P:FSharp.FIO.DSL.Core.FiberContext.Id">
  <summary>
- Returns an FIO effect that succeeds with unit. Used for empty computation expressions.
+ Gets the unique identifier.
  </summary>
- <typeparam name="'E">The error type.</typeparam>
- <returns>An FIO effect that succeeds with unit.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.YieldFromFinal``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="P:FSharp.FIO.DSL.Core.FiberContext.CancellationToken">
  <summary>
- Returns the given FIO effect. Used for yield! expressions as the final operation.
+ Gets the cancellation token for cooperative cancellation.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to yield from.</param>
- <returns>The same FIO effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.YieldFrom``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.TryRescheduleBlockingWorkItems(FSharp.FIO.DSL.Core.UnboundedChannel{FSharp.FIO.DSL.Core.WorkItem})">
  <summary>
- Returns the given FIO effect. Used for yield! expressions.
+ Tries to reschedule blocking work items if fiber is completed.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to yield from.</param>
- <returns>The same FIO effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Yield``2(``0)">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.RescheduleBlockingWorkItems(FSharp.FIO.DSL.Core.UnboundedChannel{FSharp.FIO.DSL.Core.WorkItem})">
  <summary>
- Returns an FIO effect that succeeds with the given value. Used for yield expressions.
+ Reschedules all blocking work items to the active queue.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="res">The value to yield.</param>
- <returns>An FIO effect that succeeds with the given value.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.While``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Boolean},FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.Interrupted">
  <summary>
- Repeatedly runs the body while the guard returns true.
+ Gets whether the fiber has been interrupted.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="guard">A function that returns true to continue looping.</param>
- <param name="body">The FIO effect to run each iteration.</param>
- <returns>An FIO effect that loops while the guard is true.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Using``3(``0,Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``1,``2}})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.Interrupt(FSharp.FIO.DSL.Exceptions.InterruptionCause,System.String)">
  <summary>
- Uses a disposable resource in a computation expression, ensuring it is disposed after use.
+ Interrupts the fiber with the specified cause and message.
  </summary>
- <typeparam name="'T">The type of the resource.</typeparam>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="resource">The disposable resource to use.</param>
- <param name="body">The function to run with the resource.</param>
- <returns>An FIO effect that uses and disposes the resource.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.TryWith``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,FSharp.FIO.DSL.Core.FIO{``0,``2}})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.DisposeRegistrations">
  <summary>
- Handles exceptions in an FIO effect by binding the error to a handler.
+ Disposes all registrations.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <typeparam name="'E1">The new error type after handling.</typeparam>
- <param name="eff">The FIO effect to try.</param>
- <param name="cont">The error handler function.</param>
- <returns>An FIO effect that handles errors using the given handler.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.TryFinally``2(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,Microsoft.FSharp.Core.Unit})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.Completed">
  <summary>
- Ensures a finalizer is run after an FIO effect, even if an exception occurs.
+ Gets whether the fiber has completed.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type (must be an exception type).</typeparam>
- <param name="eff">The FIO effect to try.</param>
- <param name="finalizer">The finalizer function to run after the effect.</param>
- <returns>An FIO effect that runs the finalizer after the effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Run``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.CompleteAndReschedule(Microsoft.FSharp.Core.FSharpResult{System.Object,System.Object},FSharp.FIO.DSL.Core.UnboundedChannel{FSharp.FIO.DSL.Core.WorkItem})">
  <summary>
- Runs the given FIO effect. Used to mark the end of a computation expression.
+ Completes the fiber and reschedules blocking work items.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to run.</param>
- <returns>The same FIO effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.ReturnFromFinal``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.Complete(Microsoft.FSharp.Core.FSharpResult{System.Object,System.Object})">
  <summary>
- Returns the given FIO effect. Used to return an effect from a computation expression as the final operation.
+ Completes the fiber with the given result.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to return.</param>
- <returns>The same FIO effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.ReturnFrom``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.AddRegistration(System.IDisposable)">
  <summary>
- Returns the given FIO effect. Used to return an effect from a computation expression.
+ Adds a disposable registration to be cleaned up when the fiber completes.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to return.</param>
- <returns>The same FIO effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Return``2(``0)">
+<member name="M:FSharp.FIO.DSL.Core.FiberContext.AddBlockingWorkItem(FSharp.FIO.DSL.Core.WorkItem)">
  <summary>
- Returns an FIO effect that succeeds with the given value.
+ Adds a blocking work item to the queue.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="res">The value to return.</param>
- <returns>An FIO effect that succeeds with the given value.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.MergeSources``3(FSharp.FIO.DSL.Core.FIO{``0,``2},FSharp.FIO.DSL.Core.FIO{``1,``2})">
+<member name="T:FSharp.FIO.DSL.Core.FiberContext">
  <summary>
- Merges two FIO effects into one that returns a tuple of their results.
+ Internal fiber execution context managing state, result, cancellation, and blocking work items.
  </summary>
- <typeparam name="'R">The result type of the first effect.</typeparam>
- <typeparam name="'R1">The result type of the second effect.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The first FIO effect.</param>
- <param name="eff'">The second FIO effect.</param>
- <returns>An FIO effect that returns a tuple of the results.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Match``3(``2,Microsoft.FSharp.Core.FSharpFunc{``2,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
+<member name="T:FSharp.FIO.DSL.Core.FiberContextState">
  <summary>
- Pattern matches on a value and runs the corresponding FIO effect.
+ Internal state of a fiber's execution context lifecycle.
  </summary>
- <typeparam name="'R">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <typeparam name="'T">The type of the value to match on.</typeparam>
- <param name="value">The value to match on.</param>
- <param name="cases">A function that returns the FIO effect for each case.</param>
- <returns>An FIO effect representing the matched case.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.For``2(System.Collections.Generic.IEnumerable{``0},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.Unit,``1}})">
+<member name="P:FSharp.FIO.DSL.Core.UnboundedChannel`1.Id">
  <summary>
- Iterates over a sequence, running the body for each element in order.
+ Gets the unique identifier.
  </summary>
- <typeparam name="'T">The element type of the sequence.</typeparam>
- <typeparam name="'E">The error type (must be an exception type).</typeparam>
- <param name="sequence">The sequence to iterate over.</param>
- <param name="body">The function to run for each element.</param>
- <returns>An FIO effect that runs the body for each element in the sequence.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Delay``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
+<member name="P:FSharp.FIO.DSL.Core.UnboundedChannel`1.Count">
  <summary>
- Delays the execution of a computation until it is needed.
+ Gets the current message count.
  </summary>
- <typeparam name="'R1">The result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="cont">A function that produces the FIO effect to run.</param>
- <returns>An FIO effect that delays execution.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Combine``3(FSharp.FIO.DSL.Core.FIO{``0,``2},FSharp.FIO.DSL.Core.FIO{``1,``2})">
+<member name="M:FSharp.FIO.DSL.Core.UnboundedChannel`1.WaitToTakeAsync">
  <summary>
- Combines two FIO effects, sequencing them in computation expressions.
+ Waits asynchronously until a message is available.
  </summary>
- <typeparam name="'R">The result type of the first effect.</typeparam>
- <typeparam name="'R1">The result type of the second effect.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The first FIO effect.</param>
- <param name="eff'">The second FIO effect to run after the first.</param>
- <returns>An FIO effect representing the sequential composition.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.BindReturn``3(FSharp.FIO.DSL.Core.FIO{``0,``2},Microsoft.FSharp.Core.FSharpFunc{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Core.UnboundedChannel`1.TryTake(`0@)">
  <summary>
- Binds the result of an FIO effect to a function, mapping the result in computation expressions.
+ Tries to take a message without blocking.
  </summary>
- <typeparam name="'R">The result type of the first effect.</typeparam>
- <typeparam name="'R1">The mapped result type.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to bind.</param>
- <param name="cont">The function to apply to the result.</param>
- <returns>An FIO effect representing the mapped computation.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind``3(FSharp.FIO.DSL.Core.FIO{``0,``2},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``1,``2}})">
+<member name="M:FSharp.FIO.DSL.Core.UnboundedChannel`1.TakeAsync">
  <summary>
- Binds the result of an FIO effect to a continuation, enabling sequential composition in computation expressions.
+ Takes a message asynchronously.
  </summary>
- <typeparam name="'R">The result type of the first effect.</typeparam>
- <typeparam name="'R1">The result type of the continuation effect.</typeparam>
- <typeparam name="'E">The error type.</typeparam>
- <param name="eff">The FIO effect to bind.</param>
- <param name="cont">The continuation function to apply to the result.</param>
- <returns>An FIO effect representing the composed computation.</returns>
 </member>
-<member name="T:FSharp.FIO.DSL.CE.FIOBuilder">
+<member name="M:FSharp.FIO.DSL.Core.UnboundedChannel`1.Clear">
  <summary>
- The computation expression builder for FIO effects, enabling F# computation expression syntax (fio { ... }) for composing functional effects.
+ Clears all messages from the channel.
  </summary>
 </member>
-<member name="P:FSharp.FIO.DSL.CE.fio">
+<member name="M:FSharp.FIO.DSL.Core.UnboundedChannel`1.AddAsync(`0)">
  <summary>
- The FIO computation expression builder instance. Enables the use of `fio { ... }` syntax for composing FIO effects.
+ Adds a message asynchronously.
  </summary>
 </member>
-<member name="T:FSharp.FIO.DSL.CE">
+<member name="T:FSharp.FIO.DSL.Core.UnboundedChannel`1">
  <summary>
- Provides the computation expression builder for FIO, enabling idiomatic F# computation expression syntax (fio { ... }) for composing functional effects.
- Includes the FIOBuilder type and the fio instance for effectful workflows.
+ Thread-safe unbounded channel for message passing.
  </summary>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessHatHatGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+<member name="T:FSharp.FIO.DSL.Core.BlockingItem">
  <summary>
- Combines the errors of two effects into a tuple when both fail.
- Alias for <c>FIO.ZipError</c>.
+ Discriminated union representing effects that are blocked waiting for resources.
+ Used by CooperativeRuntime's blocking worker for linear-time polling.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type of the first effect.</typeparam>
- <typeparam name="E1">The error type of the second effect.</typeparam>
- <param name="eff">The first effect.</param>
- <param name="eff'">The second effect.</param>
- <returns>An FIO effect that combines the errors of the given effects into a tuple.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessHatGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
+<member name="T:FSharp.FIO.DSL.Core.WorkItem">
  <summary>
- Combines the results of two effects into a tuple when both succeed.
- If either effect fails, the error is immediately returned. Alias for <c>FIO.Zip</c>.
+ Internal work item representing an effect to be executed along with its context and continuation stack.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The first effect.</param>
- <param name="eff'">The second effect.</param>
- <returns>An FIO effect that combines the results of the given effects into a tuple.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessMultiplyMultiplyGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,Microsoft.FSharp.Core.FSharpFunc{``1,``2}})">
+<member name="T:FSharp.FIO.DSL.Core.ContStack">
  <summary>
- Combines two effects: one producing a function and the other a value, 
- and applies the function to the value. Alias for <c>FIO.ApplyError</c>.
+ Internal stack of continuations for effect execution.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <typeparam name="E1">The error type of the function.</typeparam>
- <param name="eff">The effect producing the function.</param>
- <param name="eff'">The effect producing the value.</param>
- <returns>An FIO effect that combines the given effects and applies the function to the value.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessMultiplyGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.FSharpFunc{``0,``2},``1})">
+<member name="T:FSharp.FIO.DSL.Core.ContStackFrame">
  <summary>
- Combines two effects: one producing a function and the other a value, 
- and applies the function to the value. Alias for <c>FIO.Apply</c>.
+ Internal stack frame for continuation tracking during effect execution.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the function.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect producing the function.</param>
- <param name="eff'">The effect producing the value.</param>
- <returns>An FIO effect that combines the given effects and applies the function to the value.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_QmarkLessLess``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+<member name="T:FSharp.FIO.DSL.Core.Cont">
  <summary>
- Sequences two effects, ignoring the error of the first one. Alias for <c>FIO.ThenError</c>.
+ Internal continuation representation for effect chaining.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="E">The error type of the first effect.</typeparam>
- <typeparam name="E1">The error type of the second effect.</typeparam>
- <param name="eff">The first effect.</param>
- <param name="eff'">The second effect.</param>
- <returns>An FIO effect that sequences the given effects, ignoring the error of the first one.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_GreaterGreaterQmark``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+<member name="T:FSharp.FIO.DSL.Core">
  <summary>
- Sequences two effects, ignoring the error of the first one. Alias for <c>FIO.ThenError</c>.
+ Core types and primitives for the FIO effect system.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="E">The error type of the first effect.</typeparam>
- <typeparam name="E1">The error type of the second effect.</typeparam>
- <param name="eff">The first effect.</param>
- <param name="eff'">The second effect.</param>
- <returns>An FIO effect that sequences the given effects, ignoring the error of the first one.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_ComposeLeft``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.ForEachPar.Static``5(System.Collections.Generic.IEnumerable{``2},Microsoft.FSharp.Core.FSharpFunc{``2,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
  <summary>
- Sequences two effects, ignoring the result of the first one. Alias for <c>FIO.Then</c>.
+ Maps each item in a collection to an effect, then executes all effects in parallel.
+ Collects all results into a list maintaining the order of the input collection.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The first effect.</param>
- <param name="eff'">The second effect.</param>
- <returns>An FIO effect that sequences the given effects, ignoring the result of the first one.</returns>
+ <param name="items">The collection of items to process.</param>
+ <param name="f">The function to map each item to an effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_ComposeRight``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.ForEach.Static``5(System.Collections.Generic.IEnumerable{``2},Microsoft.FSharp.Core.FSharpFunc{``2,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
  <summary>
- Sequences two effects, ignoring the result of the first one. Alias for <c>FIO.Then</c>.
+ Maps each item in a collection to an effect, then sequences all effects sequentially.
+ Collects all results into a list maintaining the order of the input collection.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The first effect.</param>
- <param name="eff'">The second effect.</param>
- <returns>An FIO effect that sequences the given effects, ignoring the result of the first one.</returns>
+ <param name="items">The collection of items to process.</param>
+ <param name="f">The function to map each item to an effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_QmarkLessMultiply``3(Microsoft.FSharp.Core.FSharpFunc{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``0})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.CollectAllPar.Static``4(System.Collections.Generic.IEnumerable{FSharp.FIO.DSL.Core.FIO{``0,``1}})">
  <summary>
- Maps a function over the error of an effect. Alias for <c>FIO.MapError</c>.
+ Executes a collection of effects in parallel, collecting their results into a list.
+ The results maintain the same order as the input effects.
+ All effects are forked simultaneously, then awaited together.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="E">The error type of the effect.</typeparam>
- <typeparam name="E1">The error type of the mapped function.</typeparam>
- <param name="cont">The function to apply.</param>
- <param name="eff">The effect to map.</param>
- <returns>An FIO effect that maps the given function over the error of the effect.</returns>
+ <param name="effSeq">The sequence of effects to execute in parallel.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_MultiplyGreaterQmark``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,``2})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.CollectAll.Static``4(System.Collections.Generic.IEnumerable{FSharp.FIO.DSL.Core.FIO{``0,``1}})">
  <summary>
- Maps a function over the error of an effect. Alias for <c>FIO.MapError</c>.
+ Sequences a collection of effects, collecting their results into a list.
+ Effects are executed sequentially in the order they appear in the collection.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="E">The error type of the effect.</typeparam>
- <typeparam name="E1">The error type of the mapped function.</typeparam>
- <param name="eff">The effect to map.</param>
- <param name="cont">The function to apply.</param>
- <returns>An FIO effect that maps the given function over the error of the effect.</returns>
+ <param name="effSeq">The sequence of effects to execute.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessMultiply``3(Microsoft.FSharp.Core.FSharpFunc{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AcquireRelease.Static``5(FSharp.FIO.DSL.Core.FIO{``2,``1},Microsoft.FSharp.Core.FSharpFunc{``2,FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.Unit,``1}},Microsoft.FSharp.Core.FSharpFunc{``2,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
  <summary>
- Maps a function over the result of an effect. Alias for <c>FIO.Map</c>.
+ Implements the acquire-release pattern for safe resource management.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="R1">The result type of the mapped function.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="cont">The function to apply.</param>
- <param name="eff">The effect to map.</param>
- <returns>An FIO effect that maps the given function over the result of the effect.</returns>
+ <param name="acquire">The effect that acquires the resource.</param>
+ <param name="release">A function that produces the effect to release the resource.</param>
+ <param name="useResource">A function that produces the effect to use the resource.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_MultiplyGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,``2})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Never.Static``4">
  <summary>
- Maps a function over the result of an effect. Alias for <c>FIO.Map</c>.
+ Creates an effect that never completes (runs forever).
+ Uses a singleton TaskCompletionSource to avoid memory leaks.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="R1">The result type of the mapped function.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to map.</param>
- <param name="cont">The function to apply.</param>
- <returns>An FIO effect that maps the given function over the result of the effect.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_QmarkEqualsLessLess``3(Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``1,``2}},FSharp.FIO.DSL.Core.FIO{``1,``0})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Sleep.Static``2(System.TimeSpan)">
  <summary>
- Chains the error result of the effect to the continuation function. Alias for <c>FIO.BindError</c>.
+ Delays execution for the specified duration with exceptions as errors.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="E">The error type of the effect.</typeparam>
- <typeparam name="E1">The error type of the continuation.</typeparam>
- <param name="cont">The continuation function.</param>
- <param name="eff">The effect to bind.</param>
- <returns>An FIO effect that chains the error result of the given effect to the continuation function.</returns>
+ <param name="duration">The delay duration.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_GreaterGreaterEqualsQmark``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,FSharp.FIO.DSL.Core.FIO{``0,``2}})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Sleep.Static``3(System.TimeSpan,Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
  <summary>
- Chains the error result of the effect to the continuation function. Alias for <c>FIO.BindError</c>.
+ Delays execution for the specified duration.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="E">The error type of the effect.</typeparam>
- <typeparam name="E1">The error type of the continuation.</typeparam>
- <param name="eff">The effect to bind.</param>
- <param name="cont">The continuation function.</param>
- <returns>An FIO effect that chains the error result of the given effect to the continuation function.</returns>
+ <param name="duration">The delay duration.</param>
+ <param name="onError">A function to map exceptions to the error type.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_EqualsLessLess``3(Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``1,``2}},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Suspend.Static``4(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
  <summary>
- Chains the success result of the effect to the continuation function. Alias for <c>FIO.Bind</c>.
+ Lazily constructs an effect, deferring its creation until execution.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="R1">The result type of the continuation.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="cont">The continuation function.</param>
- <param name="eff">The effect to bind.</param>
- <returns>An FIO effect that chains the success result of the given effect to the continuation function.</returns>
+ <param name="eff">A function that produces the effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_GreaterGreaterEquals``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``2,``1}})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromTask.Static``3(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task{``0}})">
  <summary>
- Chains the success result of the effect to the continuation function. Alias for <c>FIO.Bind</c>.
+ Forks a lazily-evaluated Task into a Fiber with exceptions as errors.
  </summary>
- <typeparam name="R">The result type of the effect.</typeparam>
- <typeparam name="R1">The result type of the continuation.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to bind.</param>
- <param name="cont">The continuation function.</param>
- <returns>An FIO effect that chains the success result of the given effect to the continuation function.</returns>
+ <param name="taskFactory">A function that produces the Task.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangLessLessLessTwiddle``2(Microsoft.FSharp.Control.FSharpAsync{``0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromTask.Static``4(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task{``0}},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
  <summary>
- Awaits an Async computation and turns it into an effect, applying error handling if necessary. Alias for <c>FIO.AwaitAsync</c>.
+ Forks a lazily-evaluated Task into a Fiber for concurrent execution.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
+ <param name="taskFactory">A function that produces the Task.</param>
+ <param name="onError">A function to map exceptions to the error type.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromTask.Static``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task})">
+ <summary>
+ Forks a lazily-evaluated Task into a Fiber with exceptions as errors.
+ </summary>
+ <param name="taskFactory">A function that produces the Task.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromTask.Static``3(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Threading.Tasks.Task},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+ <summary>
+ Forks a lazily-evaluated Task into a Fiber for concurrent execution.
+ </summary>
+ <param name="taskFactory">A function that produces the Task.</param>
+ <param name="onError">A function to map exceptions to the error type.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AwaitAsync.Static``3(Microsoft.FSharp.Control.FSharpAsync{``0})">
+ <summary>
+ Awaits an Async computation with exceptions as errors.
+ </summary>
  <param name="async">The Async computation to await.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that completes with the Async result or fails with an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessLessLessTwiddle``1(Microsoft.FSharp.Control.FSharpAsync{``0})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AwaitAsync.Static``4(Microsoft.FSharp.Control.FSharpAsync{``0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
  <summary>
- Awaits an Async computation and turns it into an effect with a default onError. Alias for <c>FIO.AwaitAsync</c>.
+ Awaits an Async computation and returns its result.
  </summary>
- <typeparam name="R">The result type.</typeparam>
  <param name="async">The Async computation to await.</param>
- <returns>An FIO effect that completes with the Async result or fails with an exception.</returns>
+ <param name="onError">A function to map exceptions to the error type.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangLessLessTwiddleTwiddle``1(System.Threading.Tasks.Task{``0})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AwaitTask.Static``3(System.Threading.Tasks.Task{``0})">
  <summary>
- Awaits a generic Task and turns it into an effect. Alias for <c>FIO.AwaitGenericTask</c>.
+ Awaits a Task and returns its result with exceptions as errors.
  </summary>
- <typeparam name="R">The result type.</typeparam>
  <param name="task">The Task to await.</param>
- <returns>An FIO effect that completes with the Task result or fails with an exception.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessLessTwiddleTwiddle``2(System.Threading.Tasks.Task{``0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AwaitTask.Static``4(System.Threading.Tasks.Task{``0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
  <summary>
- Awaits a generic Task and turns it into an effect, applying error handling if necessary. Alias for <c>FIO.AwaitGenericTask</c>.
+ Awaits a Task and returns its result.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
  <param name="task">The Task to await.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that completes with the Task result or fails with an error.</returns>
+ <param name="onError">A function to map exceptions to the error type.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangLessLessTwiddle(System.Threading.Tasks.Task)">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AwaitTask.Static``2(System.Threading.Tasks.Task)">
  <summary>
- Awaits a Task and turns it into an effect. Alias for <c>FIO.AwaitTask</c>.
+ Awaits a Task with exceptions as errors.
  </summary>
  <param name="task">The Task to await.</param>
- <returns>An FIO effect that completes when the Task completes or fails with an exception.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessLessTwiddle``1(System.Threading.Tasks.Task,Microsoft.FSharp.Core.FSharpFunc{System.Exception,``0})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.AwaitTask.Static``3(System.Threading.Tasks.Task,Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
  <summary>
- Awaits a Task and turns it into an effect, applying error handling if necessary. Alias for <c>FIO.AwaitTask</c>.
+ Awaits a Task and returns unit on completion.
  </summary>
- <typeparam name="E">The error type.</typeparam>
  <param name="task">The Task to await.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that completes when the Task completes or fails with an error.</returns>
+ <param name="onError">A function to map exceptions to the error type.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangTwiddleTwiddleGreater``2(FSharp.FIO.DSL.Core.Fiber{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromChoice.Static``4(Microsoft.FSharp.Core.FSharpChoice{``0,``1})">
  <summary>
- Waits for the completion of the fiber and returns `unit`. Alias for <c>Fiber.Await</c>.
+ Converts a Choice value into an effect.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="fiber">The fiber to await.</param>
- <returns>An FIO effect that awaits the given fiber and returns `unit`.</returns>
+ <param name="choice">The Choice value to convert.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangLessTwiddleTwiddle``2(FSharp.FIO.DSL.Core.Fiber{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromOption.Static``3(Microsoft.FSharp.Core.FSharpOption{``0})">
  <summary>
- Waits for the completion of the fiber and returns `unit`. Alias for <c>Fiber.Await</c>.
+ Converts an Option value into an effect with exceptions as errors.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="fiber">The fiber to await.</param>
- <returns>An FIO effect that awaits the given fiber and returns `unit`.</returns>
+ <param name="opt">The Option value to convert.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangTwiddleTwiddleGreater``2(FSharp.FIO.DSL.Core.Fiber{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromOption.Static``4(Microsoft.FSharp.Core.FSharpOption{``0},Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,``1})">
  <summary>
- Waits for the result of the given fiber and succeeds with it. Alias for <c>Fiber.Await</c>.
+ Converts an Option value into an effect.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="fiber">The fiber to await.</param>
- <returns>An FIO effect that awaits the given fiber and returns its result.</returns>
+ <param name="opt">The Option value to convert.</param>
+ <param name="onNone">A function to produce an error if the option is None.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessTwiddleTwiddle``2(FSharp.FIO.DSL.Core.Fiber{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.FromResult.Static``4(Microsoft.FSharp.Core.FSharpResult{``0,``1})">
  <summary>
- Waits for the result of the given fiber and succeeds with it. Alias for <c>Fiber.Await</c>.
+ Converts a Result value into an effect.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="fiber">The fiber to await.</param>
- <returns>An FIO effect that awaits the given fiber and returns its result.</returns>
+ <param name="res">The Result value to convert.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessBangBangGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Attempt.Static``3(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,``0})">
  <summary>
- Interprets two effects concurrently and succeeds with a tuple of their errors when both fail.
- Alias for <c>FIO.ParallelError</c>.
+ Converts a side-effecting function into an effect with exceptions as errors.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="E">The error type of the first effect.</typeparam>
- <typeparam name="E1">The error type of the second effect.</typeparam>
+ <param name="func">The function to execute.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Attempt.Static``4(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,``0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+ <summary>
+ Converts a side-effecting function into an effect.
+ </summary>
+ <param name="func">The function to execute.</param>
+ <param name="onError">A function to map exceptions to the error type.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Interrupt.Static``4(Microsoft.FSharp.Core.FSharpOption{FSharp.FIO.DSL.Exceptions.InterruptionCause},Microsoft.FSharp.Core.FSharpOption{System.String})">
+ <summary>
+ Interrupts the effect with the provided cause and message.
+ </summary>
+ <param name="cause">The interruption cause.</param>
+ <param name="msg">The interruption message.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Fail.Static``4(``1)">
+ <summary>
+ Fails immediately with the provided error value.
+ </summary>
+ <param name="err">The error value.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Succeed.Static``4(``0)">
+ <summary>
+ Succeeds immediately with the provided result value.
+ </summary>
+ <param name="res">The result value.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Factories.FIO`2.Unit.Static``3">
+ <summary>
+ Succeeds immediately with unit.
+ </summary>
+</member>
+<member name="P:FSharp.FIO.DSL.Factories.neverTcs">
+ <summary>
+ Module-level singleton TaskCompletionSource for FIO.Never to avoid memory leaks.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.DSL.Factories">
+ <summary>
+ Provides factory functions for creating FIO effects from various sources.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.CatchSome``4(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,Microsoft.FSharp.Core.FSharpOption{FSharp.FIO.DSL.Core.FIO{``0,``1}}})">
+ <summary>
+ Recovers from specific errors using a partial function.
+ </summary>
+ <param name="pf">A function that returns Some effect for recoverable errors, None otherwise.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.RepeatN``4(FSharp.FIO.DSL.Core.FIO{``0,``1},System.Int32)">
+ <summary>
+ Repeats this effect N times, returning the result of the last execution.
+ </summary>
+ <param name="n">The number of times to repeat.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Timed``4(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+ <summary>
+ Measures the execution time of this effect, returning the duration and result.
+ </summary>
+ <param name="onError">A function to map exceptions to the error type.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Race``4(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``1})">
+ <summary>
+ Races this effect against another, returning the result of whichever completes first.
+ The losing fiber is automatically interrupted.
+ </summary>
+ <param name="eff">The effect to race against.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Timeout``4(FSharp.FIO.DSL.Core.FIO{``0,``1},System.TimeSpan,Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+ <summary>
+ Times out this effect if it doesn't complete within the specified duration.
+ Returns None on timeout, Some on success.
+ </summary>
+ <param name="duration">The maximum duration to wait.</param>
+ <param name="onError">A function to map exceptions to the error type.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.RetryN``4(FSharp.FIO.DSL.Core.FIO{``0,``1},System.Int32)">
+ <summary>
+ Retries this effect up to N total attempts on failure.
+ For example, RetryN(3) will attempt the effect up to 3 times total.
+ </summary>
+ <param name="maxAttempts">Maximum total number of attempts (must be >= 1).</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.FoldFIO``5(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,FSharp.FIO.DSL.Core.FIO{``3,``1}},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``3,``1}})">
+ <summary>
+ Folds over both channels using effectful functions with recovery semantics.
+ </summary>
+ <param name="onError">The function to apply to any error, producing a recovery effect.</param>
+ <param name="onSuccess">The function to apply to the success value, producing an effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Fold``6(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,``3},Microsoft.FSharp.Core.FSharpFunc{``0,``3})">
+ <summary>
+ Folds over both channels using pure functions, producing an infallible result.
+ </summary>
+ <param name="onError">The function to apply to the error.</param>
+ <param name="onSuccess">The function to apply to the success value.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipParLeft``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``3,``1})">
+ <summary>
+ Executes two effects in parallel, returning the result of the first.
+ </summary>
+ <param name="eff">The effect to run concurrently with this effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipParRight``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``3,``1})">
+ <summary>
+ Executes two effects in parallel, returning the result of the second.
+ </summary>
+ <param name="eff">The effect to run concurrently with this effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipParError``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``4})">
+ <summary>
+ Executes two effects concurrently and fails with a tuple of their errors when both fail.
+ </summary>
+ <param name="eff">The effect to run concurrently with this effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipPar``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``3,``1})">
+ <summary>
+ Executes two effects in parallel, returning a tuple of their results.
+ </summary>
+ <param name="eff">The effect to run concurrently with this effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipLeft``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``3,``1})">
+ <summary>
+ Sequences two effects, ignoring the result of the second effect.
+ </summary>
+ <param name="eff">The second effect to run.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipRight``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``3,``1})">
+ <summary>
+ Sequences two effects, ignoring the result of the first effect (zipRight).
+ </summary>
+ <param name="eff">The effect to run after this effect succeeds.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ZipError``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``4})">
+ <summary>
+ Sequences two effects and fails with a tuple of their errors when both fail.
+ </summary>
+ <param name="eff">The effect to zip errors with this effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Zip``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``3,``1})">
+ <summary>
+ Sequences two effects and succeeds with a tuple of their results.
+ </summary>
+ <param name="eff">The effect to zip with this effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.ApplyError``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,Microsoft.FSharp.Core.FSharpFunc{``1,``4}})">
+ <summary>
+ Applies a function-producing effect to this error-producing effect.
+ </summary>
+ <param name="eff">The effect producing a function to apply to this effect's error.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Apply``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.FSharpFunc{``0,``3},``1})">
+ <summary>
+ Applies a function-producing effect to this value-producing effect.
+ </summary>
+ <param name="eff">The effect producing a function to apply to this effect's result.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.OrElse``5(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``4})">
+ <summary>
+ Falls back to another effect if this effect fails, ignoring the original error.
+ </summary>
+ <param name="eff">The fallback effect to run if this effect fails.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.DebugError``4(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpOption{System.String})">
+ <summary>
+ Prints the error value to stdout for debugging, preserving the original error.
+ The error is printed with the prefix "Debug Error: " per default.
+ Any errors from printing are printed to stderr but do not fail the effect (best-effort output).
+ </summary>
+ <param name="message">The message prefix to print before the error.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Debug``4(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpOption{System.String})">
+ <summary>
+ Prints the success value to stdout for debugging, preserving the original value.
+ The value is printed with the prefix "Debug: " per default.
+ Any errors from printing are printed to stderr but do not fail the effect (best-effort output).
+ </summary>
+ <param name="message">The message prefix to print before the value.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.TapBoth``6(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``4,``1}},Microsoft.FSharp.Core.FSharpFunc{``1,FSharp.FIO.DSL.Core.FIO{``3,``1}})">
+ <summary>
+ Executes an effect on both success and error, for side effects.
+ </summary>
+ <param name="onSuccess">The effect to execute on success.</param>
+ <param name="onError">The effect to execute on error.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.TapError``5(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,FSharp.FIO.DSL.Core.FIO{``3,``1}})">
+ <summary>
+ Executes an effect on error, discarding its result and preserving the original error.
+ </summary>
+ <param name="effOnError">The effect to execute on the error value.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Tap``5(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``3,``1}})">
+ <summary>
+ Executes an effect on success, discarding its result and preserving the original value.
+ </summary>
+ <param name="effOnSuccess">The effect to execute on the success value.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Unless``4(FSharp.FIO.DSL.Core.FIO{``0,``1},System.Boolean)">
+ <summary>
+ Executes this effect only if the condition is false, otherwise succeeds with unit.
+ </summary>
+ <param name="cond">The condition to check.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.When``4(FSharp.FIO.DSL.Core.FIO{``0,``1},System.Boolean)">
+ <summary>
+ Executes this effect only if the condition is true, otherwise succeeds with unit.
+ </summary>
+ <param name="cond">The condition to check.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Choice``5(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+ <summary>
+ Converts this effect into a Choice, with Choice1Of2 on success and Choice2Of2 on error.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Option``5(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+ <summary>
+ Converts this effect's error into None, returning Some on success.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Result``5(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+ <summary>
+ Converts this effect's error channel into a Result, making the effect infallible.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.As``5(FSharp.FIO.DSL.Core.FIO{``0,``1},``3)">
+ <summary>
+ Maps this effect's result to a constant value.
+ </summary>
+ <param name="res">The constant value to return.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Unit``4(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+ <summary>
+ Discards the result of this effect, returning unit instead.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.MapBoth``6(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,``3},Microsoft.FSharp.Core.FSharpFunc{``1,``5})">
+ <summary>
+ Transforms both the success and error channels of this effect simultaneously.
+ </summary>
+ <param name="successMapper">The function to apply to the result.</param>
+ <param name="errorMapper">The function to apply to the error.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.MapError``5(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,``4})">
+ <summary>
+ Maps a function over the error of this effect.
+ </summary>
+ <param name="mapper">The function to apply to the error.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Extensions.FIO`2.Map``5(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,``3})">
+ <summary>
+ Maps a function over the result of this effect.
+ </summary>
+ <param name="mapper">The function to apply to the result.</param>
+</member>
+<member name="T:FSharp.FIO.DSL.Extensions">
+ <summary>
+ Provides instance combinator methods for the FIO effect type.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.DSL.Operators.op_LessBangGreater``3(Microsoft.FSharp.Core.FSharpFunc{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+ <summary>
+ Maps a function over the result of the effect (fmap).
+ </summary>
+ <param name="mapper">The function to apply.</param>
+ <param name="eff">The effect to map.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Operators.op_GreaterGreaterEquals``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``2,``1}})">
+ <summary>
+ Chains an effect with a continuation function (flatMap/bind).
+ </summary>
+ <param name="eff">The effect to bind.</param>
+ <param name="cont">The continuation function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Operators.op_LessBarGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``0,``2})">
+ <summary>
+ Tries the first effect, falling back to the second on error (orElse).
+ </summary>
  <param name="eff">The first effect.</param>
+ <param name="eff'">The fallback effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.Operators.op_LessAmp``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
+ <summary>
+ Executes two effects in parallel, returning the result of the first (zipParLeft).
+ </summary>
+ <param name="eff">The first effect.</param>
  <param name="eff'">The second effect.</param>
- <returns>An FIO effect that interprets both effects concurrently and returns a tuple of their errors.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessTwiddleGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
+<member name="M:FSharp.FIO.DSL.Operators.op_AmpGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
  <summary>
- Interprets two effects concurrently and succeeds with `unit` when completed.
- If either effect fails, the error is immediately returned. Alias for <c>FIO.Parallel</c>.
+ Executes two effects in parallel, returning the result of the second (zipParRight).
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
  <param name="eff">The first effect.</param>
  <param name="eff'">The second effect.</param>
- <returns>An FIO effect that interprets both effects concurrently and returns `unit`.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessBangGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
+<member name="M:FSharp.FIO.DSL.Operators.op_LessAmpAmpGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
  <summary>
- Interprets two effects concurrently and succeeds with a tuple of their results when both complete.
- If either effect fails, the error is immediately returned. Alias for <c>FIO.Parallel</c>.
+ Executes two effects in parallel, returning unit.
  </summary>
- <typeparam name="R">The result type of the first effect.</typeparam>
- <typeparam name="R1">The result type of the second effect.</typeparam>
- <typeparam name="E">The error type.</typeparam>
  <param name="eff">The first effect.</param>
  <param name="eff'">The second effect.</param>
- <returns>An FIO effect that interprets both effects concurrently and returns a tuple of their results.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangTwiddleGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Operators.op_LessAmpGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
  <summary>
- Interprets an effect concurrently and returns `unit` when interpreted. Alias for <c>FIO.Fork</c>.
+ Executes two effects in parallel, returning a tuple of their results (zipPar).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to fork.</param>
- <returns>An FIO effect that interprets the given effect concurrently and returns `unit`.</returns>
+ <param name="eff">The first effect.</param>
+ <param name="eff'">The second effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangBangLessTwiddle``3(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Operators.op_LessMultiplyGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
  <summary>
- Interprets an effect concurrently and returns `unit` when interpreted. Alias for <c>FIO.Fork</c>.
+ Sequences two effects and succeeds with a tuple of their results (zip).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to fork.</param>
- <returns>An FIO effect that interprets the given effect concurrently and returns `unit`.</returns>
+ <param name="eff">The first effect.</param>
+ <param name="eff'">The second effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangTwiddleGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Operators.op_LessMultiply``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
  <summary>
- Interprets an effect concurrently and returns the fiber that is interpreting it.
- The fiber can be awaited for the result of the effect. Alias for <c>FIO.Fork</c>.
+ Sequences two effects, returning the result of the first (zipLeft).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to fork.</param>
- <returns>An FIO effect that interprets the given effect concurrently and returns the fiber.</returns>
+ <param name="eff">The first effect.</param>
+ <param name="eff'">The second effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessTwiddle``3(FSharp.FIO.DSL.Core.FIO{``0,``1})">
+<member name="M:FSharp.FIO.DSL.Operators.op_MultiplyGreater``3(FSharp.FIO.DSL.Core.FIO{``0,``1},FSharp.FIO.DSL.Core.FIO{``2,``1})">
  <summary>
- Interprets an effect concurrently and returns the fiber that is interpreting it.
- The fiber can be awaited for the result of the effect. Alias for <c>FIO.Fork</c>.
+ Sequences two effects, ignoring the result of the first effect (zipRight).
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="eff">The effect to fork.</param>
- <returns>An FIO effect that interprets the given effect concurrently and returns the fiber.</returns>
+ <param name="eff">The first effect.</param>
+ <param name="eff'">The second effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessBangMinusMinus``2(FSharp.FIO.DSL.Core.Channel{``0})">
+<member name="T:FSharp.FIO.DSL.Operators">
  <summary>
- Receives a message from the channel and succeeds with unit. Alias for <c>Channel.Receive</c>.
+ Provides functional operators for FIO effects.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="chan">The channel to receive from.</param>
- <returns>An FIO effect that receives a message and returns unit, or an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangMinusMinusBangGreater``2(FSharp.FIO.DSL.Core.Channel{``0})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Zero``1">
  <summary>
- Receives a message from the channel and succeeds with unit. Alias for <c>Channel.Receive</c>.
+ Returns a unit effect for empty computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="chan">The channel to receive from.</param>
- <returns>An FIO effect that receives a message and returns unit, or an error.</returns>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessMinusMinus``2(FSharp.FIO.DSL.Core.Channel{``0})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.YieldFromFinal``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
  <summary>
- Receives a message from the channel and succeeds with it. Alias for <c>Channel.Receive</c>.
+ Enables <c>yield!</c> as the final expression in computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="chan">The channel to receive from.</param>
- <returns>An FIO effect that receives a message and returns it, or an error.</returns>
+ <param name="eff">The FIO effect to yield.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangMinusMinusGreater``2(FSharp.FIO.DSL.Core.Channel{``0})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.YieldFrom``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
  <summary>
- Receives a message from the channel and succeeds with it. Alias for <c>Channel.Receive</c>.
+ Enables <c>yield!</c> expressions in computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="chan">The channel to receive from.</param>
- <returns>An FIO effect that receives a message and returns it, or an error.</returns>
+ <param name="eff">The FIO effect to yield.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessBangMinusMinus``2(FSharp.FIO.DSL.Core.Channel{``0},``0)">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Yield``2(``0)">
  <summary>
- Sends a message to the channel and succeeds with unit. Alias for <c>Channel.Send</c>.
+ Enables <c>yield</c> expressions in computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="chan">The channel to send to.</param>
- <param name="msg">The message to send.</param>
- <returns>An FIO effect that sends the message and returns unit, or an error.</returns>
+ <param name="res">The value to yield.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_MinusMinusBangGreater``2(``0,FSharp.FIO.DSL.Core.Channel{``0})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.While``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,System.Boolean},FSharp.FIO.DSL.Core.FIO{``0,``1})">
  <summary>
- Sends a message to the channel and succeeds with unit. Alias for <c>Channel.Send</c>.
+ Enables <c>while...do</c> expressions in computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="msg">The message to send.</param>
- <param name="chan">The channel to send to.</param>
- <returns>An FIO effect that sends the message and returns unit, or an error.</returns>
+ <param name="guard">A function that returns true to continue looping.</param>
+ <param name="body">The FIO effect to run each iteration.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_LessMinusMinus``2(FSharp.FIO.DSL.Core.Channel{``0},``0)">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Using``3(``0,Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``1,``2}})">
  <summary>
- Sends a message to the channel and succeeds with the message. Alias for <c>Channel.Send</c>.
+ Enables <c>use</c> bindings in computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="chan">The channel to send to.</param>
- <param name="msg">The message to send.</param>
- <returns>An FIO effect that sends the message and returns it, or an error.</returns>
+ <param name="resource">The disposable resource.</param>
+ <param name="body">The function to run with the resource.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_MinusMinusGreater``2(``0,FSharp.FIO.DSL.Core.Channel{``0})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.TryWith``3(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{``1,FSharp.FIO.DSL.Core.FIO{``0,``2}})">
  <summary>
- Sends a message to the channel and succeeds with the message. Alias for <c>Channel.Send</c>.
+ Enables <c>try...with</c> expressions in computation expressions.
  </summary>
- <typeparam name="R">The message type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="msg">The message to send.</param>
- <param name="chan">The channel to send to.</param>
- <returns>An FIO effect that sends the message and returns it, or an error.</returns>
+ <param name="eff">The FIO effect to try.</param>
+ <param name="handler">The error handler function.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessLess``1(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,``0})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.TryFinally``2(FSharp.FIO.DSL.Core.FIO{``0,``1},Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.Unit,``1}})">
  <summary>
- Succeeds with the result of a function and fails with Exception. Alias for <c>FIO.FromFunc</c>.
+ Enables <c>try...finally</c> expressions in computation expressions.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <param name="func">The function to execute.</param>
- <returns>An FIO effect that executes the function and returns its result or an exception.</returns>
+ <param name="eff">The FIO effect to try.</param>
+ <param name="finalizer">The finalizer effect to run after the main effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangLessLessLess``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,``0},Microsoft.FSharp.Core.FSharpFunc{System.Exception,``1})">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Run``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
  <summary>
- Succeeds with the result of a function and applies error handling if necessary. Alias for <c>FIO.FromFunc</c>.
+ Finalizes the computation expression.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="func">The function to execute.</param>
- <param name="onError">A function to map exceptions to the error type 'E.</param>
- <returns>An FIO effect that executes the function and returns its result or an error.</returns>
+ <param name="eff">The FIO effect.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangMinus``2(``0)">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.ReturnFromFinal``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
  <summary>
- Fails immediately with the given error. Alias for <c>FIO.Fail</c>.
+ Enables <c>return!</c> as the final expression in computation expressions.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="err">The error value to fail with.</param>
- <returns>An FIO effect that fails with the given error.</returns>
+ <param name="eff">The FIO effect to return.</param>
 </member>
-<member name="M:FSharp.FIO.DSL.Ops.op_BangPlus``2(``0)">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.ReturnFrom``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
  <summary>
- Succeeds immediately with the given result. Alias for <c>FIO.Succeed</c>.
+ Enables <c>return!</c> expressions in computation expressions.
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
- <param name="res">The result value to succeed with.</param>
- <returns>An FIO effect that succeeds with the given result.</returns>
+ <param name="eff">The FIO effect to return.</param>
 </member>
-<member name="T:FSharp.FIO.DSL.Ops">
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Return``2(``0)">
  <summary>
- Provides functional operators and aliases for FIO effects, enabling idiomatic and expressive functional programming with FIO.
- Includes combinators for sequencing, mapping, error handling, concurrency, and channel operations.
+ Enables <c>return</c> expressions in computation expressions.
  </summary>
+ <param name="res">The value to return.</param>
 </member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.MergeSources5``6(FSharp.FIO.DSL.Core.FIO{``0,``5},FSharp.FIO.DSL.Core.FIO{``1,``5},FSharp.FIO.DSL.Core.FIO{``2,``5},FSharp.FIO.DSL.Core.FIO{``3,``5},FSharp.FIO.DSL.Core.FIO{``4,``5})">
+ <summary>
+ Enables <c>let! ... and! ... and! ... and! ... and! ...</c> patterns in computation expressions.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="eff'''">The fourth FIO effect.</param>
+ <param name="eff''''">The fifth FIO effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.MergeSources4``5(FSharp.FIO.DSL.Core.FIO{``0,``4},FSharp.FIO.DSL.Core.FIO{``1,``4},FSharp.FIO.DSL.Core.FIO{``2,``4},FSharp.FIO.DSL.Core.FIO{``3,``4})">
+ <summary>
+ Enables <c>let! ... and! ... and! ... and! ...</c> patterns in computation expressions.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="eff'''">The fourth FIO effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.MergeSources3``4(FSharp.FIO.DSL.Core.FIO{``0,``3},FSharp.FIO.DSL.Core.FIO{``1,``3},FSharp.FIO.DSL.Core.FIO{``2,``3})">
+ <summary>
+ Enables <c>let! ... and! ... and! ...</c> patterns in computation expressions.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.MergeSources``3(FSharp.FIO.DSL.Core.FIO{``0,``2},FSharp.FIO.DSL.Core.FIO{``1,``2})">
+ <summary>
+ Enables <c>let! ... and! ...</c> patterns in computation expressions.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Match``3(``2,Microsoft.FSharp.Core.FSharpFunc{``2,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
+ <summary>
+ Enables pattern matching in computation expressions.
+ </summary>
+ <param name="value">The value to match on.</param>
+ <param name="cases">The function mapping values to effects.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.For``2(System.Collections.Generic.IEnumerable{``0},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{Microsoft.FSharp.Core.Unit,``1}})">
+ <summary>
+ Enables <c>for...do</c> expressions in computation expressions.
+ </summary>
+ <param name="sequence">The sequence to iterate over.</param>
+ <param name="body">The function to run for each element.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Delay``2(Microsoft.FSharp.Core.FSharpFunc{Microsoft.FSharp.Core.Unit,FSharp.FIO.DSL.Core.FIO{``0,``1}})">
+ <summary>
+ Delays execution until the effect is run.
+ </summary>
+ <param name="cont">A function that produces the FIO effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Combine``3(FSharp.FIO.DSL.Core.FIO{``0,``2},FSharp.FIO.DSL.Core.FIO{``1,``2})">
+ <summary>
+ Sequences two effects, returning the result of the second.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.BindReturn``3(FSharp.FIO.DSL.Core.FIO{``0,``2},Microsoft.FSharp.Core.FSharpFunc{``0,``1})">
+ <summary>
+ Enables <c>let! ... return</c> patterns in computation expressions.
+ </summary>
+ <param name="eff">The FIO effect to bind.</param>
+ <param name="cont">The mapping function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind5Return``7(FSharp.FIO.DSL.Core.FIO{``0,``6},FSharp.FIO.DSL.Core.FIO{``1,``6},FSharp.FIO.DSL.Core.FIO{``2,``6},FSharp.FIO.DSL.Core.FIO{``3,``6},FSharp.FIO.DSL.Core.FIO{``4,``6},Microsoft.FSharp.Core.FSharpFunc{System.Tuple{``0,``1,``2,``3,``4},``5})">
+ <summary>
+ Optimized bind-and-return for five effects in <c>let! ... and! ... return</c> patterns.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="eff'''">The fourth FIO effect.</param>
+ <param name="eff''''">The fifth FIO effect.</param>
+ <param name="cont">The mapping function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind5``7(FSharp.FIO.DSL.Core.FIO{``0,``6},FSharp.FIO.DSL.Core.FIO{``1,``6},FSharp.FIO.DSL.Core.FIO{``2,``6},FSharp.FIO.DSL.Core.FIO{``3,``6},FSharp.FIO.DSL.Core.FIO{``4,``6},Microsoft.FSharp.Core.FSharpFunc{System.Tuple{``0,``1,``2,``3,``4},FSharp.FIO.DSL.Core.FIO{``5,``6}})">
+ <summary>
+ Optimized binding for five effects in <c>let! ... and! ...</c> patterns.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="eff'''">The fourth FIO effect.</param>
+ <param name="eff''''">The fifth FIO effect.</param>
+ <param name="cont">The continuation function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind4Return``6(FSharp.FIO.DSL.Core.FIO{``0,``5},FSharp.FIO.DSL.Core.FIO{``1,``5},FSharp.FIO.DSL.Core.FIO{``2,``5},FSharp.FIO.DSL.Core.FIO{``3,``5},Microsoft.FSharp.Core.FSharpFunc{System.Tuple{``0,``1,``2,``3},``4})">
+ <summary>
+ Optimized bind-and-return for four effects in <c>let! ... and! ... return</c> patterns.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="eff'''">The fourth FIO effect.</param>
+ <param name="cont">The mapping function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind4``6(FSharp.FIO.DSL.Core.FIO{``0,``5},FSharp.FIO.DSL.Core.FIO{``1,``5},FSharp.FIO.DSL.Core.FIO{``2,``5},FSharp.FIO.DSL.Core.FIO{``3,``5},Microsoft.FSharp.Core.FSharpFunc{System.Tuple{``0,``1,``2,``3},FSharp.FIO.DSL.Core.FIO{``4,``5}})">
+ <summary>
+ Optimized binding for four effects in <c>let! ... and! ...</c> patterns.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="eff'''">The fourth FIO effect.</param>
+ <param name="cont">The continuation function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind3Return``5(FSharp.FIO.DSL.Core.FIO{``0,``4},FSharp.FIO.DSL.Core.FIO{``1,``4},FSharp.FIO.DSL.Core.FIO{``2,``4},Microsoft.FSharp.Core.FSharpFunc{System.Tuple{``0,``1,``2},``3})">
+ <summary>
+ Optimized bind-and-return for three effects in <c>let! ... and! ... return</c> patterns.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="cont">The mapping function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind3``5(FSharp.FIO.DSL.Core.FIO{``0,``4},FSharp.FIO.DSL.Core.FIO{``1,``4},FSharp.FIO.DSL.Core.FIO{``2,``4},Microsoft.FSharp.Core.FSharpFunc{System.Tuple{``0,``1,``2},FSharp.FIO.DSL.Core.FIO{``3,``4}})">
+ <summary>
+ Optimized binding for three effects in <c>let! ... and! ... and! ...</c> patterns.
+ </summary>
+ <param name="eff">The first FIO effect.</param>
+ <param name="eff'">The second FIO effect.</param>
+ <param name="eff''">The third FIO effect.</param>
+ <param name="cont">The continuation function.</param>
+</member>
+<member name="M:FSharp.FIO.DSL.CE.FIOBuilder.Bind``3(FSharp.FIO.DSL.Core.FIO{``0,``2},Microsoft.FSharp.Core.FSharpFunc{``0,FSharp.FIO.DSL.Core.FIO{``1,``2}})">
+ <summary>
+ Enables <c>let!</c> bindings in computation expressions.
+ </summary>
+ <param name="eff">The FIO effect to bind.</param>
+ <param name="cont">The continuation function.</param>
+</member>
+<member name="T:FSharp.FIO.DSL.CE.FIOBuilder">
+ <summary>
+ The computation expression builder for FIO effects, enabling F# computation expression syntax (fio { ... }) for composing functional effects.
+ </summary>
+</member>
+<member name="P:FSharp.FIO.DSL.CE.fio">
+ <summary>
+ The FIO computation expression builder instance. Enables idiomatic F# computation expression syntax (fio { ... }) for composing functional effects.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.DSL.CE">
+ <summary>
+ Provides the computation expression builder for FIO, enabling idiomatic F# computation expression syntax (fio { ... }) for composing functional effects.
+ </summary>
+</member>
 <member name="M:FSharp.FIO.Runtime.FWorkerRuntime.GetWorkerConfiguration">
@@ -1031,3 +1113,2 @@ <summary>
  </summary>
- <returns>The worker configuration.</returns>
 </member>
@@ -1058,3 +1139,2 @@ <member name="T:FSharp.FIO.Runtime.FWorkerRuntime">
  </summary>
- <returns>A string suitable for file names.</returns>
 </member>
@@ -1065,6 +1145,3 @@ <member name="M:FSharp.FIO.Runtime.FRuntime.Run``2(FSharp.FIO.DSL.Core.FIO{``0,``1})">
  </summary>
- <typeparam name="R">The result type.</typeparam>
- <typeparam name="E">The error type.</typeparam>
  <param name="eff">The FIO effect to run.</param>
- <returns>A fiber representing the running effect.</returns>
 </member>
@@ -1076,7 +1153,114 @@ <member name="T:FSharp.FIO.Runtime.FRuntime">
 </member>
-<member name="T:FSharp.FIO.Runtime.Direct.Runtime">
+<member name="M:FSharp.FIO.Runtime.WorkItemPool.Return(FSharp.FIO.DSL.Core.WorkItem)">
  <summary>
- Represents the direct runtime for FIO, interpreting effects on the current thread.
+ Returns a WorkItem to the pool for reuse.
  </summary>
 </member>
+<member name="M:FSharp.FIO.Runtime.WorkItemPool.Rent(FSharp.FIO.DSL.Core.FIO{System.Object,System.Object},FSharp.FIO.DSL.Core.FiberContext,System.Collections.Generic.List{FSharp.FIO.DSL.Core.ContStackFrame})">
+ <summary>
+ Rents a WorkItem from the pool or creates a new one.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.WorkItemPool">
+ <summary>
+ Object pool for WorkItems to reduce GC pressure.
+ Thread-local pooling avoids synchronization overhead.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.ContStackPool.Return(System.Collections.Generic.List{FSharp.FIO.DSL.Core.ContStackFrame})">
+ <summary>
+ Returns a continuation stack to the pool for reuse.
+ </summary>
+ <param name="stack">The stack to return to the pool.</param>
+</member>
+<member name="M:FSharp.FIO.Runtime.ContStackPool.Rent">
+ <summary>
+ Rents a continuation stack from the pool or creates a new one.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.ContStackPool">
+ <summary>
+ Object pool for continuation stacks to reduce GC pressure.
+ Thread-local pooling avoids synchronization overhead.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.Monitor.Monitor.Stop">
+ <summary>
+ Stops the monitoring loop.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Tools.Monitor.Monitor">
+ <summary>
+ Monitor for observing runtime channel state.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Tools.Monitor">
+ <summary>
+ Runtime monitoring tool for observing channel state.
+ Note: This provides non-destructive monitoring by only reading channel counts
+ and metadata, without removing items from channels.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.DeadlockDetector.DeadlockDetector`2.Stop">
+ <summary>
+ Stops the deadlock detection loop.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.DeadlockDetector.DeadlockDetector`2.SetEvalWorkers(Microsoft.FSharp.Collections.FSharpList{`1})">
+ <summary>
+ Sets the evaluation workers to monitor.
+ </summary>
+ <param name="workers">The list of evaluation workers.</param>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.DeadlockDetector.DeadlockDetector`2.SetBlockingWorkers(Microsoft.FSharp.Collections.FSharpList{`0})">
+ <summary>
+ Sets the blocking workers to monitor.
+ </summary>
+ <param name="workers">The list of blocking workers.</param>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.DeadlockDetector.DeadlockDetector`2.RemoveBlockingItem(System.Collections.Generic.KeyValuePair{FSharp.FIO.DSL.Core.BlockingItem,Microsoft.FSharp.Core.Unit})">
+ <summary>
+ Unregisters a blocking item.
+ </summary>
+ <param name="blockingItem">The blocking item to unregister.</param>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.DeadlockDetector.DeadlockDetector`2.AddBlockingItem(FSharp.FIO.DSL.Core.BlockingItem)">
+ <summary>
+ Registers a blocking item for deadlock monitoring.
+ </summary>
+ <param name="blockingItem">The blocking item to register.</param>
+</member>
+<member name="T:FSharp.FIO.Runtime.Tools.DeadlockDetector.DeadlockDetector`2">
+ <summary>
+ Deadlock detector that monitors runtime state for potential deadlock conditions.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.Tools.DeadlockDetector.Worker.Working">
+ <summary>
+ Returns whether the worker is currently processing work.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Tools.DeadlockDetector.Worker">
+ <summary>
+ Base class for workers that can report their working state.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Tools.DeadlockDetector">
+ <summary>
+ Deadlock detection tool for monitoring runtime state and detecting potential deadlocks.
+ This implementation is non-destructive and monitors channel state without interfering.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.Direct.DirectRuntime.InterpretAsync(FSharp.FIO.DSL.Core.FIO{System.Object,System.Object},FSharp.FIO.DSL.Core.FiberContext)">
+ <summary>
+ Interprets an FIO effect asynchronously within the given fiber context.
+ </summary>
+ <param name="eff">The effect to interpret.</param>
+ <param name="currentFiberContext">The fiber context for execution.</param>
+</member>
+<member name="T:FSharp.FIO.Runtime.Direct.DirectRuntime">
+ <summary>
+ The direct runtime for FIO, interpreting effects on the current thread.
+ </summary>
+</member>
 <member name="T:FSharp.FIO.Runtime.Direct">
@@ -1087,7 +1271,47 @@ <summary>
 </member>
-<member name="T:FSharp.FIO.Runtime.Cooperative.Runtime">
+<member name="M:FSharp.FIO.Runtime.Cooperative.CooperativeRuntime.Reset">
  <summary>
- Represents the cooperative runtime for FIO, interpreting effects concurrently using work-stealing and multiple workers.
+ Resets the runtime state by clearing work item channels.
  </summary>
 </member>
+<member name="M:FSharp.FIO.Runtime.Cooperative.CooperativeRuntime.InterpretAsync(FSharp.FIO.DSL.Core.WorkItem,System.Int32,FSharp.FIO.DSL.Core.UnboundedChannel{FSharp.FIO.DSL.Core.WorkItem},FSharp.FIO.Runtime.Cooperative.BlockingWorker)">
+ <summary>
+ Interprets an FIO effect asynchronously with step-limited evaluation.
+ </summary>
+ <param name="workItem">The work item containing the effect to interpret.</param>
+ <param name="evalSteps">The maximum number of evaluation steps before rescheduling.</param>
+ <param name="activeQueue">The active work item queue for rescheduling.</param>
+ <param name="blockingWorker">The blocking worker for handling blocked effects.</param>
+</member>
+<member name="T:FSharp.FIO.Runtime.Cooperative.CooperativeRuntime">
+ <summary>
+ The cooperative runtime for FIO, interpreting effects concurrently using work-stealing.
+ </summary>
+</member>
+<member name="M:FSharp.FIO.Runtime.Cooperative.BlockingWorker.RescheduleForBlocking(FSharp.FIO.DSL.Core.BlockingItem)">
+ <summary>
+ Reschedules a work item that is blocked on a resource.
+ </summary>
+ <param name="blockingItem">The blocking item for the work item.</param>
+</member>
+<member name="T:FSharp.FIO.Runtime.Cooperative.BlockingWorker">
+ <summary>
+ Worker that handles blocked effects waiting for resources.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Cooperative.EvaluationWorker">
+ <summary>
+ Worker that evaluates FIO effects.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Cooperative.BlockingWorkerConfig">
+ <summary>
+ Configuration for a blocking worker.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Cooperative.EvaluationWorkerConfig">
+ <summary>
+ Configuration for an evaluation worker.
+ </summary>
+</member>
 <member name="T:FSharp.FIO.Runtime.Cooperative">
@@ -1098,7 +1322,45 @@ <summary>
 </member>
-<member name="T:FSharp.FIO.Runtime.Concurrent.Runtime">
+<member name="M:FSharp.FIO.Runtime.Concurrent.ConcurrentRuntime.Reset">
  <summary>
- Represents the concurrent runtime for FIO, interpreting effects using event-driven concurrency and advanced scheduling.
+ Resets the runtime state by clearing work item channels.
  </summary>
 </member>
+<member name="M:FSharp.FIO.Runtime.Concurrent.ConcurrentRuntime.InterpretAsync(FSharp.FIO.DSL.Core.WorkItem,System.Int32,FSharp.FIO.DSL.Core.UnboundedChannel{FSharp.FIO.DSL.Core.WorkItem})">
+ <summary>
+ Interprets an FIO effect asynchronously with step-limited evaluation.
+ </summary>
+ <param name="workItem">The work item containing the effect to interpret.</param>
+ <param name="evalSteps">The maximum number of evaluation steps before rescheduling.</param>
+ <param name="activeQueue">The active work item queue for rescheduling.</param>
+</member>
+<member name="T:FSharp.FIO.Runtime.Concurrent.ConcurrentRuntime">
+ <summary>
+ The concurrent runtime for FIO, interpreting effects using event-driven concurrency.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Concurrent.BlockingWorker">
+ <summary>
+ Worker that handles blocked effects waiting for channel events.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Concurrent.EvaluationWorker">
+ <summary>
+ Worker that evaluates FIO effects.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Concurrent.CompletionAction">
+ <summary>
+ Internal type for tracking deferred fiber completion.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Concurrent.BlockingWorkerConfig">
+ <summary>
+ Configuration for a blocking worker.
+ </summary>
+</member>
+<member name="T:FSharp.FIO.Runtime.Concurrent.EvaluationWorkerConfig">
+ <summary>
+ Configuration for an evaluation worker.
+ </summary>
+</member>
 <member name="T:FSharp.FIO.Runtime.Concurrent">
@@ -1109,3 +1371,15 @@ <summary>
 </member>
+<member name="T:FSharp.FIO.Runtime.Default.DefaultRuntime">
+ <summary>
+ The default and recommended runtime for FIO applications.
+ This is an alias for <see cref="FSharp.FIO.Runtime.Concurrent.ConcurrentRuntime"/>,
+ which provides the best performance for highly concurrent workloads with constant-time
+ blocked fiber handling using an event-driven architecture.
+ </summary>
+ <remarks>
+ Use this runtime unless you have specific requirements for DirectRuntime (simpler .NET Task-based)
+ or CooperativeRuntime (linear-time blocked fiber handling).
+ </remarks>
+</member>
 </members>
 </doc>

LICENSE.md

 The MIT License (MIT)
 
-Copyright (c) 2022-2025 - Daniel "iyyel" Larsen
+Copyright (c) 2022-2026 - Daniel Larsen
 
@@ -5,0 +5,0 @@ Permission is hereby granted, free of charge, to any person obtaining a copy

README.md

@@ -28,7 +28,7 @@ <a id="readme-top"></a>
     -->
-    <a href="https://iyyel.io/projects/fio/">View Project Post</a>
+    <a href="https://itsdaniel.dk/projects/fio/">View Project Post</a>
     &middot;
-    <a href="https://github.com/fio-fsharp/fio/issues/new?labels=bug&template=bug-report---.md">Report Bug</a>
+    <a href="https://github.com/fs-fio/fio/issues/new?labels=bug&template=bug-report---.md">Report Bug</a>
     &middot;
-    <a href="https://github.com/fio-fsharp/fio/issues/new?labels=enhancement&template=feature-request---.md">Request Feature</a>
+    <a href="https://github.com/fs-fio/fio/issues/new?labels=enhancement&template=feature-request---.md">Request Feature</a>
   </p>
@@ -100,8 +100,6 @@ </div>
 
-**FIO** was developed as part of a master’s thesis in Computer Science at [**DTU**](https://www.dtu.dk/english). 
+**FIO** was developed as part of a master’s thesis in Computer Science at [**DTU**](https://www.dtu.dk/english).
 
-[**Read the thesis**](https://iyyel.io/assets/doc/masters_thesis_daniel_larsen.pdf) (some parts may be outdated).
-
 > **Note:** FIO is under active development. Contributions, feedback, and questions are very welcome!  
-> Feel free to report bugs, request features or [**reach out**](mailto:[e-mail]).
+> Feel free to report bugs, request features or [**reach out**](mailto:[e-mail]).
 
@@ -381,3 +379,3 @@
 
-Daniel "iyyel" Larsen ([**iyyel.io**](https://iyyel.io))
+Daniel Larsen ([**itsdaniel.dk**](https://itsdaniel.dk))
 
@@ -409,3 +407,3 @@ <p align="right">(<a href="#readme-top">back to top</a>)</p>
 [linkedin-shield]: https://img.shields.io/badge/-LinkedIn-black.svg?style=for-the-badge&logo=linkedin&colorB=555
-[linkedin-url]: https://linkedin.com/in/iyyel
+[linkedin-url]: https://linkedin.com/in/itsdanieldk
 [product-screenshot]: images/screenshot.png
@@ -412,0 +410,0 @@ [nuget-shield]: https://img.shields.io/nuget/v/FSharp.FIO.svg?style=for-the-badge

No alert changes

No metric changes