@typed/fx 2.0.0-beta.1 → 2.0.0-beta.10

package/dist/Fx/combinators/skipRepeatsWith.js

@@ -7,10 +7,27 @@ import { make } from "../constructors/make.js";
 /**
  * Drops elements that are equal to the previous element using a custom equivalence function.
  *
+ * @remarks
+ * ## Why
+ * `skipRepeatsWith` defines consecutive equality for values that need domain-specific comparison.
+ * It compares against the last emitted value, emits the first value, and otherwise preserves order.
+ *
+ * ## Ownership and lifetime
+ * The per-run previous-value state is updated atomically and released when observation ends. The
+ * pure equivalence adds no failures or services and acquires no resource.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ *
+ * const byId = Fx.skipRepeatsWith<{ id: number }>((a, b) => a.id === b.id)
+ * const changes = Fx.fromIterable([{ id: 1 }, { id: 1 }, { id: 2 }]).pipe(byId)
+ * ```
+ *
  * @param Eq - The equivalence function to use.
  * @returns An `Fx` with consecutive duplicates removed.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const skipRepeatsWith = (Eq) => (fx) => make((sink) => sinkCore.withState(sink, Option.none(), (sink) => fx.run(makeSink(sink.onFailure, (a2) => Effect.flatten(Ref.modify(sink.state, Option.match({
     onNone: () => [sink.onSuccess(a2), Option.some(a2)],

package/dist/Fx/combinators/skipWhile.d.ts

@@ -4,10 +4,25 @@ import type { Fx } from "../Fx.js";
  * Skips elements from an Fx while a predicate returns true.
  * Emits from the first element for which the predicate returns false (including that element) and all following elements.
  *
+ * @remarks
+ * ## Why
+ * `skipWhile` discards only the longest matching prefix. The first false value opens the gate and is
+ * emitted; later values are forwarded without re-running the predicate.
+ *
+ * ## Ownership and lifetime
+ * One boolean gate is owned by each run and then discarded. No resource is acquired and source
+ * errors, services, and interruption are preserved.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * const values = Fx.fromIterable([1, 2, 1]).pipe(Fx.skipWhile((n) => n < 2))
+ * ```
+ *
  * @param predicate - The predicate function.
  * @returns An `Fx` that emits once the predicate first fails.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const skipWhile: {
     <A>(predicate: (a: A) => boolean): <E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
@@ -17,10 +32,36 @@ export declare const skipWhile: {
  * Skips elements from an Fx while an effectful predicate returns true.
  * Emits from the first element for which the predicate effect succeeds with false (including that element) and all following elements.
  *
+ * @remarks
+ * ## Why
+ * `skipWhileEffect` performs Effectful prefix decisions. The gate opens at the first false result,
+ * but the implementation eagerly constructs and runs `predicate(a)` before reading that gate, so
+ * the predicate still runs for every later input even though those values are always forwarded.
+ *
+ * ## Ownership and lifetime
+ * The gate belongs to one run, while predicate invocation inherits the producer's ordering and
+ * concurrency. Predicate failure is delivered even after the gate opened; services remain required
+ * and interruption cancels whichever callback Effects the producer attached to the run.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Ref } from "effect"
+ * import { Fx } from "@typed/fx"
+ * const program = Effect.gen(function* () {
+ *   const checks = yield* Ref.make(0)
+ *   const values = yield* Fx.collectAll(
+ *     Fx.fromIterable([2, 3]).pipe(
+ *       Fx.skipWhileEffect((n) => Ref.update(checks, (count) => count + 1).pipe(Effect.as(n < 2)))
+ *     )
+ *   )
+ *   return { values, checks: yield* Ref.get(checks) } // { values: [2, 3], checks: 2 }
+ * })
+ * ```
+ *
  * @param predicate - Effectful predicate function.
  * @returns An `Fx` that emits once the predicate first fails.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const skipWhileEffect: {
     <A, E2, R2>(predicate: (a: A) => Effect.Effect<boolean, E2, R2>): <E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, R | R2>;
@@ -29,8 +70,21 @@ export declare const skipWhileEffect: {
 /**
  * Alias of `skipWhile` for Effect parity (`dropWhile` naming).
  *
+ * @remarks
+ * ## Why
+ * `dropWhile` provides Effect Stream naming for the same prefix-dropping behavior as `skipWhile`.
+ *
+ * ## Ownership and lifetime
+ * This alias has exactly `skipWhile`'s per-run gate and acquires no additional resource.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * const values = Fx.fromIterable([0, 1]).pipe(Fx.dropWhile((n) => n === 0))
+ * ```
+ *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const dropWhile: {
     <A>(predicate: (a: A) => boolean): <E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
@@ -39,8 +93,22 @@ export declare const dropWhile: {
 /**
  * Alias of `skipWhileEffect` for Effect parity (`dropWhileEffect` naming).
  *
+ * @remarks
+ * ## Why
+ * `dropWhileEffect` provides Effect Stream naming for Effectful prefix dropping.
+ *
+ * ## Ownership and lifetime
+ * This alias retains `skipWhileEffect`'s failure, service, state, and interruption semantics.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ * const values = Fx.fromIterable([0, 1]).pipe(Fx.dropWhileEffect((n) => Effect.succeed(n === 0)))
+ * ```
+ *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const dropWhileEffect: {
     <A, E2, R2>(predicate: (a: A) => Effect.Effect<boolean, E2, R2>): <E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, R | R2>;

package/dist/Fx/combinators/skipWhile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"skipWhile.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/skipWhile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;GAQG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAoBvE,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,EAAE;IAC5B,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EACR,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACd,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACf,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;CA2B1B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,SAAS;KA1EnB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACxE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAyErC,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,eAAe;KAjDzB,CAAC,EAAE,EAAE,EAAE,EAAE,aACG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;KAClD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,MACV,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,aACJ,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;CA2CoB,CAAC"}
+{"version":3,"file":"skipWhile.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/skipWhile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAkBvE,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,eAAO,MAAM,eAAe,EAAE;IAC5B,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EACR,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACd,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACf,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;CA2B1B,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,SAAS;KA/GnB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACxE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CA8GrC,CAAC;AAEnC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,eAAe;KA5EzB,CAAC,EAAE,EAAE,EAAE,EAAE,aACG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;KAClD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,MACV,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,aACJ,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;CAsEoB,CAAC"}

package/dist/Fx/combinators/skipWhile.js

@@ -7,10 +7,25 @@ import { make as makeSink } from "../../Sink/Sink.js";
  * Skips elements from an Fx while a predicate returns true.
  * Emits from the first element for which the predicate returns false (including that element) and all following elements.
  *
+ * @remarks
+ * ## Why
+ * `skipWhile` discards only the longest matching prefix. The first false value opens the gate and is
+ * emitted; later values are forwarded without re-running the predicate.
+ *
+ * ## Ownership and lifetime
+ * One boolean gate is owned by each run and then discarded. No resource is acquired and source
+ * errors, services, and interruption are preserved.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * const values = Fx.fromIterable([1, 2, 1]).pipe(Fx.skipWhile((n) => n < 2))
+ * ```
+ *
  * @param predicate - The predicate function.
  * @returns An `Fx` that emits once the predicate first fails.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const skipWhile = dual(2, (fx, predicate) => makeFx((sink) => Effect.gen(function* () {
     const skippingRef = yield* Ref.make(true);
@@ -29,10 +44,36 @@ export const skipWhile = dual(2, (fx, predicate) => makeFx((sink) => Effect.gen(
  * Skips elements from an Fx while an effectful predicate returns true.
  * Emits from the first element for which the predicate effect succeeds with false (including that element) and all following elements.
  *
+ * @remarks
+ * ## Why
+ * `skipWhileEffect` performs Effectful prefix decisions. The gate opens at the first false result,
+ * but the implementation eagerly constructs and runs `predicate(a)` before reading that gate, so
+ * the predicate still runs for every later input even though those values are always forwarded.
+ *
+ * ## Ownership and lifetime
+ * The gate belongs to one run, while predicate invocation inherits the producer's ordering and
+ * concurrency. Predicate failure is delivered even after the gate opened; services remain required
+ * and interruption cancels whichever callback Effects the producer attached to the run.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Ref } from "effect"
+ * import { Fx } from "@typed/fx"
+ * const program = Effect.gen(function* () {
+ *   const checks = yield* Ref.make(0)
+ *   const values = yield* Fx.collectAll(
+ *     Fx.fromIterable([2, 3]).pipe(
+ *       Fx.skipWhileEffect((n) => Ref.update(checks, (count) => count + 1).pipe(Effect.as(n < 2)))
+ *     )
+ *   )
+ *   return { values, checks: yield* Ref.get(checks) } // { values: [2, 3], checks: 2 }
+ * })
+ * ```
+ *
  * @param predicate - Effectful predicate function.
  * @returns An `Fx` that emits once the predicate first fails.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const skipWhileEffect = dual(2, (fx, predicate) => makeFx((sink) => Effect.gen(function* () {
     const skippingRef = yield* Ref.make(true);
@@ -53,14 +94,41 @@ export const skipWhileEffect = dual(2, (fx, predicate) => makeFx((sink) => Effec
 /**
  * Alias of `skipWhile` for Effect parity (`dropWhile` naming).
  *
+ * @remarks
+ * ## Why
+ * `dropWhile` provides Effect Stream naming for the same prefix-dropping behavior as `skipWhile`.
+ *
+ * ## Ownership and lifetime
+ * This alias has exactly `skipWhile`'s per-run gate and acquires no additional resource.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * const values = Fx.fromIterable([0, 1]).pipe(Fx.dropWhile((n) => n === 0))
+ * ```
+ *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const dropWhile = skipWhile;
 /**
  * Alias of `skipWhileEffect` for Effect parity (`dropWhileEffect` naming).
  *
+ * @remarks
+ * ## Why
+ * `dropWhileEffect` provides Effect Stream naming for Effectful prefix dropping.
+ *
+ * ## Ownership and lifetime
+ * This alias retains `skipWhileEffect`'s failure, service, state, and interruption semantics.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ * const values = Fx.fromIterable([0, 1]).pipe(Fx.dropWhileEffect((n) => Effect.succeed(n === 0)))
+ * ```
+ *
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const dropWhileEffect = skipWhileEffect;

package/dist/Fx/combinators/slice.d.ts

@@ -2,20 +2,85 @@ import * as Effect from "effect/Effect";
 import type { Fx } from "../Fx.js";
 /**
  * Defines the bounds for slicing an Fx stream.
+ *
+ * @remarks
+ * ## Why
+ * `Bounds` keeps the two independent slice decisions explicit: `skip` counts discarded prefix
+ * values and `take` bounds the following output.
+ *
+ * ## Ownership and lifetime
+ * This immutable model acquires no resources. A consumer decides how to normalize unusual numeric
+ * values when applying it.
+ *
+ * @example
+ * ```ts
+ * import type { Fx } from "@typed/fx"
+ *
+ * const page: Fx.Bounds = { skip: 20, take: 10 }
+ * ```
  * @since 1.0.0
- * @category models
+ * @category Operator options
  */
 export interface Bounds {
+    /**
+     * Number of source values discarded before the slice can emit.
+     *
+     * @remarks
+     * ## Why
+     * Keeping the prefix count separate from `take` permits windows that begin anywhere in a source.
+     *
+     * ## Ownership and lifetime
+     * This number stores no state and acquires no resources; `slice` copies it into a per-run counter.
+     *
+     * @example
+     * ```ts
+     * import type { Fx } from "@typed/fx"
+     * const bounds: Fx.Bounds = { skip: 2, take: 1 }
+     * ```
+     */
     readonly skip: number;
+    /**
+     * Maximum number of values emitted after the skipped prefix.
+     *
+     * @remarks
+     * ## Why
+     * The output bound makes early completion explicit without buffering the selected values.
+     *
+     * ## Ownership and lifetime
+     * This number stores no state and acquires no resources; `slice` owns the corresponding counter
+     * only for the duration of one run.
+     *
+     * @example
+     * ```ts
+     * import type { Fx } from "@typed/fx"
+     * const bounds: Fx.Bounds = { skip: 0, take: 10 }
+     * ```
+     */
     readonly take: number;
 }
 /**
  * Slices an Fx by skipping a number of elements and then taking a number of elements.
  *
+ * @remarks
+ * ## Why
+ * `slice` expresses prefix omission and bounded output in one counter. It retains source order,
+ * emits at most `take` values after `skip`, and completes early once that bound is reached.
+ *
+ * ## Ownership and lifetime
+ * Counters are local to one run. Early completion stops upstream work; otherwise source failure,
+ * services, and consumer interruption are forwarded.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ *
+ * const page = Fx.fromIterable([1, 2, 3, 4]).pipe(Fx.slice({ skip: 1, take: 2 }))
+ * ```
+ *
  * @param bounds - The `Bounds` specifying how many elements to skip and take.
  * @returns An `Fx` representing the slice.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const slice: {
     (bounds: Bounds): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
@@ -24,10 +89,27 @@ export declare const slice: {
 /**
  * Slices an Fx with bounds produced by an Effect.
  *
+ * @remarks
+ * ## Why
+ * `sliceEffect` delays selection of the bounds until consumption, allowing configuration to fail or
+ * require services before the source is subscribed.
+ *
+ * ## Ownership and lifetime
+ * The bounds Effect runs once per consumer. If it fails or is interrupted the source never starts;
+ * after success, ordinary `slice` owns only its per-run counters.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ *
+ * const page = Fx.fromIterable([1, 2, 3]).pipe(Fx.sliceEffect(Effect.succeed({ skip: 1, take: 1 })))
+ * ```
+ *
  * @param bounds - Effect that produces slice bounds.
  * @returns An `Fx` representing the slice.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const sliceEffect: {
     <E2, R2>(bounds: Effect.Effect<Bounds, E2, R2>): <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E | E2, R | R2>;

package/dist/Fx/combinators/slice.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"slice.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/slice.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;GAIG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5D,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAKzD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,EAAE,EAAE,EAAE,EACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;CAOlG,CAAC"}
+{"version":3,"file":"slice.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/slice.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,MAAM;IACrB;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5D,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAGzD,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,EAAE,EAAE,EAAE,EACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;CAOlG,CAAC"}

package/dist/Fx/combinators/slice.js

@@ -6,18 +6,51 @@ import { unwrap } from "./unwrap.js";
 /**
  * Slices an Fx by skipping a number of elements and then taking a number of elements.
  *
+ * @remarks
+ * ## Why
+ * `slice` expresses prefix omission and bounded output in one counter. It retains source order,
+ * emits at most `take` values after `skip`, and completes early once that bound is reached.
+ *
+ * ## Ownership and lifetime
+ * Counters are local to one run. Early completion stops upstream work; otherwise source failure,
+ * services, and consumer interruption are forwarded.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ *
+ * const page = Fx.fromIterable([1, 2, 3, 4]).pipe(Fx.slice({ skip: 1, take: 2 }))
+ * ```
+ *
  * @param bounds - The `Bounds` specifying how many elements to skip and take.
  * @returns An `Fx` representing the slice.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const slice = dual(2, (fx, bounds) => make((sink) => sinkCore.slice(sink, bounds, (sink) => fx.run(sink))));
 /**
  * Slices an Fx with bounds produced by an Effect.
  *
+ * @remarks
+ * ## Why
+ * `sliceEffect` delays selection of the bounds until consumption, allowing configuration to fail or
+ * require services before the source is subscribed.
+ *
+ * ## Ownership and lifetime
+ * The bounds Effect runs once per consumer. If it fails or is interrupted the source never starts;
+ * after success, ordinary `slice` owns only its per-run counters.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ *
+ * const page = Fx.fromIterable([1, 2, 3]).pipe(Fx.sliceEffect(Effect.succeed({ skip: 1, take: 1 })))
+ * ```
+ *
  * @param bounds - Effect that produces slice bounds.
  * @returns An `Fx` representing the slice.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const sliceEffect = dual(2, (fx, bounds) => unwrap(Effect.map(bounds, (b) => slice(fx, b))));

package/dist/Fx/combinators/switchMap.d.ts

@@ -4,10 +4,48 @@ import type { FlatMapLike } from "./flatMap.js";
  *
  * When a new element is emitted, the previous inner Fx is cancelled.
  *
+ * @remarks
+ * ## Why
+ *
+ * `switchMap` models work whose result becomes obsolete when a newer source
+ * value arrives, such as suggestions for the current query. Cancellation is the
+ * policy: obsolete work is not allowed to finish in the background.
+ *
+ * ## Switching, ordering, and cardinality
+ *
+ * Every source value calls `f`. Before the new inner starts, the previous inner
+ * is interrupted and its interruption is awaited. Only the latest inner remains
+ * active; values it emitted before replacement remain visible, while later
+ * values from the replaced inner are suppressed. There is no result buffer.
+ *
+ * ## Ownership and lifetime
+ *
+ * Source and current-inner failures are forwarded and their services remain
+ * typed. The returned Fx requires `Scope`, which owns the current inner fiber.
+ * Source completion waits for the latest inner. Replacing or interrupting the
+ * output closes obsolete inner work and runs its scoped finalizers before the
+ * replacement proceeds.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * import { Effect } from "effect"
+ *
+ * const queries = Fx.mergeAll(
+ *   Fx.at("typed", "0 millis"),
+ *   Fx.at("typed fx", "5 millis")
+ * )
+ * const suggestions = Fx.switchMap(queries, (query) =>
+ *   Fx.ensuring(Fx.at(query, "20 millis"), Effect.log(`${query} closed`))
+ * )
+ * Effect.runPromise(Effect.scoped(Fx.collectAll(suggestions))).then(console.log)
+ * // logs cleanup for "typed" and resolves ["typed fx"]
+ * ```
+ *
  * @param f - A function that maps an element `A` to a new `Fx<B>`.
  * @returns An `Fx` that emits values from the latest inner stream.
  * @since 1.0.0
- * @category combinators
+ * @category Concurrent work
  */
 export declare const switchMap: FlatMapLike;
 //# sourceMappingURL=switchMap.d.ts.map

