ts-data-forge 1.0.0 → 1.0.2

package/dist/number/refined-number-utils.d.mts

@@ -0,0 +1,191 @@
+/** @internal */
+export declare namespace TsVerifiedInternals {
+    /**
+     * Internal utilities for creating and managing refined (branded) number types.
+     *
+     * This namespace provides factory functions and type utilities for building
+     * type-safe numeric operations with compile-time constraints. It serves as
+     * the foundation for all branded number types in the library, including:
+     * - Integer types (Int, SafeInt, Int8, Int16, Int32)
+     * - Unsigned types (UInt, UInt8, UInt16, UInt32)
+     * - Constrained types (NonZero, NonNegative, Positive)
+     * - Range-bounded types
+     *
+     * The utilities handle:
+     * - Type validation and narrowing
+     * - Arithmetic operations that preserve type constraints
+     * - Automatic clamping for bounded types
+     * - Random number generation within type bounds
+     *
+     * @internal This namespace is not part of the public API
+     */
+    namespace RefinedNumberUtils {
+        type UnknownNumberBrand = ChangeBaseBrand<UnknownBrand, number>;
+        /**
+         * Converts a branded number type to include the Int brand.
+         * @template N - A branded number type
+         * @internal
+         */
+        export type ToInt<N extends UnknownNumberBrand> = IntersectBrand<N, Int>;
+        type ToNonZero<N extends UnknownNumberBrand> = IntersectBrand<N, NonZeroNumber>;
+        type ToNonZeroIntWithSmallInt<N extends Int> = WithSmallInt<CastToInt<ToNonZero<N>>>;
+        /**
+         * Converts a branded number type to include the NonNegativeNumber brand.
+         * @template N - A branded number type
+         * @internal
+         */
+        export type ToNonNegative<N extends UnknownNumberBrand> = IntersectBrand<N, NonNegativeNumber>;
+        /**
+         * Removes the non-zero brand constraint from a branded number type.
+         * Used when operations may produce zero values.
+         * @template N - A branded number type
+         * @internal
+         */
+        export type RemoveNonZeroBrandKey<N extends UnknownNumberBrand> = Brand<GetBrandValuePart<N>, RelaxedExclude<UnwrapBrandTrueKeys<N>, '!=0'> & string, UnwrapBrandFalseKeys<N> & string>;
+        type CastToInt<N> = N extends Int ? N : never;
+        /**
+         * Generates a type-safe API for a branded number type based on its characteristics.
+         *
+         * This type dynamically constructs an object type with appropriate methods based
+         * on the number class. For example:
+         * - Integer types don't get floor/ceil/round methods
+         * - Non-negative types don't get abs method
+         * - Range-bounded types get MIN_VALUE/MAX_VALUE constants
+         *
+         * @template N - The branded number type
+         * @template classes - Union of characteristics: 'int' | 'non-negative' | 'positive' | 'range'
+         * @internal
+         */
+        export type NumberClass<N extends UnknownNumberBrand, classes extends 'int' | 'non-negative' | 'positive' | 'range'> = ('int' extends classes ? unknown : 'positive' extends classes ? Readonly<{
+            floor: (x: N, y: N) => RemoveNonZeroBrandKey<ToInt<N>>;
+            ceil: (x: N, y: N) => ToInt<N>;
+            round: (x: N, y: N) => RemoveNonZeroBrandKey<ToInt<N>>;
+        }> : Readonly<{
+            floor: (x: N, y: N) => ToInt<N>;
+            ceil: (x: N, y: N) => ToInt<N>;
+            round: (x: N, y: N) => ToInt<N>;
+        }>) & ('non-negative' extends classes ? Readonly<{
+            MIN_VALUE: number;
+            clamp: (a: number) => N;
+        }> : unknown) & ('non-negative' extends classes ? unknown : 'positive' extends classes ? unknown : Readonly<{
+            abs: (x: N) => ToNonNegative<N>;
+        }>) & ('positive' extends classes ? Readonly<{
+            MIN_VALUE: number;
+            clamp: (a: number) => N;
+        }> : unknown) & ('range' extends classes ? Readonly<{
+            MIN_VALUE: number;
+            MAX_VALUE: number;
+            clamp: (a: number) => N;
+        }> : unknown) & Readonly<{
+            is: (a: number) => a is N;
+            min: (...values: readonly N[]) => N;
+            max: (...values: readonly N[]) => N;
+            random: (min: N, max: N) => N;
+            pow: (x: N, y: N) => N;
+            add: (x: N, y: N) => N;
+            sub: (x: N, y: N) => N;
+            mul: (x: N, y: N) => N;
+            div: (x: N, y: ToNonZero<N>) => N;
+        }>;
+        type OperatorsForInteger<ElementType extends Int, MIN_VALUE extends number | undefined, MAX_VALUE extends number | undefined, ElementTypeWithSmallInt extends WithSmallInt<ElementType> = WithSmallInt<ElementType>> = Readonly<{
+            MIN_VALUE: MIN_VALUE;
+            MAX_VALUE: MAX_VALUE;
+            is: (a: number) => a is ElementType;
+            abs: (x: ElementTypeWithSmallInt) => ToNonNegative<ElementType>;
+            min: (...values: readonly ElementTypeWithSmallInt[]) => ElementType;
+            max: (...values: readonly ElementTypeWithSmallInt[]) => ElementType;
+            pow: (x: ElementTypeWithSmallInt, y: ElementTypeWithSmallInt) => ElementType;
+            add: (x: ElementTypeWithSmallInt, y: ElementTypeWithSmallInt) => ElementType;
+            sub: (x: ElementTypeWithSmallInt, y: ElementTypeWithSmallInt) => ElementType;
+            mul: (x: ElementTypeWithSmallInt, y: ElementTypeWithSmallInt) => ElementType;
+            div: (x: ElementTypeWithSmallInt, y: ToNonZeroIntWithSmallInt<ElementType>) => ElementType;
+            random: (min: ElementTypeWithSmallInt, max: ElementTypeWithSmallInt) => ElementType;
+            randomNonZero: (min: ElementTypeWithSmallInt, max: ElementTypeWithSmallInt) => ElementType;
+            castType: <N extends number>(x: N) => ElementType & N;
+            clamp: TypeEq<MAX_VALUE | MIN_VALUE, undefined> extends true ? undefined : (x: number) => ElementType;
+        }>;
+        /**
+         * Factory function that creates a complete set of type-safe operations for integer types.
+         *
+         * This function generates:
+         * - Type guards and validators
+         * - Arithmetic operations that preserve type constraints
+         * - Utility functions (min, max, abs, random)
+         * - Automatic clamping for bounded types
+         *
+         * All operations ensure results remain within the type's constraints,
+         * using clamping when bounds are specified.
+         *
+         * @template ElementType - The integer branded type
+         * @template MIN_VALUE - Optional minimum value for bounded types
+         * @template MAX_VALUE - Optional maximum value for bounded types
+         *
+         * @param config - Configuration object
+         * @param config.integerOrSafeInteger - Whether to use Number.isInteger or Number.isSafeInteger
+         * @param config.nonZero - If true, excludes zero from valid values
+         * @param config.MIN_VALUE - Minimum valid value (inclusive)
+         * @param config.MAX_VALUE - Maximum valid value (inclusive)
+         * @param config.typeNameInMessage - Human-readable type name for error messages
+         *
+         * @returns Object containing all type-safe operations for the integer type
+         * @internal
+         */
+        export const operatorsForInteger: <ElementType extends Int, MIN_VALUE extends number | undefined, MAX_VALUE extends number | undefined>({ integerOrSafeInteger, nonZero, MIN_VALUE, MAX_VALUE, typeNameInMessage, }: Readonly<{
+            integerOrSafeInteger: "Integer" | "SafeInteger";
+            nonZero?: boolean;
+            MIN_VALUE: MIN_VALUE;
+            MAX_VALUE: MAX_VALUE;
+            typeNameInMessage: string;
+        }>) => OperatorsForInteger<ElementType, MIN_VALUE, MAX_VALUE>;
+        type OperatorsForFloat<ElementType extends UnknownNumberBrand, MIN_VALUE extends number | undefined, MAX_VALUE extends number | undefined> = Readonly<{
+            MIN_VALUE: MIN_VALUE;
+            MAX_VALUE: MAX_VALUE;
+            is: (a: number) => a is ElementType;
+            abs: (x: ElementType) => ToNonNegative<ElementType>;
+            min: (...values: readonly ElementType[]) => ElementType;
+            max: (...values: readonly ElementType[]) => ElementType;
+            pow: (x: ElementType, y: ElementType) => ElementType;
+            add: (x: ElementType, y: ElementType) => ElementType;
+            sub: (x: ElementType, y: ElementType) => ElementType;
+            mul: (x: ElementType, y: ElementType) => ElementType;
+            div: (x: ElementType, y: ToNonZero<ElementType>) => ElementType;
+            random: (min: ElementType, max: ElementType) => ElementType;
+            randomNonZero: (min: ElementType, max: ElementType) => ElementType;
+            castType: <N extends number>(x: N) => ElementType & N;
+            clamp: TypeEq<MAX_VALUE | MIN_VALUE, undefined> extends true ? undefined : (x: number) => ElementType;
+        }>;
+        /**
+         * Factory function that creates a complete set of type-safe operations for floating-point types.
+         *
+         * This function generates:
+         * - Type guards and validators (checking for finite values)
+         * - Arithmetic operations that preserve type constraints
+         * - Utility functions (min, max, abs, random)
+         * - Automatic clamping for bounded types
+         *
+         * All operations ensure results remain finite and within any specified bounds.
+         * Division by zero is prevented through type constraints.
+         *
+         * @template ElementType - The floating-point branded type
+         * @template MIN_VALUE - Optional minimum value for bounded types
+         * @template MAX_VALUE - Optional maximum value for bounded types
+         *
+         * @param config - Configuration object
+         * @param config.nonZero - If true, excludes zero from valid values
+         * @param config.MIN_VALUE - Minimum valid value (inclusive)
+         * @param config.MAX_VALUE - Maximum valid value (inclusive)
+         * @param config.typeNameInMessage - Human-readable type name for error messages
+         *
+         * @returns Object containing all type-safe operations for the floating-point type
+         * @internal
+         */
+        export const operatorsForFloat: <ElementType extends UnknownNumberBrand, MIN_VALUE extends number | undefined, MAX_VALUE extends number | undefined>({ nonZero, MIN_VALUE, MAX_VALUE, typeNameInMessage, }: Readonly<{
+            nonZero?: boolean;
+            MIN_VALUE: MIN_VALUE;
+            MAX_VALUE: MAX_VALUE;
+            typeNameInMessage: string;
+        }>) => OperatorsForFloat<ElementType, MIN_VALUE, MAX_VALUE>;
+        export {};
+    }
+}
+//# sourceMappingURL=refined-number-utils.d.mts.map

