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

package/dist/RefSubject/RefSubject.d.ts

@@ -26,7 +26,7 @@ import * as Versioned from "../Versioned/Versioned.js";
  * source errors, services, and lifetime.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Type identity
  */
 export declare const RefSubjectTypeId: unique symbol;
 /**
@@ -43,7 +43,7 @@ export declare const RefSubjectTypeId: unique symbol;
  * services, interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type RefSubjectTypeId = typeof RefSubjectTypeId;
 /**
@@ -60,7 +60,7 @@ export type RefSubjectTypeId = typeof RefSubjectTypeId;
  * source errors, services, and lifetime.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Type identity
  */
 export declare const ComputedTypeId: unique symbol;
 /**
@@ -77,7 +77,7 @@ export declare const ComputedTypeId: unique symbol;
  * services, interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type ComputedTypeId = typeof ComputedTypeId;
 /**
@@ -94,7 +94,7 @@ export type ComputedTypeId = typeof ComputedTypeId;
  * source errors, services, and lifetime.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Type identity
  */
 export declare const FilteredTypeId: unique symbol;
 /**
@@ -111,7 +111,7 @@ export declare const FilteredTypeId: unique symbol;
  * services, interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type FilteredTypeId = typeof FilteredTypeId;
 /**
@@ -157,7 +157,7 @@ export type FilteredTypeId = typeof FilteredTypeId;
  * ```
  *
  * @since 1.0.0
- * @category models
+ * @category Read-only state
  */
 export interface Computed<out A, out E = never, out R = never> extends Versioned.Versioned<R, E, A, E, R | Scope.Scope, A, E, R> {
     /**
@@ -175,7 +175,7 @@ export interface Computed<out A, out E = never, out R = never> extends Versioned
      * source errors, services, and lifetime.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category State protocol
      */
     readonly [ComputedTypeId]: ComputedTypeId;
 }
@@ -194,7 +194,7 @@ export interface Computed<out A, out E = never, out R = never> extends Versioned
  * members retain their own errors, services, and Scope-owned observation lifetimes.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Read-only state
  */
 export declare namespace Computed {
     /**
@@ -211,7 +211,7 @@ export declare namespace Computed {
      * interruption, and Scope requirements expressed by its members.
      *
      * @since 1.18.0
-     * @category type-level
+     * @category Type utilities
      */
     type Any = Computed<any, any, any> | Computed<never, any, any> | Computed<any, never, any> | Computed<never, never, any>;
 }
