@typed/fx 2.0.0-beta.6 → 2.0.0-beta.8

package/dist/Sink/Sink.d.ts

@@ -10,8 +10,9 @@ import * as Context from "effect/Context";
  * @remarks
  * ## Why
  * `Sink` gives an `Fx` producer one uniform destination while retaining Effect's typed service
- * requirements and complete failure `Cause`. The callback effects cannot fail: handling a value or
- * cause is the terminal consumer boundary.
+ * requirements and complete failure `Cause`. Callback Effects have no typed failure channel, but
+ * they may still defect or be interrupted. Handling an incoming Cause is the consumer's policy;
+ * accepting it successfully does not mean the failed producer operation succeeded.
  *
  * ## Ownership and lifetime
  * A sink is inert until a producer invokes one of its callbacks. The producer's fiber controls
@@ -30,7 +31,7 @@ import * as Context from "effect/Context";
  * ```
  *
  * @since 1.0.0
- * @category models
+ * @category Consumer contracts
  */
 export interface Sink<A, E = never, R = never> {
     /**
@@ -76,7 +77,7 @@ export declare namespace Sink {
      * ## Ownership and lifetime
      * This type alias acquires no resources and does not change the matched sink's lifetime.
      * @since 1.0.0
-     * @category models
+     * @category Type contracts
      */
     type Any = Sink<any, any, any>;
     /**
@@ -89,7 +90,7 @@ export declare namespace Sink {
      * ## Ownership and lifetime
      * This conditional type is compile-time only and acquires no resources.
      * @since 1.0.0
-     * @category type-level
+     * @category Type contracts
      */
     type Success<T> = T extends Sink<infer _A, infer _E, infer _R> ? _A : never;
     /**
@@ -102,7 +103,7 @@ export declare namespace Sink {
      * ## Ownership and lifetime
      * This conditional type is compile-time only and acquires no resources.
      * @since 1.0.0
-     * @category type-level
+     * @category Type contracts
      */
     type Error<T> = T extends Sink<infer _A, infer _E, infer _R> ? _E : never;
     /**
@@ -115,7 +116,7 @@ export declare namespace Sink {
      * ## Ownership and lifetime
      * This conditional type is compile-time only and acquires no resources.
      * @since 1.0.0
-     * @category type-level
+     * @category Type contracts
      */
     type Services<T> = T extends Sink<infer _A, infer _E, infer _R> ? _R : never;
     /**
@@ -139,7 +140,7 @@ export declare namespace Sink {
      * ```
      *
      * @since 1.0.0
