synstate 3.0.6 → 3.2.0

package/src/core/operators/filter.mts

@@ -1,17 +1,19 @@
 import {
   asSafeUint,
   expectType,
+  isNotUndefined,
+  isString,
   Optional,
   pipe,
   SafeUint,
 } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
 import { source } from '../create/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type FilterOperatorObservable,
-  type InitializedObservable,
-  type Observable,
+import type {
+  DropInitialValueOperator,
+  FilterOperatorObservable,
+  InitializedObservable,
+  Observable,
 } from '../types/index.mjs';
 import { withInitialValue } from './with-initial-value.mjs';
 
@@ -68,6 +70,11 @@ export function filter<A, B extends A>(
   predicate: (value: A, index: SafeUint | -1) => value is B,
 ): DropInitialValueOperator<A, B>;
 
+// A type-guard predicate and a boolean one are both functions at run time, so
+// this set only refines the return type (#1952). It stays overloaded because
+// one signature with a union parameter infers `unknown` for a generic guard
+// such as `isNotUndefined`; see the type test below.
+// @sumi-expect-error functions/no-refinement-overload
 export function filter<A>(
   predicate: (value: A, index: SafeUint | -1) => boolean,
 ): DropInitialValueOperator<A, A>;
@@ -139,4 +146,38 @@ if (import.meta.vitest !== undefined) {
 
     expectType<typeof _d, Observable<number>>('=');
   }
+
+  {
+    const s = source<number | undefined>();
+
+    const _guarded = s.pipe(filter((x): x is number => x !== undefined));
+
+    expectType<typeof _guarded, Observable<number>>('=');
+
+    const _inferred = s.pipe(filter((x) => x !== undefined));
+
+    expectType<typeof _inferred, Observable<number>>('=');
+
+    // A generic guard is what a single signature with a union parameter
+    // loses (it infers `unknown`), and why this set stays overloaded.
+    const _generic = s.pipe(filter(isNotUndefined));
+
+    expectType<typeof _generic, Observable<number>>('=');
+
+    const _withIndex = s.pipe(filter((x, i) => i === -1 || x === 0));
+
+    expectType<typeof _withIndex, Observable<number | undefined>>('=');
+  }
+
+  {
+    const _d = source<unknown>().pipe(filter(isString));
+
+    expectType<typeof _d, Observable<string>>('=');
+
+    const _standalone = filter((x: number) => x > 0);
+
+    expectType<typeof _standalone, DropInitialValueOperator<number, number>>(
+      '=',
+    );
+  }
 }

package/src/core/operators/map.mts

@@ -1,11 +1,11 @@
 import { Optional, SafeUint, asSafeUint, expectType } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
 import { source } from '../create/index.mjs';
