ts-data-forge 6.9.2 → 6.9.4

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/index.mts

@@ -7,3 +7,4 @@ export * from './number/index.mjs';
 export * from './object/index.mjs';
 export * from './others/index.mjs';
 export * from './promise/index.mjs';
+export * from './types.mjs';

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)';

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

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

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

@@ -1,6 +1,13 @@
+import {
+  type SafeInt,
+  type SafeUint,
+  type NonZeroSafeInt as TtfImported_NonZeroSafeInt,
+} from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type NonZeroSafeInt = TtfImported_NonZeroSafeInt;
+
 type ElementType = NonZeroSafeInt;
 
 const typeNameInMessage = 'a non-zero safe integer';

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

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

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

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

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

@@ -1,6 +1,13 @@
+import {
+  type PositiveInt,
+  type PositiveFiniteNumber as TtfImported_PositiveFiniteNumber,
+  type Uint,
+} from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type PositiveFiniteNumber = TtfImported_PositiveFiniteNumber;
+
 type ElementType = PositiveFiniteNumber;
 
 const typeNameInMessage = 'a positive finite number';

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

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

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

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

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

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

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

@@ -1,6 +1,12 @@
+import {
+  type SafeUint,
+  type PositiveSafeInt as TtfImported_PositiveSafeInt,
+} from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
+export type PositiveSafeInt = TtfImported_PositiveSafeInt;
+
 type ElementType = PositiveSafeInt;
 
 const typeNameInMessage = 'a positive safe integer';

package/src/number/branded-types/positive-uint16.mts

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