-     * @category models
+     * @category Sink services
      */
     interface Service<Self, Id extends string, A, E> extends Sink<A, E, Self> {
         /**
@@ -204,7 +205,7 @@ export declare namespace Sink {
      * ```
      *
      * @since 1.0.0
-     * @category models
+     * @category Sink services
      */
     interface Class<Self, Id extends string, A, E> extends Service<Self, Id, A, E> {
         /**
@@ -234,7 +235,7 @@ export declare namespace Sink {
  * This conditional type is compile-time only and acquires no resources.
  *
  * @since 1.0.0
- * @category type-level
+ * @category Type contracts
  */
 export type Success<T> = Sink.Success<T>;
 /**
@@ -248,7 +249,7 @@ export type Success<T> = Sink.Success<T>;
  * This conditional type is compile-time only and acquires no resources.
  *
  * @since 1.0.0
- * @category type-level
+ * @category Type contracts
  */
 export type Error<T> = Sink.Error<T>;
 /**
@@ -262,7 +263,7 @@ export type Error<T> = Sink.Error<T>;
  * This conditional type is compile-time only and acquires no resources.
  *
  * @since 1.0.0
- * @category type-level
+ * @category Type contracts
  */
 export type Services<T> = Sink.Services<T>;
 /**
@@ -273,8 +274,9 @@ export type Services<T> = Sink.Services<T>;
  * `make` is the smallest adapter from ordinary Effect programs to an `Fx` consumer.
  *
  * ## Ownership and lifetime
- * Construction is pure and acquires nothing. Each callback runs in producer order and is
- * interrupted with the producer. Requirements from both callbacks are combined in the returned
+ * Construction is pure and acquires nothing. Callback ordering and concurrency belong to the
+ * invoking producer; this adapter adds no queue. Callbacks are interrupted with their delivery
+ * owners. Requirements from both callbacks are combined in the returned
  * sink; callback defects remain defects, while typed producer failures arrive through `onFailure`.
  *
  * @param onFailure - Callback for handling failures.
@@ -288,7 +290,7 @@ export type Services<T> = Sink.Services<T>;
  * const sink = Sink.make(Effect.logError, (value: number) => Effect.log(value))
  * ```
  * @since 1.0.0
- * @category constructors
+ * @category Sink construction
  */
 export declare function make<A, E = never, R = never, R2 = R>(onFailure: (cause: Cause.Cause<E>) => Effect<unknown, never, R>, onSuccess: (value: A) => Effect<unknown, never, R2>): Sink<A, E, R | R2>;
 export declare namespace Sink {
@@ -311,7 +313,7 @@ export declare namespace Sink {
      * const stop = (sink: Sink.Sink.WithEarlyExit<unknown, never, never>) => sink.earlyExit
      * ```
      * @since 1.0.0
-     * @category models
+     * @category Stopping delivery
      */
     interface WithEarlyExit<A, E, R> extends Sink<A, E, R> {
         /**
@@ -348,7 +350,7 @@ export declare namespace Sink {
      *   Ref.update(sink.state, (n) => n + 1)
      * ```
      * @since 1.0.0
-     * @category models
+     * @category Stateful delivery
      */
     interface WithState<A, E, R, B> extends WithEarlyExit<A, E, R> {
         /**
@@ -386,7 +388,7 @@ export declare namespace Sink {
      *   sink.updateEffect((n) => Effect.succeed(n + 1))
      * ```
      * @since 1.0.0
-     * @category models
+     * @category Stateful delivery
      */
     interface WithStateSemaphore<A, E, R, B> extends WithEarlyExit<A, E, R> {
         /**
@@ -459,7 +461,7 @@ export declare namespace Sink {
  * ```
  *
  * @since 1.0.0
- * @category constructors
+ * @category Sink services
  */
 export declare function Service<Self, A, E = never>(): <const Id extends string>(id: Id) => Sink.Class<Self, Id, A, E>;
 //# sourceMappingURL=Sink.d.ts.map

package/dist/Sink/Sink.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Sink.d.ts","sourceRoot":"","sources":["../../src/Sink/Sink.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IAC3C;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC5D;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;CAC1E;AAED,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;;;;;;;;;;OAYG;IACH,KAAY,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAEtC;;;;;;;;;;;OAWG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEnF;;;;;;;;;;;OAWG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEjF;;;;;;;;;;;OAWG;IACH,KAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEpF;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,UAAiB,OAAO,CAAC,IAAI,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;QAC9E;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;QAChB;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD;;;;;;;;;;;;;WAaG;QACH,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,KAAK,EACvB,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAC/D,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAC/C,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;KAC5C;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,UAAiB,KAAK,CAAC,IAAI,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACnF;;;;;;;;;;;;WAYG;QACH,QAAQ,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;KACjC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACzC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACrC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,GAAG,CAAC,EAClD,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAC/D,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,GAClD,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAKpB;AAED,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAiB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;KAClC;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAiB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnE;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;KACxB;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,UAAiB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5E;;;;;;;;;;;;;WAaG;QACH,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAC/B,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAC7C,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAE/B;;;;;;;;;;;;;WAaG;QACH,QAAQ,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,EAC5B,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAE/B;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;KAC/B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,MAChC,KAAK,CAAC,EAAE,SAAS,MAAM,MAAM,EAAE,KAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAsCrE"}
+{"version":3,"file":"Sink.d.ts","sourceRoot":"","sources":["../../src/Sink/Sink.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IAC3C;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC5D;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;CAC1E;AAED,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;;;;;;;;;;OAYG;IACH,KAAY,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAEtC;;;;;;;;;;;OAWG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEnF;;;;;;;;;;;OAWG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEjF;;;;;;;;;;;OAWG;IACH,KAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEpF;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,UAAiB,OAAO,CAAC,IAAI,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;QAC9E;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;QAChB;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD;;;;;;;;;;;;;WAaG;QACH,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,KAAK,EACvB,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAC/D,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAC/C,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;KAC5C;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,UAAiB,KAAK,CAAC,IAAI,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QACnF;;;;;;;;;;;;WAYG;QACH,QAAQ,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;KACjC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACzC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACrC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,GAAG,CAAC,EAClD,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAC/D,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,GAClD,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAKpB;AAED,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAiB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;KAClC;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAiB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnE;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;KACxB;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,UAAiB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5E;;;;;;;;;;;;;WAaG;QACH,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAC/B,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAC7C,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAE/B;;;;;;;;;;;;;WAaG;QACH,QAAQ,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,EAC5B,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAE/B;;;;;;;;;;;;WAYG;QACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;KAC/B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,MAChC,KAAK,CAAC,EAAE,SAAS,MAAM,MAAM,EAAE,KAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAsCrE"}

package/dist/Sink/Sink.js

@@ -9,8 +9,9 @@ import * as Context from "effect/Context";
  * `make` is the smallest adapter from ordinary Effect programs to an `Fx` consumer.
  *
  * ## Ownership and lifetime
- * Construction is pure and acquires nothing. Each callback runs in producer order and is
- * interrupted with the producer. Requirements from both callbacks are combined in the returned
+ * Construction is pure and acquires nothing. Callback ordering and concurrency belong to the
+ * invoking producer; this adapter adds no queue. Callbacks are interrupted with their delivery
+ * owners. Requirements from both callbacks are combined in the returned
  * sink; callback defects remain defects, while typed producer failures arrive through `onFailure`.
  *
  * @param onFailure - Callback for handling failures.
@@ -24,7 +25,7 @@ import * as Context from "effect/Context";
  * const sink = Sink.make(Effect.logError, (value: number) => Effect.log(value))
  * ```
  * @since 1.0.0
- * @category constructors
+ * @category Sink construction
  */
 export function make(onFailure, onSuccess) {
     return {
@@ -56,7 +57,7 @@ export function make(onFailure, onSuccess) {
  * ```
  *
  * @since 1.0.0
- * @category constructors
+ * @category Sink services
  */
 export function Service() {
     return (id) => {

package/dist/Sink/combinators.d.ts

@@ -40,7 +40,7 @@ import type { Sink } from "./Sink.js";
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transforming inputs
  */
 export declare function map<A, E, R, B>(sink: Sink<A, E, R>, f: (b: B) => A): Sink<B, E, R>;
 /**
@@ -62,7 +62,7 @@ export declare function map<A, E, R, B>(sink: Sink<A, E, R>, f: (b: B) => A): Si
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transforming inputs
  */
 export declare const mapInput: typeof map;
 /**
@@ -87,7 +87,7 @@ export declare const mapInput: typeof map;
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Failure handling
  */
 export declare function mapError<A, E, E2, R>(sink: Sink<A, E2, R>, f: (e: E) => E2): Sink<A, E, R>;
 /**
@@ -124,7 +124,7 @@ export declare function mapError<A, E, E2, R>(sink: Sink<A, E2, R>, f: (e: E) =>
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting inputs
  */
 export declare function filterMap<A, E, R, B>(sink: Sink<A, E, R>, f: (b: B) => Option.Option<A>): Sink<B, E, R>;
 /**
@@ -147,7 +147,7 @@ export declare function filterMap<A, E, R, B>(sink: Sink<A, E, R>, f: (b: B) =>
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting inputs
  */
 export declare function compact<A, E, R>(sink: Sink<A, E, R>): Sink<Option.Option<A>, E, R>;
 /**
@@ -182,7 +182,7 @@ export declare function compact<A, E, R>(sink: Sink<A, E, R>): Sink<Option.Optio
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting inputs
  */
 export declare function filter<A, E, R>(sink: Sink<A, E, R>, f: (a: A) => boolean): Sink<A, E, R>;
 /**
@@ -207,7 +207,7 @@ export declare function filter<A, E, R>(sink: Sink<A, E, R>, f: (a: A) => boolea
  * ```
  *
  * @since 1.0.0
- * @category lifecycle
+ * @category Stopping delivery
  */
 export declare function withEarlyExit<A, E, R, R2>(sink: Sink<A, E, R>, f: (sink: Sink.WithEarlyExit<A, E, R>, params: {
     signal: AbortSignal;
@@ -234,7 +234,7 @@ export declare function withEarlyExit<A, E, R, R2>(sink: Sink<A, E, R>, f: (sink
  * ```
  *
  * @since 1.0.0
- * @category lifecycle
+ * @category Stateful delivery
  */
 export declare function withState<A, E, R, B, R2>(sink: Sink<A, E, R>, state: B, f: (sink: Sink.WithState<A, E, R, B>, params: {
     signal: AbortSignal;
@@ -264,7 +264,7 @@ export declare function withState<A, E, R, B, R2>(sink: Sink<A, E, R>, state: B,
  * ```
  *
  * @since 1.0.0
- * @category lifecycle
+ * @category Stateful delivery
  */
 export declare function withStateSemaphore<A, E, R, B, R2>(sink: Sink<A, E, R>, state: B, f: (sink: Sink.WithStateSemaphore<A, E, R, B>, params: {
     signal: AbortSignal;
@@ -291,7 +291,7 @@ export declare function withStateSemaphore<A, E, R, B, R2>(sink: Sink<A, E, R>,
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful delivery
  */
 export declare const loop: {
     <B, A, C>(seed: B, f: (acc: B, a: A) => readonly [C, B]): <E, R>(sink: Sink<C, E, R>) => Sink<A, E, R>;
@@ -319,7 +319,7 @@ export declare const loop: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful failure handling
  */
 export declare const loopCause: {
     <B, A, C>(seed: B, f: (acc: B, a: Cause.Cause<A>) => readonly [Cause.Cause<C>, B]): <E, R>(sink: Sink<A, C, R>) => Sink<A, E, R>;
@@ -346,7 +346,7 @@ export declare const loopCause: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful delivery
  */
 export declare const filterMapLoop: {
     <B, A, C>(seed: B, f: (acc: B, a: A) => readonly [Option.Option<C>, B]): <E, R>(sink: Sink<C, E, R>) => Sink<A, E, R>;
@@ -373,7 +373,7 @@ export declare const filterMapLoop: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful failure handling
  */
 export declare const filterMapLoopCause: {
     <B, A, C>(seed: B, f: (acc: B, a: Cause.Cause<A>) => readonly [Option.Option<Cause.Cause<C>>, B]): <E, R>(sink: Sink<A, C, R>) => Sink<A, E, R>;
@@ -403,7 +403,7 @@ export declare const filterMapLoopCause: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful delivery
  */
 export declare const loopEffect: {
     <B, A, E2, R2, C>(seed: B, f: (acc: B, a: A) => Effect.Effect<readonly [C, B], E2, R2>): <E, R>(sink: Sink<C, E | E2, R>) => Sink<A, E | E2, R | R2>;
@@ -433,7 +433,7 @@ export declare const loopEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful delivery
  */
 export declare const filterMapLoopEffect: {
     <B, A, E2, R2, C>(seed: B, f: (acc: B, a: A) => Effect.Effect<readonly [Option.Option<C>, B], E2, R2>): <E, R>(sink: Sink<C, E, R>) => Sink<A, E | E2, R | R2>;
@@ -463,7 +463,7 @@ export declare const filterMapLoopEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful failure handling
  */
 export declare const loopCauseEffect: {
     <A, E, R2, B, C>(seed: B, f: (acc: B, a: Cause.Cause<E>) => Effect.Effect<readonly [Cause.Cause<C>, B], E, R2>): <R>(sink: Sink<A, E | C, R>) => Sink<A, E, R | R2>;
@@ -493,7 +493,7 @@ export declare const loopCauseEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Stateful failure handling
  */
 export declare function filterMapLoopCauseEffect<A, E, R, B, E2, R2, C>(sink: Sink<A, E2 | C, R>, seed: B, f: (acc: B, a: Cause.Cause<E>) => Effect.Effect<readonly [Option.Option<Cause.Cause<C>>, B], E2, R2>): Sink<A, E, R | R2>;
 /**
@@ -514,7 +514,7 @@ export declare function filterMapLoopCauseEffect<A, E, R, B, E2, R2, C>(sink: Si
  * ```
  *
  * @since 1.0.0
- * @category models
+ * @category Operator options
  */
 export interface Bounds {
     /**
@@ -568,7 +568,7 @@ export interface Bounds {
  * ```
  *
  * @since 1.0.0
- * @category lifecycle
+ * @category Stopping delivery
  */
 export declare const slice: {
     <A, E, R, R2>(bounds: Bounds, f: (sink: Sink<A, E, R>) => Effect.Effect<unknown, never, R2>): (sink: Sink<A, E, R>) => Effect.Effect<void, never, R | R2>;
@@ -596,7 +596,7 @@ export declare const slice: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transforming inputs
  */
 export declare const mapEffect: {
     <B, A, E2, R2>(f: (b: B) => Effect.Effect<A, E2, R2>): <E, R>(sink: Sink<A, E | E2, R>) => Sink<B, E | E2, R | R2>;
@@ -621,7 +621,7 @@ export declare const mapEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transforming inputs
  */
 export declare const mapInputEffect: {
     <B, A, E2, R2>(f: (b: B) => Effect.Effect<A, E2, R2>): <E, R>(sink: Sink<A, E | E2, R>) => Sink<B, E | E2, R | R2>;
@@ -648,7 +648,7 @@ export declare const mapInputEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting inputs
  */
 export declare const filterMapEffect: {
     <B, A, E2, R2>(f: (b: B) => Effect.Effect<Option.Option<A>, E2, R2>): <E, R>(sink: Sink<A, E | E2, R>) => Sink<B, E | E2, R | R2>;
@@ -674,7 +674,7 @@ export declare const filterMapEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting inputs
  */
 export declare const filterEffect: {
     <A, E2, R2>(f: (a: A) => Effect.Effect<boolean, E2, R2>): <E, R>(sink: Sink<A, E | E2, R>) => Sink<A, E | E2, R | R2>;
@@ -701,7 +701,7 @@ export declare const filterEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transforming inputs
  */
 export declare const tapEffect: {
     <A, E2, R2>(f: (a: A) => Effect.Effect<unknown, E2, R2>): <E, R>(sink: Sink<A, E | E2, R>) => Sink<A, E | E2, R | R2>;
@@ -729,7 +729,7 @@ export declare const tapEffect: {
  * ```
  *
  * @since 1.0.0
- * @category errors
+ * @category Failure handling
  */
 export declare const flip: <A, E, R>(sink: Sink<A, E, R>) => Sink<E, A, R>;
 /**
@@ -751,7 +751,7 @@ export declare const flip: <A, E, R>(sink: Sink<A, E, R>) => Sink<E, A, R>;
  * ```
  *
  * @since 1.0.0
- * @category errors
+ * @category Failure handling
  */
 export declare const exit: <A, E, R>(sink: Sink<Exit.Exit<A, E>, never, R>) => ExitSink<A, E, R>;
 declare class ExitSink<A, E, R> implements Sink<A, E, R> {
@@ -782,7 +782,7 @@ declare class ExitSink<A, E, R> implements Sink<A, E, R> {
  * ```
  *
  * @since 1.0.0
- * @category lifecycle
+ * @category Stopping delivery
  */
 export declare const dropAfter: {
     <A, E, R, R2>(sink: Sink<A, E, R>, predicate: Predicate<A>, f: (sink: Sink<A, E, R>) => Effect.Effect<unknown, E, R2>): Effect.Effect<void, never, R | R2>;
@@ -808,7 +808,7 @@ export declare const dropAfter: {
  * ```
  *
  * @since 1.0.0
- * @category errors
+ * @category Failure handling
  */
 export declare const skipInterrupt: <A, E, R>(sink: Sink<A, E, R>) => Sink<A, E, R>;
 /**
@@ -837,7 +837,7 @@ export declare const skipInterrupt: <A, E, R>(sink: Sink<A, E, R>) => Sink<A, E,
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Collecting values
  */
 export declare function reduce<A, B, E>(ref: Ref.Ref<B>, f: (b: B, a: A) => B): Sink<A, E, never>;
 /**
@@ -868,7 +868,7 @@ export declare function reduce<A, B, E>(ref: Ref.Ref<B>, f: (b: B, a: A) => B):
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Collecting values
  */
 export declare function reduceEffect<A, B, E, E2, R2>(ref: Ref.Ref<B>, f: (b: B, a: A) => Effect.Effect<B, E2, R2>): Sink<A, E | E2, R2>;
 /**
@@ -896,7 +896,7 @@ export declare function reduceEffect<A, B, E, E2, R2>(ref: Ref.Ref<B>, f: (b: B,
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Collecting values
  */
 export declare function collect<A, E>(ref: Ref.Ref<ReadonlyArray<A>>): Sink<A, E, never>;
 /**
@@ -923,7 +923,7 @@ export declare function collect<A, E>(ref: Ref.Ref<ReadonlyArray<A>>): Sink<A, E
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Collecting values
  */
 export declare function head<A, E>(ref: Ref.Ref<Option.Option<A>>): Sink<A, E, never>;
 /**
@@ -950,7 +950,7 @@ export declare function head<A, E>(ref: Ref.Ref<Option.Option<A>>): Sink<A, E, n
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Collecting values
  */
 export declare function last<A, E>(ref: Ref.Ref<Option.Option<A>>): Sink<A, E, never>;
 export {};