package/dist/Fx/combinators/switchMap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"switchMap.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/switchMap.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,EAAE,WAgCvB,CAAC"}
+{"version":3,"file":"switchMap.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/switchMap.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,eAAO,MAAM,SAAS,EAAE,WAgCvB,CAAC"}

package/dist/Fx/combinators/switchMap.js

@@ -2,7 +2,7 @@ import * as Effect from "effect/Effect";
 import * as Fiber from "effect/Fiber";
 import { dual } from "effect/Function";
 import * as Scope from "effect/Scope";
-import * as ServiceMap from "effect/ServiceMap";
+import * as Context from "effect/Context";
 import * as SyncronizedRef from "effect/SynchronizedRef";
 import { make as makeSink } from "../../Sink/Sink.js";
 import { make } from "../constructors/make.js";
@@ -12,16 +12,54 @@ import { extendScope } from "../internal/scope.js";
  *
  * When a new element is emitted, the previous inner Fx is cancelled.
  *
+ * @remarks
+ * ## Why
+ *
+ * `switchMap` models work whose result becomes obsolete when a newer source
+ * value arrives, such as suggestions for the current query. Cancellation is the
+ * policy: obsolete work is not allowed to finish in the background.
+ *
+ * ## Switching, ordering, and cardinality
+ *
+ * Every source value calls `f`. Before the new inner starts, the previous inner
+ * is interrupted and its interruption is awaited. Only the latest inner remains
+ * active; values it emitted before replacement remain visible, while later
+ * values from the replaced inner are suppressed. There is no result buffer.
+ *
+ * ## Ownership and lifetime
+ *
+ * Source and current-inner failures are forwarded and their services remain
+ * typed. The returned Fx requires `Scope`, which owns the current inner fiber.
+ * Source completion waits for the latest inner. Replacing or interrupting the
+ * output closes obsolete inner work and runs its scoped finalizers before the
+ * replacement proceeds.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * import { Effect } from "effect"
+ *
+ * const queries = Fx.mergeAll(
+ *   Fx.at("typed", "0 millis"),
+ *   Fx.at("typed fx", "5 millis")
+ * )
+ * const suggestions = Fx.switchMap(queries, (query) =>
+ *   Fx.ensuring(Fx.at(query, "20 millis"), Effect.log(`${query} closed`))
+ * )
+ * Effect.runPromise(Effect.scoped(Fx.collectAll(suggestions))).then(console.log)
+ * // logs cleanup for "typed" and resolves ["typed fx"]
+ * ```
+ *
  * @param f - A function that maps an element `A` to a new `Fx<B>`.
  * @returns An `Fx` that emits values from the latest inner stream.
  * @since 1.0.0
- * @category combinators
+ * @category Concurrent work
  */
 export const switchMap = dual(2, (self, f) => make(Effect.fn(function* (sink) {
-    const ctx = yield* Effect.services();
-    const scope = ServiceMap.get(ctx, Scope.Scope);
+    const ctx = yield* Effect.context();
+    const scope = Context.get(ctx, Scope.Scope);
     const fiberRef = yield* SyncronizedRef.make(null);
-    const next = (value) => Effect.forkIn(Effect.provideServices(f(value).run(sink), ctx), scope, {
+    const next = (value) => Effect.forkIn(Effect.provideContext(f(value).run(sink), ctx), scope, {
         startImmediately: false,
         uninterruptible: false,
     });

package/dist/Fx/combinators/switchMapEffect.d.ts

@@ -4,10 +4,47 @@ import type { FlatMapEffectLike } from "./flatMapEffect.js";
  *
  * When a new element is emitted, the previous effect is cancelled.
  *
+ * @remarks
+ * ## Why
+ *
+ * This is the Effect-producing form of {@link switchMap}. It makes latest-only
+ * Effect execution explicit without wrapping callbacks with `Fx.fromEffect`.
+ *
+ * ## Switching and cardinality
+ *
+ * Every source value creates one callback Effect. A new value interrupts and
+ * awaits the previous Effect before starting its replacement. Each Effect can
+ * emit one successful result, but an interrupted Effect may emit none.
+ *
+ * ## Ownership and lifetime
+ *
+ * Source and current callback failures remain typed and callback services are
+ * added to requirements. The required `Scope` owns the current Effect. Source
+ * completion waits for it; replacement and output interruption run its
+ * finalizers before relinquishing the lifetime.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * import { Effect } from "effect"
+ *
+ * const queries = Fx.mergeAll(
+ *   Fx.at("a", "0 millis"),
+ *   Fx.at("ab", "5 millis")
+ * )
+ * const result = Fx.switchMapEffect(queries, (query) =>
+ *   Effect.as(Effect.sleep("20 millis"), query).pipe(
+ *     Effect.ensuring(Effect.log(`${query} closed`))
+ *   )
+ * )
+ * Effect.runPromise(Effect.scoped(Fx.collectAll(result))).then(console.log)
+ * // ["ab"]
+ * ```
+ *
  * @param f - A function that maps an element `A` to an `Effect<B>`.
  * @returns An `Fx` that emits the results of the latest effect.
  * @since 1.0.0
