ts-data-forge 6.9.1 → 6.9.3

package/src/functional/result/impl/result-unwrap-err-or.mts

@@ -1,3 +1,4 @@
+import { type Result, type UnknownResult } from '../result.mjs';
 import { unwrapErr } from './result-unwrap-err.mjs';
 import { type UnwrapErr } from './types.mjs';
 

package/src/functional/result/impl/result-unwrap-err-throw.mts

@@ -1,5 +1,6 @@
 import { unknownToString } from '../../../others/index.mjs';
 import { match } from '../../match.mjs';
+import { type UnknownResult } from '../result.mjs';
 import { isErr } from './result-is-err.mjs';
 import { type UnwrapErr, type UnwrapOk } from './types.mjs';
 

package/src/functional/result/impl/result-unwrap-err.mts

@@ -1,3 +1,4 @@
+import { type UnknownResult } from '../result.mjs';
 import { isErr } from './result-is-err.mjs';
 import { type UnwrapErr } from './types.mjs';
 

package/src/functional/result/impl/result-unwrap-ok-or.mts

@@ -1,3 +1,4 @@
+import { type Result, type UnknownResult } from '../result.mjs';
 import { unwrapOk } from './result-unwrap-ok.mjs';
 import { type UnwrapOk } from './types.mjs';
 

package/src/functional/result/impl/result-unwrap-ok.mts

@@ -1,3 +1,5 @@
+import { type Ok } from '../../../types.mjs';
+import { type UnknownResult } from '../result.mjs';
 import { isOk } from './result-is-ok.mjs';
 import { type UnwrapOk } from './types.mjs';
 

package/src/functional/result/impl/result-unwrap-throw.mts

@@ -1,4 +1,5 @@
 import { unknownToString } from '../../../others/index.mjs';
+import { type UnknownResult } from '../result.mjs';
 import { isErr } from './result-is-err.mjs';
 import { type UnwrapErr, type UnwrapOk } from './types.mjs';
 

package/src/functional/result/impl/result-zip.mts

@@ -1,3 +1,4 @@
+import { type Result } from '../result.mjs';
 import { isOk } from './result-is-ok.mjs';
 import { ok } from './result-ok.mjs';
 

package/src/functional/result/impl/tag.mts

@@ -1,4 +1,6 @@
 /** @internal Tag identifying the Ok variant. */
+import { type Err, type Ok } from '../../../types.mjs';
+
 export const OkTypeTagName: Ok<unknown>['$$tag'] = 'ts-data-forge::Result.ok';
 
 /** @internal Tag identifying the Err variant. */

package/src/functional/result/impl/types.mts

@@ -1,3 +1,6 @@
+import { type Err, type Ok } from '../../../types.mjs';
+import { type UnknownResult } from '../result.mjs';
+
 /**
  * Extracts the success value type `S` from a `Result.Ok<S>`. If the `Result`
  * is `Result.Err<E>`, resolves to `never`.

package/src/functional/result/index.mts

@@ -1 +1 @@
-export * as Result from './impl/index.mjs';
+export * from './result.mjs';

package/src/functional/result/result.mts

@@ -0,0 +1,19 @@
+import { type Err, type Ok } from '../../types.mjs';
+
+/**
+ * Represents a value that can either be a success (`Ok`) or an error (`Err`).
+ *
+ * @template S The type of the success value.
+ * @template E The type of the error value.
+ */
+export type Result<S, E> = Ok<S> | Err<E>;
+
+/**
+ * Base type for any `Result`, used for generic constraints. Represents a
+ * `Result` with unknown success and error types.
+ */
+export type UnknownResult = Ok<unknown> | Err<unknown>;
+
+export type { Err, Ok } from '../../types.mjs';
+
+export * as Result from './impl/index.mjs';

package/src/functional/result.test.mts

@@ -1,4 +1,5 @@
 import { expectType } from '../expect-type.mjs';
+import { type Err, type Ok } from '../types.mjs';
 import { Optional } from './optional/index.mjs';
 import { pipe } from './pipe.mjs';
 import { Result } from './result/index.mjs';

package/src/functional/ternary-result/impl/tag.mts

