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

package/dist/Fx/combinators/skip.js

@@ -1,11 +1,53 @@
+import * as Effect from "effect/Effect";
 import { dual } from "effect/Function";
 import { slice } from "./slice.js";
+import { unwrap } from "./unwrap.js";
 /**
  * Skips the first `n` elements of an Fx.
  *
+ * @remarks
+ * ## Why
+ * `skip` discards only the first `n` pushes, then forwards every later value in source order.
+ *
+ * ## Ownership and lifetime
+ * A counter is local to each run and no resource is acquired. Completion, failure, services, and
+ * interruption otherwise follow the source.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ *
+ * const tail = Fx.fromIterable([1, 2, 3]).pipe(Fx.skip(1))
+ * ```
+ *
  * @param n - The number of elements to skip.
  * @returns An `Fx` that emits values after the first `n` elements.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const skip = dual(2, (fx, n) => slice(fx, { skip: n, take: Infinity }));
+/**
+ * Skips the first `n` elements where `n` is produced by an Effect.
+ *
+ * @remarks
+ * ## Why
+ * `skipEffect` obtains the prefix length at consumption time before subscribing to the source.
+ *
+ * ## Ownership and lifetime
+ * The count Effect runs once per run and can fail, require services, or be interrupted. The source
+ * is acquired only after the count succeeds.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ *
+ * const tail = Fx.fromIterable([1, 2]).pipe(Fx.skipEffect(Effect.succeed(1)))
+ * ```
+ *
+ * @param count - Effect that produces the number of elements to skip.
+ * @returns An `Fx` that emits values after the first `n` elements.
+ * @since 1.0.0
+ * @category Selecting values
+ */
+export const skipEffect = dual(2, (fx, count) => unwrap(Effect.map(count, (n) => skip(fx, n))));

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

@@ -2,10 +2,26 @@ import type { Fx } from "../Fx.js";
 /**
  * Drops elements that are equal to the previous element using standard equality.
  *
+ * @remarks
+ * ## Why
+ * `skipRepeats` removes only consecutive duplicates using Effect's structural equality. The first
+ * value always emits; distinct values remain ordered, and a value may emit again after a change.
+ *
+ * ## Ownership and lifetime
+ * One previous value is retained for each run and released when it ends. The operation owns no
+ * external resource and preserves source errors, services, and interruption.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ *
+ * const distinctRuns = Fx.fromIterable([1, 1, 2, 1]).pipe(Fx.skipRepeats)
+ * ```
+ *
  * @param fx - The `Fx` stream.
  * @returns An `Fx` with consecutive duplicates removed.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export declare const skipRepeats: <A, E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
 //# sourceMappingURL=skipRepeats.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"skipRepeats.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/skipRepeats.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAKnC;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,EAAE,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,CAAgB,CAAC"}
+{"version":3,"file":"skipRepeats.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/skipRepeats.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAKnC;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,WAAW,EAAE,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,CAAgB,CAAC"}

package/dist/Fx/combinators/skipRepeats.js

@@ -4,9 +4,25 @@ const skipRepeats_ = skipRepeatsWith(equals);
 /**
  * Drops elements that are equal to the previous element using standard equality.
  *
+ * @remarks
+ * ## Why
+ * `skipRepeats` removes only consecutive duplicates using Effect's structural equality. The first
+ * value always emits; distinct values remain ordered, and a value may emit again after a change.
+ *
+ * ## Ownership and lifetime
+ * One previous value is retained for each run and released when it ends. The operation owns no
+ * external resource and preserves source errors, services, and interruption.
+ *
+ * @example
+ * ```ts
+ * import { Fx } from "@typed/fx"
+ *
+ * const distinctRuns = Fx.fromIterable([1, 1, 2, 1]).pipe(Fx.skipRepeats)
+ * ```
+ *
  * @param fx - The `Fx` stream.
  * @returns An `Fx` with consecutive duplicates removed.
  * @since 1.0.0
- * @category combinators
+ * @category Selecting values
  */
 export const skipRepeats = skipRepeats_;

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

@@ -3,10 +3,27 @@ import type { Fx } from "../Fx.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 declare const skipRepeatsWith: <A>(Eq: Equivalence.Equivalence<A>) => <E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
 //# sourceMappingURL=skipRepeatsWith.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"skipRepeatsWith.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/skipRepeatsWith.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,WAAW,MAAM,oBAAoB,CAAC;AAMvD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEnC;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GACzB,CAAC,EAAE,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,MACjC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAoBhC,CAAC"}