- * @category combinators
+ * @category Concurrent work
  */
 export declare const switchMapEffect: FlatMapEffectLike;
 //# sourceMappingURL=switchMapEffect.d.ts.map

package/dist/Fx/combinators/switchMapEffect.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"switchMapEffect.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/switchMapEffect.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAG5D;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,EAAE,iBAM7B,CAAC"}
+{"version":3,"file":"switchMapEffect.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/switchMapEffect.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAG5D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,eAAO,MAAM,eAAe,EAAE,iBAM7B,CAAC"}

package/dist/Fx/combinators/switchMapEffect.js

@@ -6,9 +6,46 @@ import { switchMap } from "./switchMap.js";
  *
  * When a new element is emitted, the previous effect is cancelled.
  *
+ * @remarks
+ * ## Why
+ *
+ * This is the Effect-producing form of {@link switchMap}. It makes latest-only
+ * Effect execution explicit without wrapping callbacks with `Fx.fromEffect`.
+ *
+ * ## Switching and cardinality
+ *
+ * Every source value creates one callback Effect. A new value interrupts and
+ * awaits the previous Effect before starting its replacement. Each Effect can
+ * emit one successful result, but an interrupted Effect may emit none.
+ *
+ * ## Ownership and lifetime
+ *
+ * Source and current callback failures remain typed and callback services are
+ * added to requirements. The required `Scope` owns the current Effect. Source
+ * completion waits for it; replacement and output interruption run its
+ * finalizers before relinquishing the lifetime.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ * import { Effect } from "effect"
+ *
+ * const queries = Fx.mergeAll(
+ *   Fx.at("a", "0 millis"),
+ *   Fx.at("ab", "5 millis")
+ * )
+ * const result = Fx.switchMapEffect(queries, (query) =>
+ *   Effect.as(Effect.sleep("20 millis"), query).pipe(
+ *     Effect.ensuring(Effect.log(`${query} closed`))
+ *   )
+ * )
+ * Effect.runPromise(Effect.scoped(Fx.collectAll(result))).then(console.log)
+ * // ["ab"]
+ * ```
+ *
  * @param f - A function that maps an element `A` to an `Effect<B>`.
  * @returns An `Fx` that emits the results of the latest effect.
  * @since 1.0.0
- * @category combinators
+ * @category Concurrent work
  */
 export const switchMapEffect = dual(2, (self, f) => switchMap(self, flow(f, fromEffect)));