@@ -1,4 +1,10 @@
 /** @internal Tag identifying the Ok variant. */
+import {
+  type TernaryErr,
+  type TernaryOk,
+  type TernaryWarn,
+} from '../ternary-result.mjs';
+
 export const OkTypeTagName: TernaryOk<unknown>['$$tag'] =
   'ts-data-forge::Result.ok';
 

package/src/functional/ternary-result/impl/ternary-result-err.mts

@@ -1,3 +1,4 @@
+import { type TernaryErr } from '../ternary-result.mjs';
 import { ErrTypeTagName } from './tag.mjs';
 
 /**

package/src/functional/ternary-result/impl/ternary-result-expect-to-be.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { unwrapOk } from './ternary-result-unwrap-ok.mjs';
 import { type UnwrapOk } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-flat-map.mts

@@ -1,3 +1,8 @@
+import {
+  type TernaryErr,
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { warn } from './ternary-result-warn.mjs';

package/src/functional/ternary-result/impl/ternary-result-fold.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { err } from './ternary-result-err.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';

package/src/functional/ternary-result/impl/ternary-result-from-promise.mts

@@ -1,3 +1,4 @@
+import { type TernaryOk, type TernaryResult } from '../ternary-result.mjs';
 import { err } from './ternary-result-err.mjs';
 import { ok } from './ternary-result-ok.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-from-throwable.mts

@@ -1,5 +1,6 @@
 import { isError } from '@sindresorhus/is';
 import { unknownToString } from '../../../others/index.mjs';
+import { type TernaryResult } from '../ternary-result.mjs';
 import { err } from './ternary-result-err.mjs';
 import { ok } from './ternary-result-ok.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-is-err.mts

@@ -1,3 +1,4 @@
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { ErrTypeTagName } from './tag.mjs';
 import { type NarrowToErr } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-is-ok.mts

@@ -1,3 +1,4 @@
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { OkTypeTagName } from './tag.mjs';
 import { type NarrowToOk } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-is-ternary-result.mts

@@ -1,4 +1,5 @@
 import { hasKey, isRecord } from '../../../guard/index.mjs';
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { ErrTypeTagName, OkTypeTagName, WarnTypeTagName } from './tag.mjs';
 
 /**

package/src/functional/ternary-result/impl/ternary-result-is-warn.mts

@@ -1,3 +1,4 @@
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { WarnTypeTagName } from './tag.mjs';
 import { type NarrowToWarn } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-map-err.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { err } from './ternary-result-err.mjs';
 import { isErr } from './ternary-result-is-err.mjs';
 import { type UnwrapErr, type UnwrapOk, type UnwrapWarn } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-map-warn.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { warn } from './ternary-result-warn.mjs';
 import { type UnwrapErr, type UnwrapOk, type UnwrapWarn } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-map.mts

@@ -1,3 +1,8 @@
+import {
+  type TernaryErr,
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { ok } from './ternary-result-ok.mjs';

package/src/functional/ternary-result/impl/ternary-result-ok.mts

@@ -1,3 +1,4 @@
+import { type TernaryOk } from '../ternary-result.mjs';
 import { OkTypeTagName } from './tag.mjs';
 
 /**

package/src/functional/ternary-result/impl/ternary-result-or-else.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type NarrowToOk, type NarrowToWarn } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-to-optional.mts

@@ -1,4 +1,5 @@
 import { Optional } from '../../optional/index.mjs';
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type UnwrapOk } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-unwrap-err-or.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { unwrapErr } from './ternary-result-unwrap-err.mjs';
 import { type UnwrapErr } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-unwrap-err-throw.mts

@@ -1,4 +1,5 @@
 import { unknownToString } from '../../../others/index.mjs';
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { isErr } from './ternary-result-is-err.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type UnwrapErr, type UnwrapOk, type UnwrapWarn } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-unwrap-err.mts

@@ -1,3 +1,4 @@
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { isErr } from './ternary-result-is-err.mjs';
 import { type UnwrapErr } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-unwrap-ok-or.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { unwrapOk } from './ternary-result-unwrap-ok.mjs';
 import { type UnwrapOk } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-unwrap-ok.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryOk,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { isOk } from './ternary-result-is-ok.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type UnwrapOk } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-unwrap-throw.mts

@@ -1,4 +1,5 @@
 import { unknownToString } from '../../../others/index.mjs';
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { isErr } from './ternary-result-is-err.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type UnwrapErr, type UnwrapOk, type UnwrapWarn } from './types.mjs';

package/src/functional/ternary-result/impl/ternary-result-unwrap-warn-or.mts

@@ -1,3 +1,7 @@
+import {
+  type TernaryResult,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
 import { unwrapWarn } from './ternary-result-unwrap-warn.mjs';
 import { type UnwrapWarn } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-unwrap-warn-throw.mts

@@ -1,4 +1,5 @@
 import { unknownToString } from '../../../others/index.mjs';
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type UnwrapErr, type UnwrapOk, type UnwrapWarn } from './types.mjs';
 import { variantName } from './variant-name.mjs';

package/src/functional/ternary-result/impl/ternary-result-unwrap-warn.mts

@@ -1,3 +1,4 @@
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { type UnwrapWarn } from './types.mjs';
 

package/src/functional/ternary-result/impl/ternary-result-warn.mts

@@ -1,3 +1,4 @@
+import { type TernaryWarn } from '../ternary-result.mjs';
 import { WarnTypeTagName } from './tag.mjs';
 
 /**

package/src/functional/ternary-result/impl/ternary-result-zip.mts

@@ -1,3 +1,4 @@
+import { type TernaryResult } from '../ternary-result.mjs';
 import { isErr } from './ternary-result-is-err.mjs';
 import { isWarn } from './ternary-result-is-warn.mjs';
 import { ok } from './ternary-result-ok.mjs';

package/src/functional/ternary-result/impl/types.mts

@@ -1,3 +1,10 @@
+import {
+  type TernaryErr,
+  type TernaryOk,
+  type TernaryWarn,
+  type UnknownTernaryResult,
+} from '../ternary-result.mjs';
+
 /**
  * Extracts the success value type `S` from a `TernaryResult.Ok<S>`.
  */