package/dist/number/refined-number-utils.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refined-number-utils.d.mts","sourceRoot":"","sources":["../../src/number/refined-number-utils.mts"],"names":[],"mappings":"AAIA,gBAAgB;AAChB,yBAAiB,mBAAmB,CAAC;IACnC;;;;;;;;;;;;;;;;;;OAkBG;IACH,UAAiB,kBAAkB,CAAC;QAalC,KAAK,kBAAkB,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAEhE;;;;WAIG;QACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,kBAAkB,IAAI,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAEzE,KAAK,SAAS,CAAC,CAAC,SAAS,kBAAkB,IAAI,cAAc,CAC3D,CAAC,EACD,aAAa,CACd,CAAC;QAMF,KAAK,wBAAwB,CAAC,CAAC,SAAS,GAAG,IAAI,YAAY,CACzD,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACxB,CAAC;QAEF;;;;WAIG;QACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,kBAAkB,IAAI,cAAc,CACtE,CAAC,EACD,iBAAiB,CAClB,CAAC;QAEF;;;;;WAKG;QACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,kBAAkB,IAAI,KAAK,CACrE,iBAAiB,CAAC,CAAC,CAAC,EACpB,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,EACtD,oBAAoB,CAAC,CAAC,CAAC,GAAG,MAAM,CACjC,CAAC;QAEF,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC;QAE9C;;;;;;;;;;;;WAYG;QACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,kBAAkB,EAC5B,OAAO,SAAS,KAAK,GAAG,cAAc,GAAG,UAAU,GAAG,OAAO,IAC3D,CAAC,KAAK,SAAS,OAAO,GACtB,OAAO,GACP,UAAU,SAAS,OAAO,GACxB,QAAQ,CAAC;YACP,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;YAC/B,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;SACxD,CAAC,GACF,QAAQ,CAAC;YACP,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;YAC/B,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;SACjC,CAAC,CAAC,GACP,CAAC,cAAc,SAAS,OAAO,GAC3B,QAAQ,CAAC;YACP,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC;SACzB,CAAC,GACF,OAAO,CAAC,GACZ,CAAC,cAAc,SAAS,OAAO,GAC3B,OAAO,GACP,UAAU,SAAS,OAAO,GACxB,OAAO,GACP,QAAQ,CAAC;YACP,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC;SACjC,CAAC,CAAC,GACT,CAAC,UAAU,SAAS,OAAO,GACvB,QAAQ,CAAC;YACP,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC;SACzB,CAAC,GACF,OAAO,CAAC,GACZ,CAAC,OAAO,SAAS,OAAO,GACpB,QAAQ,CAAC;YACP,SAAS,EAAE,MAAM,CAAC;YAClB,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC;SACzB,CAAC,GACF,OAAO,CAAC,GACZ,QAAQ,CAAC;YACP,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACpC,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACpC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC9B,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SACnC,CAAC,CAAC;QA+DL,KAAK,mBAAmB,CACtB,WAAW,SAAS,GAAG,EACvB,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,uBAAuB,SACrB,YAAY,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,IACrD,QAAQ,CAAC;YACX,SAAS,EAAE,SAAS,CAAC;YACrB,SAAS,EAAE,SAAS,CAAC;YAErB,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC;YAEpC,GAAG,EAAE,CAAC,CAAC,EAAE,uBAAuB,KAAK,aAAa,CAAC,WAAW,CAAC,CAAC;YAEhE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,uBAAuB,EAAE,KAAK,WAAW,CAAC;YAEpE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,uBAAuB,EAAE,KAAK,WAAW,CAAC;YAEpE,GAAG,EAAE,CACH,CAAC,EAAE,uBAAuB,EAC1B,CAAC,EAAE,uBAAuB,KACvB,WAAW,CAAC;YAEjB,GAAG,EAAE,CACH,CAAC,EAAE,uBAAuB,EAC1B,CAAC,EAAE,uBAAuB,KACvB,WAAW,CAAC;YAEjB,GAAG,EAAE,CACH,CAAC,EAAE,uBAAuB,EAC1B,CAAC,EAAE,uBAAuB,KACvB,WAAW,CAAC;YAEjB,GAAG,EAAE,CACH,CAAC,EAAE,uBAAuB,EAC1B,CAAC,EAAE,uBAAuB,KACvB,WAAW,CAAC;YAEjB,GAAG,EAAE,CACH,CAAC,EAAE,uBAAuB,EAC1B,CAAC,EAAE,wBAAwB,CAAC,WAAW,CAAC,KACrC,WAAW,CAAC;YAEjB,MAAM,EAAE,CACN,GAAG,EAAE,uBAAuB,EAC5B,GAAG,EAAE,uBAAuB,KACzB,WAAW,CAAC;YAEjB,aAAa,EAAE,CACb,GAAG,EAAE,uBAAuB,EAC5B,GAAG,EAAE,uBAAuB,KACzB,WAAW,CAAC;YAEjB,QAAQ,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,WAAW,GAAG,CAAC,CAAC;YAEtD,KAAK,EAAE,MAAM,CAAC,SAAS,GAAG,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,GACxD,SAAS,GACT,CAAC,CAAC,EAAE,MAAM,KAAK,WAAW,CAAC;SAChC,CAAC,CAAC;QAEH;;;;;;;;;;;;;;;;;;;;;;;;;WAyBG;QACH,MAAM,CAAC,MAAM,mBAAmB,GAC9B,WAAW,SAAS,GAAG,EACvB,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,6EAMC,QAAQ,CAAC;YACV,oBAAoB,EAAE,SAAS,GAAG,aAAa,CAAC;YAChD,OAAO,CAAC,EAAE,OAAO,CAAC;YAClB,SAAS,EAAE,SAAS,CAAC;YACrB,SAAS,EAAE,SAAS,CAAC;YACrB,iBAAiB,EAAE,MAAM,CAAC;SAC3B,CAAC,KAAG,mBAAmB,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAuGzD,CAAC;QAEF,KAAK,iBAAiB,CACpB,WAAW,SAAS,kBAAkB,EACtC,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,SAAS,SAAS,MAAM,GAAG,SAAS,IAClC,QAAQ,CAAC;YACX,SAAS,EAAE,SAAS,CAAC;YACrB,SAAS,EAAE,SAAS,CAAC;YAErB,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC;YAEpC,GAAG,EAAE,CAAC,CAAC,EAAE,WAAW,KAAK,aAAa,CAAC,WAAW,CAAC,CAAC;YACpD,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,WAAW,EAAE,KAAK,WAAW,CAAC;YACxD,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,WAAW,EAAE,KAAK,WAAW,CAAC;YACxD,GAAG,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,KAAK,WAAW,CAAC;YACrD,GAAG,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,KAAK,WAAW,CAAC;YACrD,GAAG,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,KAAK,WAAW,CAAC;YACrD,GAAG,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,KAAK,WAAW,CAAC;YACrD,GAAG,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,KAAK,WAAW,CAAC;YAChE,MAAM,EAAE,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,KAAK,WAAW,CAAC;YAC5D,aAAa,EAAE,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,KAAK,WAAW,CAAC;YAEnE,QAAQ,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,WAAW,GAAG,CAAC,CAAC;YAEtD,KAAK,EAAE,MAAM,CAAC,SAAS,GAAG,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,GACxD,SAAS,GACT,CAAC,CAAC,EAAE,MAAM,KAAK,WAAW,CAAC;SAChC,CAAC,CAAC;QAEH;;;;;;;;;;;;;;;;;;;;;;;;WAwBG;QACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,WAAW,SAAS,kBAAkB,EACtC,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,SAAS,SAAS,MAAM,GAAG,SAAS,EACpC,uDAKC,QAAQ,CAAC;YACV,OAAO,CAAC,EAAE,OAAO,CAAC;YAClB,SAAS,EAAE,SAAS,CAAC;YACrB,SAAS,EAAE,SAAS,CAAC;YACrB,iBAAiB,EAAE,MAAM,CAAC;SAC3B,CAAC,KAAG,iBAAiB,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CA6EvD,CAAC;;KACH;CACF"}