@@ -257,7 +257,7 @@ export declare namespace Computed {
  * ```
  *
  * @since 1.0.0
- * @category models
+ * @category Read-only state
  */
 export interface Filtered<out A, out E = never, out R = never> extends Versioned.Versioned<R, E, A, E, R | Scope.Scope, A, E | Cause.NoSuchElementError, R> {
     /**
@@ -275,7 +275,7 @@ export interface Filtered<out A, out E = never, out R = never> extends Versioned
      * source errors, services, and lifetime.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category State protocol
      */
     readonly [FilteredTypeId]: FilteredTypeId;
     /**
@@ -298,7 +298,7 @@ export interface Filtered<out A, out E = never, out R = never> extends Versioned
      *   console.log(Option.isNone(option)) // true (no number > 5)
      * })
      * ```
-     * @category combinators
+     * @category Optional queries
      * @since 1.18.0
      * @remarks
      * ## Why
@@ -329,7 +329,7 @@ export interface Filtered<out A, out E = never, out R = never> extends Versioned
  * current reads with `NoSuchElementError` while absent; their observing Scope owns Fx cleanup.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Read-only state
  */
 export declare namespace Filtered {
     /**
@@ -347,7 +347,7 @@ export declare namespace Filtered {
      * interruption, and Scope requirements expressed by its members.
      *
      * @since 1.18.0
-     * @category type-level
+     * @category Type utilities
      */
     type Any = Filtered<any, any, any> | Filtered<never, any, any> | Filtered<any, never, any> | Filtered<never, never, any>;
 }
@@ -364,7 +364,7 @@ export declare namespace Filtered {
  * services, interruption, and Scope requirements expressed by its members.
  *
  * @since 1.0.0
- * @category models
+ * @category Transactions
  */
 export interface GetSetDelete<A, E = never, R = never> {
     /**
@@ -381,7 +381,7 @@ export interface GetSetDelete<A, E = never, R = never> {
      * used by `updates`, it observes that transaction's buffered value.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category Current reads
      */
     readonly get: Effect.Effect<A, E, R>;
     /**
@@ -399,7 +399,7 @@ export interface GetSetDelete<A, E = never, R = never> {
      * acquires no resource and preserves source failures and services.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category State updates
      */
     readonly set: (a: A) => Effect.Effect<A, E, R>;
     /**
@@ -417,7 +417,7 @@ export interface GetSetDelete<A, E = never, R = never> {
      * It acquires no resource and preserves source failures and services.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category State updates
      */
     readonly delete: Effect.Effect<Option.Option<A>, E, R>;
 }
@@ -467,7 +467,7 @@ export interface GetSetDelete<A, E = never, R = never> {
  * ```
  *
  * @since 1.0.0
- * @category models
+ * @category Writable state
  */
 export interface RefSubject<A, E = never, R = never> extends Computed<A, E, R>, Subject.Subject<A, E, R> {
     /**
@@ -485,7 +485,7 @@ export interface RefSubject<A, E = never, R = never> extends Computed<A, E, R>,
      * source errors, services, and lifetime.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category State protocol
      */
     readonly [RefSubjectTypeId]: RefSubjectTypeId;
     /**
@@ -513,7 +513,7 @@ export interface RefSubject<A, E = never, R = never> extends Computed<A, E, R>,
      *   )
      * })
      * ```
-     * @category combinators
+     * @category Transactions
      * @since 1.18.0
      * @remarks
      * ## Why
@@ -544,7 +544,7 @@ export interface RefSubject<A, E = never, R = never> extends Computed<A, E, R>,
      *   yield* ref.interrupt
      * })
      * ```
-     * @category combinators
+     * @category Lifetime
      * @since 1.18.0
      * @remarks
      * ## Why
@@ -576,7 +576,7 @@ export interface RefSubject<A, E = never, R = never> extends Computed<A, E, R>,
  * update boundary.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Writable state
  */
 export declare namespace RefSubject {
     /**
@@ -594,7 +594,7 @@ export declare namespace RefSubject {
      * interruption, and Scope requirements expressed by its members.
      *
      * @since 1.18.0
-     * @category type-level
+     * @category Type utilities
      */
     type Any = RefSubject<any, any, any> | RefSubject<any, any> | RefSubject<any, never, any> | RefSubject<any>;
     /**
@@ -613,7 +613,7 @@ export declare namespace RefSubject {
      * ownership to that installed subject.
      *
      * @since 1.18.0
-     * @category models
+     * @category Services
      */
     interface Service<Self, Id extends string, A, E> extends RefSubject<A, E, Self> {
         /**
@@ -630,7 +630,7 @@ export declare namespace RefSubject {
          * source errors, services, and lifetime.
          *
          * @since 1.18.0
-         * @category combinators
+         * @category Services
          */
         readonly id: Id;
         /**
@@ -648,7 +648,7 @@ export declare namespace RefSubject {
          * RefSubject and its scoped initializer; operations retrieving it require `Self`.
          *
          * @since 1.18.0
-         * @category combinators
+         * @category Services
          */
         readonly service: Context.Service<Self, RefSubject<A, E>>;
         /**
@@ -666,7 +666,7 @@ export declare namespace RefSubject {
          * and cleanup; source failures and services stay on reads and pushes.
          *
          * @since 1.18.0
-         * @category constructors
+         * @category Constructors
          */
         readonly make: <R = never>(value: A | Effect.Effect<A, E, R> | Fx<A, E, R>, options?: RefSubjectOptions<A> & {
             readonly skip?: number;
@@ -687,7 +687,7 @@ export declare namespace RefSubject {
          * `E2` is a Layer-construction failure, while the subject's `E` remains on later state access.
          *
          * @since 1.18.0
-         * @category combinators
+         * @category Service layers
          */
         readonly layer: <E2, R2>(make: Effect.Effect<RefSubject<A, E>, E2, R2 | Scope.Scope>) => Layer.Layer<Self, E2, Exclude<R2, Scope.Scope>>;
     }
@@ -705,7 +705,7 @@ export declare namespace RefSubject {
      * services, interruption, and Scope requirements expressed by its members.
      *
      * @since 1.18.0
-     * @category models
+     * @category Services
      */
     interface Class<Self, Id extends string, A, E> extends RefSubject.Service<Self, Id, A, E> {
         /**
@@ -723,7 +723,7 @@ export declare namespace RefSubject {
          * acquire a RefSubject. The matching Layer owns the installed state and its Scope.
          *
          * @since 1.18.0
-         * @category type-level
+         * @category Type utilities
          */
         new (): RefSubject.Service<Self, Id, A, E>;
     }
@@ -745,7 +745,7 @@ export declare namespace RefSubject {
  * still owns any subscription created by `"multiple"`.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Observation policy
  */
 export declare const CurrentComputedBehavior: Context.Reference<"multiple" | "one">;
 /**
@@ -759,12 +759,13 @@ export declare const CurrentComputedBehavior: Context.Reference<"multiple" | "on
  *
  * ## Ownership and lifetime
  *
- * Current reads directly sample and transform the input. The pushed channel uses `Subject.hold`:
- * concurrent observers share one active upstream session and its latest retained projection; the
- * last observer ends the session and clears that held value. The observing Scope owns cleanup.
+ * Current reads cache the transformed input by source version within each Effect Context. The
+ * pushed channel uses `Subject.hold`: observers with the same Context object share one upstream
+ * session and its retained projection; distinct Context objects have separate sessions. The last
+ * observer ends its session and clears its held value. The observing Scope owns cleanup.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Derived queries
  */
 export declare function makeComputed<R0, E0, A, E, R, E2, R2, C, E3, R3>(input: Versioned.Versioned<R0, E0, A, E, R, A, E2, R2>, f: (a: A) => Effect.Effect<C, E3, R3>): Computed<C, E0 | E | E2 | E3, R0 | R2 | R3 | Exclude<R, Scope.Scope>>;
 /**
@@ -785,16 +786,14 @@ export declare function makeComputed<R0, E0, A, E, R, E2, R2, C, E3, R3>(input:
  *
  * ## Ownership and lifetime
  *
- * Calling `scan` allocates one private `MutableRef` for the returned Computed's Effect-read
- * accumulator. Every Effect read of that same Computed shares it and advances it after a
- * successful fold; separate `scan` calls do not share state. The pushed channel runs
- * `Fx.scanEffect` from `initial` inside `Subject.hold`: concurrent observers share the active scan
- * and its latest retained result, while the last observer ends that session and clears the held
- * value. The observing Scope owns subscription cleanup. The private read accumulator has no
- * finalizer and is collected with the returned Computed.
+ * Each Effect Context object gets a private current-read accumulator, advanced after a successful
+ * fold for a new source version. The pushed channel runs `Fx.scanEffect` from `initial` inside
+ * `Subject.hold`: observers using the same Context share that active scan and retained result.
+ * The last observer ends its session and clears its held value. The observing Scope owns
+ * subscription cleanup. Read accumulators are weakly held by Context and need no finalizer.
  *
  * @since 1.0.0
- * @category combinators
+ * @category Accumulation
  */
 export declare const scan: {
     <S, A>(initial: S, f: (s: S, a: A) => S): <E, R>(ref: RefSubject<A, E, R> | Computed<A, E, R>) => Computed<S, E, R>;
@@ -812,16 +811,15 @@ export declare const scan: {
  *
  * ## Ownership and lifetime
  *
- * Calling `scanEffect` allocates one private `MutableRef` for the returned Computed's Effect-read
- * accumulator. Every Effect read of that same Computed shares it; the accumulator advances only
- * after `f` succeeds, so a typed failure leaves the previous state intact. The pushed channel runs
- * `Fx.scanEffect` from `initial` inside `Subject.hold`: concurrent observers share the active scan
- * and latest retained result, and each fold requires `R3`. The last observer ends that session and
- * clears the held value. The observing Scope owns cleanup; the private read accumulator has no
- * finalizer and is collected with the returned Computed.
+ * Each Effect Context object gets a private current-read accumulator. It advances only after `f`
+ * succeeds, so a typed failure leaves the previous state intact. The pushed channel runs
+ * `Fx.scanEffect` from `initial` inside `Subject.hold`: observers using the same Context share
+ * that active scan and retained result; each fold requires `R3`. The last observer ends its
+ * session and clears its held value. The observing Scope owns cleanup. Read accumulators are
+ * weakly held by Context and need no finalizer.
  *
  * @since 1.0.0
- * @category combinators
+ * @category Accumulation
  */
 export declare const scanEffect: {
     <S, A, E3, R3>(initial: S, f: (s: S, a: A) => Effect.Effect<S, E3, R3>): <E, R>(ref: RefSubject<A, E, R> | Computed<A, E, R>) => Computed<S, E | E3, R | R3>;
@@ -839,11 +837,12 @@ export declare const scanEffect: {
  *
  * ## Ownership and lifetime
  *
- * The make filtered view retains no independent value. Its Effect read fails with NoSuchElement
- * while absent; the observing Scope owns and finalizes its Fx subscription.
+ * Sampled results and pushed sessions are isolated by Effect Context identity. Within one Context,
+ * current reads cache by source version and observers share the active held projection. Its
+ * Effect read fails with NoSuchElement while absent; the observing Scope owns its subscription.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Optional queries
  */
 export declare function makeFiltered<R0, E0, A, E, R, E2, R2, C, E3, R3>(input: Versioned.Versioned<R0, E0, A, E, R, A, E2, R2>, f: (a: A) => Effect.Effect<Option.Option<C>, E3, R3>): Filtered<C, E0 | E | E2 | E3, R0 | Exclude<R, Scope.Scope> | R2 | R3>;
 /**
@@ -860,7 +859,7 @@ export declare function makeFiltered<R0, E0, A, E, R, E2, R2, C, E3, R3>(input:
  * services, interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category models
+ * @category Construction options
  */
 export interface RefSubjectOptions<A> {
     /**
@@ -878,7 +877,7 @@ export interface RefSubjectOptions<A> {
      * source errors, services, and lifetime.
      *
      * @since 1.18.0
-     * @category combinators
+     * @category Equality
      */
     readonly eq?: Equivalence<A>;
 }
@@ -943,7 +942,7 @@ export interface RefSubjectOptions<A> {
  * ```
  *
  * @since 1.0.0
- * @category constructors
+ * @category Constructors
  */
 export declare function make<A, E = never, R = never>(effect: A | Effect.Effect<A, E, R> | Stream.Stream<A, E, R> | Fx<A, E, R>, options?: RefSubjectOptions<A>): Effect.Effect<RefSubject<A, E>, never, R | Scope.Scope>;
 /**
@@ -978,7 +977,7 @@ export declare function make<A, E = never, R = never>(effect: A | Effect.Effect<
  * ```
  *
  * @since 1.0.0
- * @category constructors
+ * @category Source adapters
  */
 export declare function fromEffect<A, E, R>(effect: Effect.Effect<A, E, R>, options?: RefSubjectOptions<A>): Effect.Effect<RefSubject<A, E>, never, R | Scope.Scope>;
 /**
@@ -1015,7 +1014,7 @@ export declare function fromEffect<A, E, R>(effect: Effect.Effect<A, E, R>, opti
  * ```
  *
  * @since 1.0.0
- * @category constructors
+ * @category Source adapters
  */
 export declare function fromFx<A, E, R>(fx: Fx<A, E, R>, options?: RefSubjectOptions<A>): Effect.Effect<RefSubject<A, E>, never, R | Scope.Scope>;
 /**
@@ -1036,7 +1035,7 @@ export declare function fromFx<A, E, R>(fx: Fx<A, E, R>, options?: RefSubjectOpt
  * expose `E`.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Source adapters
  */
 export declare function fromStream<A, E, R>(stream: Stream.Stream<A, E, R>, options?: RefSubjectOptions<A>): Effect.Effect<RefSubject<A, E>, never, R | Scope.Scope>;
 /**
@@ -1067,7 +1066,7 @@ export declare function fromStream<A, E, R>(stream: Stream.Stream<A, E, R>, opti
  * ```
  *
  * @since 1.0.0
- * @category constructors
+ * @category Source adapters
  */
 export declare function fromOption<A>(option: Option.Option<A>, options?: RefSubjectOptions<Option.Option<A>>): Effect.Effect<RefSubject<Option.Option<A>>, never, Scope.Scope>;
 /**
@@ -1086,7 +1085,7 @@ export declare function fromOption<A>(option: Option.Option<A>, options?: RefSub
  * fail. The returned RefSubject owns and publishes subsequent Option writes.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Source adapters
  */
 export declare function fromNullable<A>(value: A | null | undefined, options?: RefSubjectOptions<Option.Option<NonNullable<A>>>): Effect.Effect<RefSubject<Option.Option<NonNullable<A>>>, never, Scope.Scope>;
 /**
@@ -1124,7 +1123,7 @@ export declare function fromNullable<A>(value: A | null | undefined, options?: R
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State updates
  */
 export declare const set: {
     <A>(value: A): <E, R>(ref: RefSubject<A, E, R>) => Effect.Effect<A, E, R>;
@@ -1167,7 +1166,7 @@ export declare const set: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State updates
  */
 export declare function reset<A, E, R>(ref: RefSubject<A, E, R>): Effect.Effect<Option.Option<A>, E, R>;
 export { 
@@ -1195,7 +1194,7 @@ export {
  * ```
  *
  * @since 1.20.0
- * @category combinators
+ * @category State updates
  */
 reset as delete, };
 /**
@@ -1231,7 +1230,7 @@ reset as delete, };
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State updates
  */
 export declare const updateEffect: {
     <A, E2, R2>(f: (value: A) => Effect.Effect<A, E2, R2>): <E, R>(ref: RefSubject<A, E, R>) => Effect.Effect<A, E | E2, R | R2>;
@@ -1281,7 +1280,7 @@ export declare const updateEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State updates
  */
 export declare const update: {
     <A>(f: (value: A) => A): <E, R>(ref: RefSubject<A, E, R>) => Effect.Effect<A, E, R>;
@@ -1322,7 +1321,7 @@ export declare const update: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transactions
  */
 export declare const modifyEffect: {
     <A, B, E2, R2>(f: (value: A) => Effect.Effect<readonly [B, A], E2, R2>): <E, R>(ref: RefSubject<A, E, R>) => Effect.Effect<B, E | E2, R | R2>;
@@ -1360,7 +1359,7 @@ export declare const modifyEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transactions
  */
 export declare const modify: {
     <A, B>(f: (value: A) => readonly [B, A]): <E, R>(ref: RefSubject<A, E, R>) => Effect.Effect<B, E, R>;
@@ -1396,7 +1395,7 @@ export declare const modify: {
  * ```
  *
  * @since 1.0.0
- * @category guards
+ * @category Type guards
  */
 export declare function isRefSubject(value: any): value is RefSubject<any, any, any>;
 /**
@@ -1413,7 +1412,7 @@ export declare function isRefSubject(value: any): value is RefSubject<any, any,
  * This synchronous predicate performs no Effect, subscription, or acquisition.
  *
  * @since 1.18.0
- * @category guards
+ * @category Type guards
  */
 export declare function isComputed(value: any): value is Computed<any, any, any>;
 /**
@@ -1460,7 +1459,7 @@ export declare function isComputed(value: any): value is Computed<any, any, any>
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Transactions
  */
 export declare const runUpdates: {
     <A, E, R, B, E2, R2, R3 = never, E3 = never, C = never>(f: (ref: GetSetDelete<A, E, R>) => Effect.Effect<B, E2, R2>, options?: {
@@ -1505,7 +1504,7 @@ export declare const runUpdates: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State updates
  */
 export declare function increment<E, R>(ref: RefSubject<number, E, R>): Effect.Effect<number, E, R>;
 /**
@@ -1541,7 +1540,7 @@ export declare function increment<E, R>(ref: RefSubject<number, E, R>): Effect.E
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State updates
  */
 export declare function decrement<E, R>(ref: RefSubject<number, E, R>): Effect.Effect<number, E, R>;
 /**
@@ -1562,7 +1561,7 @@ export declare function decrement<E, R>(ref: RefSubject<number, E, R>): Effect.E
  * while consumers require only the generated `Self` service.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Services
  */
 export declare function Service<Self, A, E = never>(): <const Id extends string>(id: Id) => RefSubject.Class<Self, Id, A, E>;
 /**
@@ -1610,7 +1609,7 @@ export declare function Service<Self, A, E = never>(): <const Id extends string>
  * ```
  *
  * @since 2.0.0
- * @category combinators
+ * @category Derived queries
  */
 export declare const proxy: {
     <A extends ReadonlyArray<any> | Readonly<Record<PropertyKey, any>>, E, R>(source: Computed<A, E, R>): {
@@ -1634,7 +1633,7 @@ export declare const proxy: {
  * interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type Services<T> = T extends RefSubject<infer _A, infer _E, infer R> ? R : T extends Computed<infer _A, infer _E, infer R> ? R : T extends Filtered<infer _A, infer _E, infer R> ? R : never;
 /**
@@ -1651,7 +1650,7 @@ export type Services<T> = T extends RefSubject<infer _A, infer _E, infer R> ? R
  * interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type Error<T> = T extends RefSubject<infer _A, infer E, infer _R> ? E : T extends Computed<infer _A, infer E, infer _R> ? E : T extends Filtered<infer _A, infer E, infer _R> ? E : never;
 /**
@@ -1668,7 +1667,7 @@ export type Error<T> = T extends RefSubject<infer _A, infer E, infer _R> ? E : T
  * interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type Success<T> = T extends RefSubject<infer A, infer _E, infer _R> ? A : T extends Computed<infer A, infer _E, infer _R> ? A : T extends Filtered<infer A, infer _E, infer _R> ? A : never;
 /**
@@ -1685,7 +1684,7 @@ export type Success<T> = T extends RefSubject<infer A, infer _E, infer _R> ? A :
  * services, interruption, and Scope requirements expressed by its members.
  *
  * @since 1.18.0
- * @category type-level
+ * @category Type utilities
  */
 export type Identifier<T> = T extends RefSubject.Service<infer R, infer _Id, infer _A, infer _E> ? R : never;
 /**
@@ -1731,7 +1730,7 @@ export type Identifier<T> = T extends RefSubject.Service<infer R, infer _Id, inf
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Derived queries
  */
 export declare const mapEffect: {
     <T extends RefSubject.Any | Computed.Any | Filtered.Any, B, E2, R2>(f: (a: Success<T>) => Effect.Effect<B, E2, R2>): (ref: T) => T extends Filtered.Any ? Filtered<B, Error<T> | E2, Services<T> | R2> : Computed<B, Error<T> | E2, Services<T> | R2>;
@@ -1785,7 +1784,7 @@ export declare const mapEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Derived queries
  */
 export declare const map: {
     <T extends RefSubject.Any | Computed.Any | Filtered.Any, B>(f: (a: Success<T>) => B): (ref: T) => T extends Filtered.Any ? Filtered<B, Error<T>, Services<T>> : Computed<B, Error<T>, Services<T>>;
@@ -1827,7 +1826,7 @@ export declare const map: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Optional queries
  */
 export declare const filterMapEffect: {
     <A, B, E2, R2>(f: (a: A) => Effect.Effect<Option.Option<B>, E2, R2>): {
@@ -1872,7 +1871,7 @@ export declare const filterMapEffect: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Optional queries
  */
 export declare const filterMap: {
     <A, B>(f: (a: A) => Option.Option<B>): {
@@ -1918,7 +1917,7 @@ export declare const filterMap: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Optional queries
  */
 export declare const compact: {
     <A, E, R>(ref: Computed<Option.Option<A>, E, R>): Filtered<A, E, R>;
@@ -1960,7 +1959,7 @@ export declare const compact: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Optional queries
  */
 export declare const getOrElse: {
     <A>(fallback: () => A): <E, R>(ref: Computed<Option.Option<A>, E, R> | Filtered<A, E, R>) => Computed<A, E, R>;
@@ -1983,7 +1982,7 @@ export declare const getOrElse: {
  * source RefSubject.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Observation policy
  */
 export declare const slice: {
     (skip: number, take: number): <A, E, R>(ref: RefSubject<A, E, R>) => RefSubject<A, E, R>;
@@ -2031,7 +2030,7 @@ export declare const slice: {
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category Writable views
  */
 export declare const transform: {
     <A, B>(toB: (a: A) => B, toA: (b: B) => A): <E, R>(ref: RefSubject<A, E, R>) => RefSubject<B, E, R>;
@@ -2123,7 +2122,7 @@ type RefSubjectTupleFrom<Refs extends ReadonlyArray<RefSubject<any, any, any> |
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State composition
  */
 export declare function struct<const Refs extends Readonly<Record<string, RefSubject.Any | Computed.Any | Filtered.Any>>>(refs: Refs): StructFrom<Refs>;
 /**
@@ -2166,7 +2165,7 @@ export declare function struct<const Refs extends Readonly<Record<string, RefSub
  * ```
  *
  * @since 1.0.0
- * @category combinators
+ * @category State composition
  */
 export declare function tuple<const Refs extends ReadonlyArray<Ref>>(refs: Refs): TupleFrom<Refs>;
 /**
@@ -2185,7 +2184,7 @@ export declare function tuple<const Refs extends ReadonlyArray<Ref>>(refs: Refs)
  * failures remain `E`, and the observing Scope owns the delegated subscription.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Services
  */
 export declare function computedFromService<R, A, E, R2>(effect: Effect.Effect<Computed<A, E, R2>, never, R>): Computed<A, E, R | R2>;
 /**
@@ -2203,7 +2202,7 @@ export declare function computedFromService<R, A, E, R2>(effect: Effect.Effect<C
  * while absent; the observing Scope owns and finalizes its Fx subscription.
  *
  * @since 1.18.0
- * @category combinators
+ * @category Services
  */
 export declare function filteredFromService<R, A, E, R2>(effect: Effect.Effect<Filtered<A, E, R2>, never, R>): Filtered<A, E, R | R2>;
 export * from "./Hydration.js";