package/src/functional/ternary-result/impl/variant-name.mts

@@ -1,3 +1,4 @@
+import { type UnknownTernaryResult } from '../ternary-result.mjs';
 import { ErrTypeTagName, OkTypeTagName, WarnTypeTagName } from './tag.mjs';
 
 /** @internal Returns the human readable variant label for the given tag. */

package/src/functional/ternary-result/index.mts

@@ -1 +1 @@
-export * as TernaryResult from './impl/index.mjs';
+export * from './ternary-result.mjs';

package/src/functional/ternary-result/ternary-result.mts

@@ -0,0 +1,54 @@
+/**
+ * Represents a `TernaryResult` that is a success, containing a value.
+ */
+export type TernaryOk<S> = Readonly<{
+  /** @internal Discriminant property for the 'Ok' type. */
+  $$tag: 'ts-data-forge::Result.ok';
+
+  /** The success value. */
+  value: S;
+}>;
+
+/**
+ * Represents a `TernaryResult` that contains a success value and an attached
+ * warning.
+ */
+export type TernaryWarn<S, W> = Readonly<{
+  /** @internal Discriminant property for the 'Warn' type. */
+  $$tag: 'ts-data-forge::Result.warn';
+
+  /** The success value. */
+  value: S;
+
+  /** The warning value. */
+  warning: W;
+}>;
+
+/**
+ * Represents a `TernaryResult` that is an error, containing an error value.
+ */
+export type TernaryErr<E> = Readonly<{
+  /** @internal Discriminant property for the 'Err' type. */
+  $$tag: 'ts-data-forge::Result.err';
+
+  /** The error value. */
+  value: E;
+}>;
+
+/**
+ * Represents a value that can be `Ok`, `Warn`, or `Err`.
+ */
+export type TernaryResult<S, E, W = E> =
+  | TernaryOk<S>
+  | TernaryWarn<S, W>
+  | TernaryErr<E>;
+
+/**
+ * Base type for any `TernaryResult`, used for generic constraints.
+ */
+export type UnknownTernaryResult =
+  | TernaryOk<unknown>
+  | TernaryWarn<unknown, unknown>
+  | TernaryErr<unknown>;
+
+export * as TernaryResult from './impl/index.mjs';