+{"version":3,"file":"skipRepeatsWith.d.ts","sourceRoot":"","sources":["../../../src/Fx/combinators/skipRepeatsWith.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,WAAW,MAAM,oBAAoB,CAAC;AAMvD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEnC;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,eAAe,GACzB,CAAC,MAAM,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,MACjC,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAoBhC,CAAC"}

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

@@ -0,0 +1,117 @@
+import * as Effect from "effect/Effect";
+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 Selecting values
+ */
+export declare const skipWhile: {
+    <A>(predicate: (a: A) => boolean): <E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
+    <A, E, R>(fx: Fx<A, E, R>, predicate: (a: A) => boolean): Fx<A, E, R>;
+};
+/**
+ * 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 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>;
+    <A, E, R, E2, R2>(fx: Fx<A, E, R>, predicate: (a: A) => Effect.Effect<boolean, E2, R2>): Fx<A, E | E2, R | R2>;
+};
+/**
+ * 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 Selecting values
+ */
+export declare const dropWhile: {
+    <A>(predicate: (a: A) => boolean): <E, R>(fx: Fx<A, E, R>) => Fx<A, E, R>;
+    <A, E, R>(fx: Fx<A, E, R>, predicate: (a: A) => boolean): Fx<A, E, R>;
+};
+/**
+ * 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 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>;
+    <A, E, R, E2, R2>(fx: Fx<A, E, R>, predicate: (a: A) => Effect.Effect<boolean, E2, R2>): Fx<A, E | E2, R | R2>;
+};
+//# sourceMappingURL=skipWhile.d.ts.map

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

@@ -0,0 +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;;;;;;;;;;;;;;;;;;;;;;;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

@@ -0,0 +1,134 @@
+import * as Effect from "effect/Effect";
+import { dual } from "effect/Function";
+import * as Ref from "effect/Ref";
+import { make as makeFx } from "../constructors/make.js";
+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 Selecting values
+ */
+export const skipWhile = dual(2, (fx, predicate) => makeFx((sink) => Effect.gen(function* () {
+    const skippingRef = yield* Ref.make(true);
+    const skipSink = makeSink(sink.onFailure, (a) => Effect.gen(function* () {
+        const skipping = yield* Ref.get(skippingRef);
+        if (skipping) {
+            if (predicate(a))
+                return;
+            yield* Ref.set(skippingRef, false);
+        }
+        return yield* sink.onSuccess(a);
+    }));
+    return yield* fx.run(skipSink);
+})));
+/**
+ * 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 Selecting values
+ */
+export const skipWhileEffect = dual(2, (fx, predicate) => makeFx((sink) => Effect.gen(function* () {
+    const skippingRef = yield* Ref.make(true);
+    const skipSink = makeSink(sink.onFailure, (a) => Effect.matchCauseEffect(predicate(a), {
+        onFailure: sink.onFailure,
+        onSuccess: (ok) => Effect.gen(function* () {
+            const skipping = yield* Ref.get(skippingRef);
+            if (skipping) {
+                if (ok)
+                    return;
+                yield* Ref.set(skippingRef, false);
+            }
+            return yield* sink.onSuccess(a);
+        }),
+    }));
+    return yield* fx.run(skipSink);
+})));
+/**
+ * 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 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 Selecting values
+ */
+export const dropWhileEffect = skipWhileEffect;

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

@@ -1,23 +1,118 @@
+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>;
     <A, E, R>(fx: Fx<A, E, R>, bounds: Bounds): Fx<A, E, R>;
 };
+/**
+ * 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 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>;
+    <A, E, R, E2, R2>(fx: Fx<A, E, R>, bounds: Effect.Effect<Bounds, E2, R2>): Fx<A, E | E2, R | R2>;
+};
 //# sourceMappingURL=slice.d.ts.map

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":"AAGA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEnC;;;;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"}
+{"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

@@ -1,12 +1,56 @@
+import * as Effect from "effect/Effect";
 import { dual } from "effect/Function";
 import * as sinkCore from "../../Sink/combinators.js";
 import { make } from "../constructors/make.js";
+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 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