-import {
-  type InitializedObservable,
-  type KeepInitialValueOperator,
-  type MapOperatorObservable,
-  type Observable,
+import type {
+  InitializedObservable,
+  KeepInitialValueOperator,
+  MapOperatorObservable,
+  Observable,
 } from '../types/index.mjs';
 import { withInitialValue } from './with-initial-value.mjs';
 
@@ -51,7 +51,6 @@ export const map = <A, B>(
   mapFn: (x: A, index: SafeUint | -1) => B,
 ): KeepInitialValueOperator<A, B> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   ((parentObservable) =>
     createMapObservable(parentObservable, mapFn)) as KeepInitialValueOperator<
     A,

package/src/core/operators/merge-map.mts

@@ -1,10 +1,10 @@
 import { Arr, Optional } from 'ts-data-forge';
 import { createAsyncChildObservable } from '../base/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type MergeMapOperatorObservable,
-  type Observable,
-  type Subscription,
+import type {
+  DropInitialValueOperator,
+  MergeMapOperatorObservable,
+  Observable,
+  Subscription,
 } from '../types/index.mjs';
 
 /**

package/src/core/operators/pairwise.mts

@@ -1,10 +1,10 @@
 import { Optional } from 'ts-data-forge';
-import { type FixedLengthTuple } from 'ts-type-forge';
+import type { FixedLengthTuple } from 'ts-type-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type Observable,
-  type PairwiseOperatorObservable,
+import type {
+  DropInitialValueOperator,
+  Observable,
+  PairwiseOperatorObservable,
 } from '../types/index.mjs';
 
 /**

package/src/core/operators/scan.mts

@@ -1,9 +1,9 @@
 import { Optional } from 'ts-data-forge';
 import { createInitializedSyncChildObservable } from '../base/index.mjs';
-import {
-  type Observable,
-  type ScanOperatorObservable,
-  type WithInitialValueOperator,
+import type {
+  Observable,
+  ScanOperatorObservable,
+  WithInitialValueOperator,
 } from '../types/index.mjs';
 
 /**

package/src/core/operators/skip-if-no-change.mts

@@ -1,9 +1,9 @@
 import { Optional } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type KeepInitialValueOperator,
-  type Observable,
-  type SkipIfNoChangeOperatorObservable,
+import type {
+  KeepInitialValueOperator,
+  Observable,
+  SkipIfNoChangeOperatorObservable,
 } from '../types/index.mjs';
 
 /**
@@ -71,7 +71,6 @@ export const skipIfNoChange = <A,>(
   eq: (x: A, y: A) => boolean = (x, y) => Object.is(x, y),
 ): KeepInitialValueOperator<A, A> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   ((parentObservable) =>
     createSkipIfNoChangeObservable(
       parentObservable,

package/src/core/operators/skip-until.mts

@@ -1,9 +1,9 @@
 import { Optional } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type Observable,
-  type SkipUntilOperatorObservable,
+import type {
+  DropInitialValueOperator,
+  Observable,
+  SkipUntilOperatorObservable,
 } from '../types/index.mjs';
 
 /**

package/src/core/operators/skip-while.mts

@@ -1,9 +1,9 @@
 import { Optional, SafeUint, asSafeUint, pipe } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type Observable,
-  type SkipWhileOperatorObservable,
+import type {
+  DropInitialValueOperator,
+  Observable,
+  SkipWhileOperatorObservable,
 } from '../types/index.mjs';
 
 /**

package/src/core/operators/switch-map.mts

@@ -1,10 +1,10 @@
 import { Optional } from 'ts-data-forge';
 import { createAsyncChildObservable } from '../base/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type Observable,
-  type Subscription,
-  type SwitchMapOperatorObservable,
+import type {
+  DropInitialValueOperator,
+  Observable,
+  Subscription,
+  SwitchMapOperatorObservable,
 } from '../types/index.mjs';
 
 /**

package/src/core/operators/take-until.mts

@@ -1,9 +1,9 @@
 import { Optional } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type KeepInitialValueOperator,
-  type Observable,
-  type TakeUntilOperatorObservable,
+import type {
+  KeepInitialValueOperator,
+  Observable,
+  TakeUntilOperatorObservable,
 } from '../types/index.mjs';
 
 /**
@@ -58,7 +58,6 @@ export const takeUntil = <A,>(
   notifier: Observable<unknown>,
 ): KeepInitialValueOperator<A, A> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   ((parentObservable) =>
     createTakeUntilObservable(
       parentObservable,

package/src/core/operators/take-while.mts

@@ -7,11 +7,11 @@ import {
 } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
 import { source } from '../create/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type InitializedObservable,
-  type Observable,
-  type TakeWhileOperatorObservable,
+import type {
+  DropInitialValueOperator,
+  InitializedObservable,
+  Observable,
+  TakeWhileOperatorObservable,
 } from '../types/index.mjs';
 import { withInitialValue } from './with-initial-value.mjs';
 

package/src/core/operators/throttle.mts

@@ -1,10 +1,10 @@
 import { Optional } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type KeepInitialValueOperator,
-  type Observable,
-  type ThrottleOperatorObservable,
-  type TimerId,
+import type {
+  KeepInitialValueOperator,
+  Observable,
+  ThrottleOperatorObservable,
+  TimerId,
 } from '../types/index.mjs';
 
 /**
@@ -89,7 +89,6 @@ export const throttle = <A,>(
   milliSeconds: number,
 ): KeepInitialValueOperator<A, A> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   ((parentObservable) =>
     createThrottleObservable(
       parentObservable,

package/src/core/operators/with-buffered-from.mts

@@ -1,9 +1,9 @@
 import { Arr, Optional, pipe } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type KeepInitialValueOperator,
-  type Observable,
-  type WithBufferedFromOperatorObservable,
+import type {
+  KeepInitialValueOperator,
+  Observable,
+  WithBufferedFromOperatorObservable,
 } from '../types/index.mjs';
 import { maxDepth } from '../utils/index.mjs';
 
@@ -64,7 +64,6 @@ export const withBufferedFrom = <A, B>(
   observable: Observable<B>,
 ): KeepInitialValueOperator<A, readonly [A, readonly B[]]> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   ((parentObservable) =>
     createWithBufferedFromObservable(
       parentObservable,

package/src/core/operators/with-current-value-from.mts

@@ -1,9 +1,9 @@
 import { Optional, pipe } from 'ts-data-forge';
 import { createSyncChildObservable } from '../base/index.mjs';
-import {
-  type DropInitialValueOperator,
-  type Observable,
-  type WithCurrentValueFromOperatorObservable,
+import type {
+  DropInitialValueOperator,
+  Observable,
+  WithCurrentValueFromOperatorObservable,
 } from '../types/index.mjs';
 import { maxDepth } from '../utils/index.mjs';
 

package/src/core/operators/with-initial-value.mts

@@ -1,11 +1,11 @@
 import { expectType, Optional } from 'ts-data-forge';
 import { createInitializedSyncChildObservable } from '../base/index.mjs';
 import { source } from '../create/index.mjs';
-import {
-  type InitializedObservable,
-  type Observable,
-  type WithInitialValueOperator,
-  type WithInitialValueOperatorObservable,
+import type {
+  InitializedObservable,
+  Observable,
+  WithInitialValueOperator,
+  WithInitialValueOperatorObservable,
 } from '../types/index.mjs';
 
 /**

package/src/core/predefined/operators/attach-index.mts

@@ -1,6 +1,6 @@
-import { type SafeUint } from 'ts-type-forge';
+import type { SafeUint } from 'ts-type-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Attaches a sequential index to each emitted value, producing `[index, value]` tuples.

package/src/core/predefined/operators/map-optional.mts

@@ -1,6 +1,6 @@
 import { Optional, type UnknownOptional } from 'ts-data-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Transforms the inner value of an `Optional` type emitted by the source.

package/src/core/predefined/operators/map-result-err.mts

@@ -1,6 +1,6 @@
 import { Result, type UnknownResult } from 'ts-data-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Transforms the error value (`Err`) of a `Result` type emitted by the source.

package/src/core/predefined/operators/map-result-ok.mts

@@ -1,6 +1,6 @@
 import { Result, type UnknownResult } from 'ts-data-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Transforms the success value (`Ok`) of a `Result` type emitted by the source.

package/src/core/predefined/operators/map-to.mts

@@ -1,5 +1,5 @@
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Maps all emitted values to a constant value, ignoring the source values.

package/src/core/predefined/operators/pluck.mts

@@ -1,5 +1,5 @@
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Extracts a property value from each emitted object by key.

package/src/core/predefined/operators/skip.mts

@@ -1,7 +1,7 @@
 import { PositiveSafeInt } from 'ts-data-forge';
-import { type PositiveSafeIntWithSmallInt } from 'ts-type-forge';
+import type { PositiveSafeIntWithSmallInt } from 'ts-type-forge';
 import { skipWhile } from '../../operators/index.mjs';
-import { type DropInitialValueOperator } from '../../types/index.mjs';
+import type { DropInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Skips the first `n` emissions from the source observable.

package/src/core/predefined/operators/take.mts

@@ -1,6 +1,6 @@
-import { type PositiveSafeIntWithSmallInt } from 'ts-type-forge';
+import type { PositiveSafeIntWithSmallInt } from 'ts-type-forge';
 import { takeWhile } from '../../operators/index.mjs';
-import { type DropInitialValueOperator } from '../../types/index.mjs';
+import type { DropInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Takes only the first `n` emissions from the source observable, then completes.

package/src/core/predefined/operators/unwrap-optional.mts

@@ -1,7 +1,7 @@
 import { Optional, type UnknownOptional } from 'ts-data-forge';
-import { type Fn } from 'ts-type-forge';
+import type { Fn } from 'ts-type-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Unwraps `Optional` values, converting `Some(value)` to `value` and `None` to `undefined`.
@@ -47,5 +47,4 @@ export const unwrapOptional = <
   O extends UnknownOptional,
 >(): KeepInitialValueOperator<O, Optional.Unwrap<O> | undefined> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   map(Optional.unwrap as Fn<O, Optional.Unwrap<O> | undefined>);

package/src/core/predefined/operators/unwrap-result-err.mts

@@ -1,7 +1,7 @@
 import { Result, type UnknownResult } from 'ts-data-forge';
-import { type Fn } from 'ts-type-forge';
+import type { Fn } from 'ts-type-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Unwraps the error value from a `Result`, converting `Err(error)` to `error` and `Ok` to `undefined`.

package/src/core/predefined/operators/unwrap-result-ok.mts

@@ -1,7 +1,7 @@
 import { Result, type UnknownResult } from 'ts-data-forge';
-import { type Fn } from 'ts-type-forge';
+import type { Fn } from 'ts-type-forge';
 import { map } from '../../operators/index.mjs';
-import { type KeepInitialValueOperator } from '../../types/index.mjs';
+import type { KeepInitialValueOperator } from '../../types/index.mjs';
 
 /**
  * Unwraps the success value from a `Result`, converting `Ok(value)` to `value` and `Err` to `undefined`.
@@ -47,5 +47,4 @@ export const unwrapResultOk = <
   R extends UnknownResult,
 >(): KeepInitialValueOperator<R, Result.UnwrapOk<R> | undefined> =>
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   map(Result.unwrapOk as Fn<R, Result.UnwrapOk<R> | undefined>);

package/src/core/types/id.mts

@@ -1,4 +1,4 @@
-import { type Brand } from 'ts-type-forge';
+import type { Brand } from 'ts-type-forge';
 
 export type ObservableId = Brand<symbol, 'observable-id'>;
 

package/src/core/types/observable-family.mts

@@ -1,21 +1,21 @@
 import { expectType, type Result } from 'ts-data-forge';
-import {
-  type ArrayElement,
-  type FixedLengthTuple,
-  type NonEmptyTuple,
-  type SafeUint,
+import type {
+  ArrayElement,
+  FixedLengthTuple,
+  NonEmptyTuple,
+  SafeUint,
 } from 'ts-type-forge';
-import {
-  type AsyncChildObservable,
-  type InitializedObservable,
-  type InitializedRootObservable,
-  type InitializedSyncChildObservable,
-  type Observable,
-  type RootObservable,
-  type SyncChildObservable,
-  type Unwrap,
+import type {
+  AsyncChildObservable,
+  InitializedObservable,
+  InitializedRootObservable,
+  InitializedSyncChildObservable,
+  Observable,
+  RootObservable,
+  SyncChildObservable,
+  Unwrap,
 } from './observable.mjs';
-import { type NonEmptyUnknownList } from './types.mjs';
+import type { NonEmptyUnknownList } from './types.mjs';
 
 // RootObservable
 

package/src/core/types/observable-kind.mts

@@ -1,4 +1,4 @@
-import { type StrictExclude } from 'ts-type-forge';
+import type { StrictExclude } from 'ts-type-forge';
 
 export type ObservableKind = 'root' | 'sync child' | 'async child';
 

package/src/core/types/observable.mts

@@ -1,8 +1,8 @@
 import { expectType, type Optional, type Some } from 'ts-data-forge';
-import { type FixedLengthTuple, type StrictOmit } from 'ts-type-forge';
-import { type ObservableId, type UpdateToken } from './id.mjs';
-import { type ObservableKind } from './observable-kind.mjs';
-import { type NonEmptyUnknownList, type Subscription } from './types.mjs';
+import type { FixedLengthTuple, StrictOmit } from 'ts-type-forge';
+import type { ObservableId, UpdateToken } from './id.mjs';
+import type { ObservableKind } from './observable-kind.mjs';
+import type { NonEmptyUnknownList, Subscription } from './types.mjs';
 
 /**
  * Inheritance

package/src/core/types/types.mts

@@ -1,5 +1,5 @@
 import { expectType, type Queue } from 'ts-data-forge';
-import { type NonEmptyTuple } from 'ts-type-forge';
+import type { NonEmptyTuple } from 'ts-type-forge';
 
 export type TupleToQueueTuple<T extends readonly unknown[]> = Readonly<{
   [P in keyof T]: Queue<T[P]>;

package/src/core/utils/id-maker.mts

@@ -1,7 +1,7 @@
-import {
-  type ObservableId,
-  type SubscriberId,
-  type UpdateToken,
+import type {
+  ObservableId,
+  SubscriberId,
+  UpdateToken,
 } from '../types/index.mjs';
 
 function* idMaker<T extends symbol>(): Generator<T, T, T> {
@@ -9,7 +9,6 @@ function* idMaker<T extends symbol>(): Generator<T, T, T> {
 
   while (true) {
     // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-    // eslint-disable-next-line total-functions/no-unsafe-type-assertion
     yield Symbol(mut_i.toString()) as T;
 
     mut_i += 1;

package/src/core/utils/max-depth.mts

@@ -1,5 +1,5 @@
 import { Arr, Optional, pipe } from 'ts-data-forge';
-import { type Observable } from '../types/index.mjs';
+import type { Observable } from '../types/index.mjs';
 
 export const maxDepth = (parents: readonly Observable<unknown>[]): number =>
   pipe(Arr.maxBy(parents, (p) => p.depth))

package/src/core/utils/observable-utils.mts

@@ -1,4 +1,4 @@
-import { type Subscriber } from '../types/index.mjs';
+import type { Subscriber } from '../types/index.mjs';
 
 export const toSubscriber = <A,>(
   onNext: (v: A) => void,

package/src/core/utils/utils.mts

@@ -1,5 +1,5 @@
 import { Arr, asSafeInt, asUint32, SafeInt } from 'ts-data-forge';
-import { type NegativeInt32, type Uint32 } from 'ts-type-forge';
+import type { NegativeInt32, Uint32 } from 'ts-type-forge';
 
 export const halfInt = (x: SafeInt): SafeInt =>
   x % 2 === 0
@@ -52,6 +52,5 @@ export const binarySearch = <N extends number>(
   }
 
   // @sumi-expect-error banned-syntax/no-unsafe-type-assertion
-  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   return mut_mid as NegativeInt32 | Uint32;
 };

package/src/utils/collect-to-array.mts

@@ -1,4 +1,4 @@
-import { type Observable } from '../core/index.mjs';
+import type { Observable } from '../core/index.mjs';
 
 export const collectToArray = <A,>(
   observable: Observable<A>,