package/src/guard/has-key.mts

@@ -1,3 +1,5 @@
+import { type ReadonlyRecord, type UnknownRecord } from 'ts-type-forge';
+
 /**
  * Type guard function that checks if an object has a specific key as its own
  * property.

package/src/guard/has-key.test.mts

@@ -1,3 +1,4 @@
+import { type ReadonlyRecord } from 'ts-type-forge';
 import { expectType } from '../expect-type.mjs';
 import { hasKey, type HasKeyReturnType } from './has-key.mjs';
 
@@ -52,6 +53,7 @@ test('hasKey type inferences', () => {
   {
     type R = Readonly<{ a: 0 } | { b: 1 }>;
 
+    // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-assertion
     const obj: R = { a: 0 } as R;
 
     if (hasKey(obj, 'a')) {
@@ -68,6 +70,7 @@ test('hasKey type inferences', () => {
   {
     type R = Readonly<{ a: 0 } | { a: 1; b: 1 } | { b: 2 } | { c: 3 }>;
 
+    // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-assertion
     const obj: R = { a: 0 } as R;
 
     if (hasKey(obj, 'a') && hasKey(obj, 'b')) {
@@ -84,6 +87,7 @@ test('hasKey type inferences', () => {
       | ReadonlyRecord<string, number>
       | Readonly<{ a: 0 } | { a: 1; b: 1 } | { b: 2 }>;
 
+    // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-assertion
     const obj: R = { a: 0 } as R;
 
     expectType<

package/src/guard/is-non-empty-string.mts

@@ -1,3 +1,5 @@
+import { type RelaxedExclude } from 'ts-type-forge';
+
 /**
  * Type guard that checks if a value is a non-empty string.
  *

package/src/guard/is-non-null-object.test.mts

@@ -1,3 +1,4 @@
+import { type UnknownRecord } from 'ts-type-forge';
 import { expectType } from '../expect-type.mjs';
 import { isNonNullObject } from './is-non-null-object.mjs';
 

package/src/guard/is-primitive.mts

@@ -1,3 +1,4 @@
+import { type Primitive } from 'ts-type-forge';
 import { expectType } from '../expect-type.mjs';
 
 /**

package/src/guard/is-record.mts

@@ -1,3 +1,4 @@
+import { type MutableRecord, type UnknownRecord } from 'ts-type-forge';
 import { isNonNullObject } from './is-non-null-object.mjs';
 
 /**

package/src/guard/is-record.test.mts

@@ -1,3 +1,4 @@
+import { type UnknownRecord } from 'ts-type-forge';
 import { expectType } from '../expect-type.mjs';
 import { isRecord } from './is-record.mjs';
 

package/src/guard/is-type.mts

@@ -1,3 +1,5 @@
+import { type RelaxedExclude } from 'ts-type-forge';
+
 /**
  * Type guard that checks if a value is `undefined`.
  *

package/src/guard/key-is-in.mts

@@ -1,3 +1,5 @@
+import { type UnknownRecord } from 'ts-type-forge';
+
 /**
  * Type guard that checks if a key exists as an own property in an object.
  *

package/src/guard/key-is-in.test.mts

@@ -1,3 +1,4 @@
+import { type ReadonlyRecord } from 'ts-type-forge';
 import { keyIsIn } from './key-is-in.mjs';
 
 const f = <Key extends string, V, KeySub extends Key>(
@@ -6,6 +7,7 @@ const f = <Key extends string, V, KeySub extends Key>(
 ): V | undefined => (keyIsIn(key, obj) ? obj[key] : undefined);
 
 describe(keyIsIn, () => {
+  // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-assertion
   f('a' as 'a' | 'b' | 'c', { a: 0, b: 1 });
 
   test('', () => {

package/src/iterator/range.mts

@@ -1,3 +1,9 @@
+import {
+  type NonZeroSafeInt,
+  type PositiveSafeInt,
+  type SafeUint,
+  type WithSmallInt,
+} from 'ts-type-forge';
 import { SafeInt, asSafeInt } from '../number/index.mjs';
 
 /**

package/src/json/json.mts

@@ -1,3 +1,8 @@
+import {
+  type JsonValue,
+  type UintRangeInclusive,
+  type UnknownRecord,
+} from 'ts-type-forge';
 import { Arr } from '../array/index.mjs';
 import { pipe, Result } from '../functional/index.mjs';
 import { isRecord } from '../guard/index.mjs';

package/src/number/branded-types/finite-number.mts

@@ -1,6 +1,13 @@
+import {
+  type Int,
+  type NonNegativeFiniteNumber,
+  type FiniteNumber as TtfImported_FiniteNumber,
+} from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type FiniteNumber = TtfImported_FiniteNumber;
+
 type ElementType = FiniteNumber;
 
 const typeNameInMessage = 'a finite number';

package/src/number/branded-types/int.mts

@@ -1,6 +1,9 @@
+import { type Int as TtfImported_Int } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type Int = TtfImported_Int;
+
 type ElementType = Int;
 
 const typeNameInMessage = 'an integer';

package/src/number/branded-types/int16.mts

@@ -1,6 +1,9 @@
+import { type Int16 as TtfImported_Int16 } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type Int16 = TtfImported_Int16;
+
 type ElementType = Int16;
 
 const typeNameInMessage = 'an integer in [-2^15, 2^15)';

package/src/number/branded-types/int32.mts

@@ -1,6 +1,9 @@
+import { type Int32 as TtfImported_Int32 } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type Int32 = TtfImported_Int32;
+
 type ElementType = Int32;
 
 const typeNameInMessage = 'an integer in [-2^31, 2^31)';

package/src/number/branded-types/non-negative-finite-number.mts

@@ -1,6 +1,12 @@
+import {
+  type NonNegativeFiniteNumber as TtfImported_NonNegativeFiniteNumber,
+  type Uint,
+} from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonNegativeFiniteNumber = TtfImported_NonNegativeFiniteNumber;
+
 type ElementType = NonNegativeFiniteNumber;
 
 const typeNameInMessage = 'a non-negative finite number';

package/src/number/branded-types/non-negative-int16.mts

@@ -1,6 +1,9 @@
+import { type NonNegativeInt16 as TtfImported_NonNegativeInt16 } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonNegativeInt16 = TtfImported_NonNegativeInt16;
+
 type ElementType = NonNegativeInt16;
 
 const typeNameInMessage = 'a non-negative integer in [0, 2^15)';

package/src/number/branded-types/non-negative-int32.mts

@@ -1,6 +1,9 @@
+import { type NonNegativeInt32 as TtfImported_NonNegativeInt32 } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonNegativeInt32 = TtfImported_NonNegativeInt32;
+
 type ElementType = NonNegativeInt32;
 
 const typeNameInMessage = 'a non-negative integer in [0, 2^31)';

package/src/number/branded-types/non-zero-finite-number.mts

@@ -1,6 +1,14 @@
+import {
+  type Int,
+  type NonZeroInt,
+  type PositiveFiniteNumber,
+  type NonZeroFiniteNumber as TtfImported_NonZeroFiniteNumber,
+} from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonZeroFiniteNumber = TtfImported_NonZeroFiniteNumber;
+
 type ElementType = NonZeroFiniteNumber;
 
 const typeNameInMessage = 'a non-zero finite number';

package/src/number/branded-types/non-zero-int.mts

@@ -1,6 +1,9 @@
+import { type NonZeroInt as TtfImported_NonZeroInt } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonZeroInt = TtfImported_NonZeroInt;
+
 type ElementType = NonZeroInt;
 
 const typeNameInMessage = 'a non-zero integer';

package/src/number/branded-types/non-zero-int16.mts

@@ -1,6 +1,9 @@
+import { type NonZeroInt16 as TtfImported_NonZeroInt16 } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonZeroInt16 = TtfImported_NonZeroInt16;
+
 type ElementType = NonZeroInt16;
 
 const typeNameInMessage = 'a non-zero integer in [-2^15, 2^15)';