package/dist/number/refined-number-utils.mjs

@@ -0,0 +1,179 @@
+import '../functional/optional.mjs';
+import { pipe } from '../functional/pipe.mjs';
+import '../functional/result.mjs';
+import { Num } from './num.mjs';
+
+/** @internal */
+var TsVerifiedInternals;
+(function (TsVerifiedInternals) {
+    (function (RefinedNumberUtils) {
+        const castTypeImpl = (is, typeNameInErrorMessage) => (a) => {
+            if (!is(a)) {
+                throw new TypeError(`Expected ${typeNameInErrorMessage}, got: ${a}`);
+            }
+            return a;
+        };
+        const isNonZero = (n) => n !== 0;
+        const isFnOrUndefined = (min, max) => min === undefined
+            ? max === undefined
+                ? undefined
+                : (n) => n <= max
+            : max === undefined
+                ? (n) => min <= n
+                : Num.isInRangeInclusive(min, max);
+        const clampFnOrUndefined = (min, max) => min === undefined
+            ? max === undefined
+                ? undefined
+                : (n) => Math.min(max, n)
+            : max === undefined
+                ? (n) => Math.max(min, n)
+                : Num.clamp(min, max);
+        /**
+         * Factory function that creates a complete set of type-safe operations for integer types.
+         *
+         * This function generates:
+         * - Type guards and validators
+         * - Arithmetic operations that preserve type constraints
+         * - Utility functions (min, max, abs, random)
+         * - Automatic clamping for bounded types
+         *
+         * All operations ensure results remain within the type's constraints,
+         * using clamping when bounds are specified.
+         *
+         * @template ElementType - The integer branded type
+         * @template MIN_VALUE - Optional minimum value for bounded types
+         * @template MAX_VALUE - Optional maximum value for bounded types
+         *
+         * @param config - Configuration object
+         * @param config.integerOrSafeInteger - Whether to use Number.isInteger or Number.isSafeInteger
+         * @param config.nonZero - If true, excludes zero from valid values
+         * @param config.MIN_VALUE - Minimum valid value (inclusive)
+         * @param config.MAX_VALUE - Maximum valid value (inclusive)
+         * @param config.typeNameInMessage - Human-readable type name for error messages
+         *
+         * @returns Object containing all type-safe operations for the integer type
+         * @internal
+         */
+        RefinedNumberUtils.operatorsForInteger = ({ integerOrSafeInteger, nonZero, MIN_VALUE, MAX_VALUE, typeNameInMessage, }) => {
+            const is = (a) => (integerOrSafeInteger === 'Integer'
+                ? Number.isInteger(a)
+                : Number.isSafeInteger(a)) &&
+                (nonZero === true ? a !== 0 : true) &&
+                (isFnOrUndefined(MIN_VALUE, MAX_VALUE)?.(a) ?? true);
+            const castType = castTypeImpl(is, typeNameInMessage);
+            const clamp = pipe(clampFnOrUndefined(MIN_VALUE, MAX_VALUE)).mapNullable((cl) => (x) => castType(Math.round(cl(x)))).value;
+            const clampOrCastFn = clamp ?? castType;
+            const abs = (x) => 
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+            Math.abs(clampOrCastFn(x));
+            const min_ = (...values) => clampOrCastFn(Math.min(...values));
+            const max_ = (...values) => clampOrCastFn(Math.max(...values));
+            const pow = (x, y) => clampOrCastFn(x ** y);
+            const add = (x, y) => clampOrCastFn(x + y);
+            const sub = (x, y) => clampOrCastFn(x - y);
+            const mul = (x, y) => clampOrCastFn(x * y);
+            const div = (x, y) => clampOrCastFn(Math.floor(x / y));
+            const randomImpl = (min, max) => min + Math.floor((Math.max(max, min) - min + 1) * Math.random());
+            // [-5, 5] -> floor(11 * Math.random()) + (-5)
+            const random = (min, max) => clampOrCastFn(randomImpl(min, max));
+            const randomNonZero = (min, max) => {
+                while (true) {
+                    const r = randomImpl(min, max);
+                    if (Num.isNonZero(r))
+                        return clampOrCastFn(r);
+                }
+            };
+            return {
+                MIN_VALUE,
+                MAX_VALUE,
+                is,
+                abs,
+                min: min_,
+                max: max_,
+                pow,
+                add,
+                sub,
+                mul,
+                div,
+                random,
+                randomNonZero,
+                castType,
+                clamp: 
+                // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+                clamp,
+            };
+        };
+        /**
+         * Factory function that creates a complete set of type-safe operations for floating-point types.
+         *
+         * This function generates:
+         * - Type guards and validators (checking for finite values)
+         * - Arithmetic operations that preserve type constraints
+         * - Utility functions (min, max, abs, random)
+         * - Automatic clamping for bounded types
+         *
+         * All operations ensure results remain finite and within any specified bounds.
+         * Division by zero is prevented through type constraints.
+         *
+         * @template ElementType - The floating-point branded type
+         * @template MIN_VALUE - Optional minimum value for bounded types
+         * @template MAX_VALUE - Optional maximum value for bounded types
+         *
+         * @param config - Configuration object
+         * @param config.nonZero - If true, excludes zero from valid values
+         * @param config.MIN_VALUE - Minimum valid value (inclusive)
+         * @param config.MAX_VALUE - Maximum valid value (inclusive)
+         * @param config.typeNameInMessage - Human-readable type name for error messages
+         *
+         * @returns Object containing all type-safe operations for the floating-point type
+         * @internal
+         */
+        RefinedNumberUtils.operatorsForFloat = ({ nonZero, MIN_VALUE, MAX_VALUE, typeNameInMessage, }) => {
+            const is = (a) => Number.isFinite(a) &&
+                (nonZero === true ? a !== 0 : true) &&
+                (isFnOrUndefined(MIN_VALUE, MAX_VALUE)?.(a) ?? true);
+            const castType = castTypeImpl(is, typeNameInMessage);
+            const clamp = pipe(clampFnOrUndefined(MIN_VALUE, MAX_VALUE)).mapNullable((cl) => (x) => castType(cl(x))).value;
+            const clampOrCastFn = clamp ?? castType;
+            const abs = (x) => 
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+            Math.abs(x);
+            const min_ = (...values) => clampOrCastFn(Math.min(...values));
+            const max_ = (...values) => clampOrCastFn(Math.max(...values));
+            const pow = (x, y) => clampOrCastFn(x ** y);
+            const add = (x, y) => clampOrCastFn(x + y);
+            const sub = (x, y) => clampOrCastFn(x - y);
+            const mul = (x, y) => clampOrCastFn(x * y);
+            const div = (x, y) => clampOrCastFn(x / y);
+            const random = (min, max) => clampOrCastFn(min + (Math.max(max, min) - min) * Math.random());
+            const randomNonZero = (min, max) => {
+                while (true) {
+                    const r = random(min, max);
+                    if (isNonZero(r))
+                        return r;
+                }
+            };
+            return {
+                MIN_VALUE,
+                MAX_VALUE,
+                is,
+                abs,
+                min: min_,
+                max: max_,
+                pow,
+                add,
+                sub,
+                mul,
+                div,
+                random,
+                randomNonZero,
+                castType,
+                // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+                clamp: clamp,
+            };
+        };
+    })(TsVerifiedInternals.RefinedNumberUtils || (TsVerifiedInternals.RefinedNumberUtils = {}));
+})(TsVerifiedInternals || (TsVerifiedInternals = {}));
+
+export { TsVerifiedInternals };
+//# sourceMappingURL=refined-number-utils.mjs.map

package/dist/number/refined-number-utils.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"refined-number-utils.mjs","sources":["../../src/number/refined-number-utils.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AAIA;IACiB;AAAjB,CAAA,UAAiB,mBAAmB,EAAA;AAoBlC,IAAA,CAAA,UAAiB,kBAAkB,EAAA;AACjC,QAAA,MAAM,YAAY,GAChB,CACE,EAAmC,EACnC,sBAA8B,KAEhC,CAAmB,CAAI,KAAqB;AAC1C,YAAA,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;gBACV,MAAM,IAAI,SAAS,CAAC,CAAA,SAAA,EAAY,sBAAsB,CAAA,OAAA,EAAU,CAAC,CAAA,CAAE,CAAC;;AAEtE,YAAA,OAAO,CAAC;AACV,SAAC;QAgBH,MAAM,SAAS,GAAG,CAChB,CAAI,KACsB,CAAC,KAAK,CAAC;QAsInC,MAAM,eAAe,GAAG,CACtB,GAAuB,EACvB,GAAuB,KAEvB,GAAG,KAAK;cACJ,GAAG,KAAK;AACR,kBAAE;kBACA,CAAC,CAAC,KAAK,CAAC,IAAI;cACd,GAAG,KAAK;kBACN,CAAC,CAAC,KAAK,GAAG,IAAI;kBACd,GAAG,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC;QAExC,MAAM,kBAAkB,GAAG,CACzB,GAAuB,EACvB,GAAuB,KAEvB,GAAG,KAAK;cACJ,GAAG,KAAK;AACR,kBAAE;AACF,kBAAE,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;cACxB,GAAG,KAAK;AACR,kBAAE,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;kBACtB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;AA8D3B;;;;;;;;;;;;;;;;;;;;;;;;;AAyBG;AACU,QAAA,kBAAA,CAAA,mBAAmB,GAAG,CAIjC,EACA,oBAAoB,EACpB,OAAO,EACP,SAAS,EACT,SAAS,EACT,iBAAiB,GAOjB,KAA4D;YAG5D,MAAM,EAAE,GAAG,CAAC,CAAS,KACnB,CAAC,oBAAoB,KAAK;AACxB,kBAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AACpB,kBAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;AAC3B,iBAAC,OAAO,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;AACnC,iBAAC,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;YAEtD,MAAM,QAAQ,GAAG,YAAY,CAAc,EAAE,EAAE,iBAAiB,CAAC;AAEjE,YAAA,MAAM,KAAK,GAA6C,IAAI,CAC1D,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CACzC,CAAC,WAAW,CACX,CAAC,EAAE,KACD,CAAC,CAAS,KACR,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAChC,CAAC,KAAK;AAEP,YAAA,MAAM,aAAa,GAA+B,KAAK,IAAI,QAAQ;AAEnE,YAAA,MAAM,GAAG,GAAG,CAAC,CAA0B;;YAErC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAA+B;AAE1D,YAAA,MAAM,IAAI,GAAG,CACX,GAAG,MAA0C,KAC7B,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpD,YAAA,MAAM,IAAI,GAAG,CACX,GAAG,MAA0C,KAC7B,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpD,YAAA,MAAM,GAAG,GAAG,CACV,CAA0B,EAC1B,CAA0B,KACV,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC;AAEvC,YAAA,MAAM,GAAG,GAAG,CACV,CAA0B,EAC1B,CAA0B,KACV,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;AAEtC,YAAA,MAAM,GAAG,GAAG,CACV,CAA0B,EAC1B,CAA0B,KACV,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;AAEtC,YAAA,MAAM,GAAG,GAAG,CACV,CAA0B,EAC1B,CAA0B,KACV,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;YAEtC,MAAM,GAAG,GAAG,CACV,CAA0B,EAC1B,CAAwC,KACxB,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAElD,YAAA,MAAM,UAAU,GAAG,CACjB,GAA4B,EAC5B,GAA4B,KAE5B,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;;AAGlE,YAAA,MAAM,MAAM,GAAG,CACb,GAA4B,EAC5B,GAA4B,KACZ,aAAa,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAErD,YAAA,MAAM,aAAa,GAAG,CACpB,GAA4B,EAC5B,GAA4B,KACb;gBACf,OAAO,IAAI,EAAE;oBACX,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;AAC9B,oBAAA,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AAAE,wBAAA,OAAO,aAAa,CAAC,CAAC,CAAC;;AAEjD,aAAC;YAED,OAAO;gBACL,SAAS;gBACT,SAAS;gBACT,EAAE;gBACF,GAAG;AACH,gBAAA,GAAG,EAAE,IAAI;AACT,gBAAA,GAAG,EAAE,IAAI;gBACT,GAAG;gBACH,GAAG;gBACH,GAAG;gBACH,GAAG;gBACH,GAAG;gBACH,MAAM;gBACN,aAAa;gBACb,QAAQ;gBAER,KAAK;;gBAEH,KAE8B;aACxB;AACZ,SAAC;AA8BD;;;;;;;;;;;;;;;;;;;;;;;;AAwBG;AACU,QAAA,kBAAA,CAAA,iBAAiB,GAAG,CAI/B,EACA,OAAO,EACP,SAAS,EACT,SAAS,EACT,iBAAiB,GAMjB,KAA0D;AAC1D,YAAA,MAAM,EAAE,GAAG,CAAC,CAAS,KACnB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;AAClB,iBAAC,OAAO,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;AACnC,iBAAC,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;YAEtD,MAAM,QAAQ,GAAG,YAAY,CAAc,EAAE,EAAE,iBAAiB,CAAC;AAEjE,YAAA,MAAM,KAAK,GAA6C,IAAI,CAC1D,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CACzC,CAAC,WAAW,CACX,CAAC,EAAE,KACD,CAAC,CAAS,KACR,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACpB,CAAC,KAAK;AAEP,YAAA,MAAM,aAAa,GAA+B,KAAK,IAAI,QAAQ;AAEnE,YAAA,MAAM,GAAG,GAAG,CAAC,CAAc;;AAEzB,YAAA,IAAI,CAAC,GAAG,CAAC,CAAC,CAA+B;AAE3C,YAAA,MAAM,IAAI,GAAG,CAAC,GAAG,MAA8B,KAC7C,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpC,YAAA,MAAM,IAAI,GAAG,CAAC,GAAG,MAA8B,KAC7C,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;AAEpC,YAAA,MAAM,GAAG,GAAG,CAAC,CAAc,EAAE,CAAc,KACzC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC;AAEvB,YAAA,MAAM,GAAG,GAAG,CAAC,CAAc,EAAE,CAAc,KACzC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;AAEtB,YAAA,MAAM,GAAG,GAAG,CAAC,CAAc,EAAE,CAAc,KACzC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;AAEtB,YAAA,MAAM,GAAG,GAAG,CAAC,CAAc,EAAE,CAAc,KACzC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;AAEtB,YAAA,MAAM,GAAG,GAAG,CAAC,CAAc,EAAE,CAAyB,KACpD,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC;AAEtB,YAAA,MAAM,MAAM,GAAG,CAAC,GAAgB,EAAE,GAAgB,KAChD,aAAa,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;AAEjE,YAAA,MAAM,aAAa,GAAG,CACpB,GAAgB,EAChB,GAAgB,KACD;gBACf,OAAO,IAAI,EAAE;oBACX,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;oBAC1B,IAAI,SAAS,CAAC,CAAC,CAAC;AAAE,wBAAA,OAAO,CAAC;;AAE9B,aAAC;YAED,OAAO;gBACL,SAAS;gBACT,SAAS;gBACT,EAAE;gBACF,GAAG;AACH,gBAAA,GAAG,EAAE,IAAI;AACT,gBAAA,GAAG,EAAE,IAAI;gBACT,GAAG;gBACH,GAAG;gBACH,GAAG;gBACH,GAAG;gBACH,GAAG;gBACH,MAAM;gBACN,aAAa;gBACb,QAAQ;;AAGR,gBAAA,KAAK,EAAE,KAEuB;aACtB;AACZ,SAAC;AACH,KAAC,EA3hBgB,mBAAA,CAAA,kBAAkB,KAAlB,sCAAkB,GAAA,EAAA,CAAA,CAAA;AA4hBrC,CAAC,EAhjBgB,mBAAmB,KAAnB,mBAAmB,GAAA,EAAA,CAAA,CAAA;;;;"}

package/dist/object/index.d.mts

@@ -0,0 +1,2 @@
+export * from './object.mjs';
+//# sourceMappingURL=index.d.mts.map

package/dist/object/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/object/index.mts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC"}

package/dist/object/index.mjs

@@ -0,0 +1,2 @@
+export { Obj } from './object.mjs';
+//# sourceMappingURL=index.mjs.map

package/dist/object/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":""}