@fluixi/utils 1.0.0-alpha.53

package/dist/lib/maths/types/operations.d.ts

@@ -0,0 +1,188 @@
+/**
+ * Type-level mathematical operations that actually work.
+ * These use clever TypeScript tricks to perform type-level arithmetic.
+ * @module OperationTypes
+ */
+import { Integer, IsNegative } from "./basic.js";
+import { MakeNegative } from "./negative.js";
+/**
+ * Creates a tuple of length N.
+ * This is the foundation for all type-level arithmetic.
+ */
+type Tuple<N extends number, T = unknown, Acc extends T[] = []> = Acc['length'] extends N ? Acc : Tuple<N, T, [...Acc, T]>;
+/**
+ * Converts a number to a tuple length.
+ */
+type NumberToTuple<N extends number> = Tuple<N>;
+/**
+ * Converts a tuple to a number.
+ */
+type TupleToNumber<T extends unknown[]> = T['length'];
+/**
+ * Helper type to get the numeric value of a digit string.
+ */
+type Digit = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';
+/**
+ * Adds two numbers at the type level (works up to ~50).
+ */
+type _Add<A extends number, B extends number> = IsNegative<A> extends true ? IsNegative<B> extends true ? Add<Absolute<A>, Absolute<B>> : Compare<Absolute<A>, Absolute<B>> extends -1 ? Subtract<B, Absolute<A>> : Subtract<Absolute<A>, B> : TupleToNumber<[...Tuple<A>, ...Tuple<B>]> & number;
+/**
+ * Subtracts B from A at the type level (A - B).
+ */
+export type Subtract<A extends number, B extends number> = Tuple<A> extends [...Tuple<B>, ...infer R] ? TupleToNumber<R> : never;
+/**
+ * Multiplies two numbers at the type level.
+ */
+type _Multiply<A extends number, B extends number> = B extends 0 ? 0 : B extends 1 ? A : MultiplyRec<A, B, 0>;
+type MultiplyRec<A extends number, B extends number, Acc extends number> = B extends 0 ? Acc : MultiplyRec<A, Subtract<B, 1>, Add<Acc, A>>;
+/**
+ * Divides A by B at the type level (integer division).
+ */
+type _Divide<A extends number, B extends number> = B extends 0 ? never : DivideRec<A, B, 0>;
+type DivideRec<A extends number, B extends number, Q extends number> = A extends 0 ? Q : Subtract<A, B> extends never ? Q : DivideRec<Subtract<A, B>, B, Add<Q, 1>>;
+/**
+ * Modulo operation at the type level (A % B).
+ */
+export type Mod<A extends number, B extends number> = B extends 0 ? never : Subtract<A, Multiply<Divide<A, B>, B>>;
+export type Add<A extends number, B extends number> = IsNegative<A> extends true ? IsNegative<B> extends true ? MakeNegative<Add<Absolute<A>, Absolute<B>>> : Compare<Absolute<A>, Absolute<B>> extends 1 ? MakeNegative<Subtract<Absolute<A>, Absolute<B>>> : Subtract<Absolute<B>, Absolute<A>> : IsNegative<B> extends true ? Compare<A, Absolute<B>> extends 1 | 0 ? Subtract<A, Absolute<B>> : MakeNegative<Subtract<Absolute<B>, A>> : _Add<A, B>;
+/**
+ * Multiplies two numbers, handling signs correctly.
+ */
+export type Multiply<A extends number, B extends number> = (IsNegative<A> extends true ? -1 : 1) extends infer SignA ? (IsNegative<B> extends true ? -1 : 1) extends infer SignB ? SignA extends -1 ? SignB extends -1 ? _Multiply<Absolute<A>, Absolute<B>> : MakeNegative<_Multiply<Absolute<A>, Absolute<B>>> : SignB extends -1 ? MakeNegative<_Multiply<Absolute<A>, Absolute<B>>> : _Multiply<Absolute<A>, Absolute<B>> : never : never;
+/**
+ * Divides two numbers, handling signs correctly.
+ */
+export type Divide<A extends number, B extends number> = B extends 0 ? never : (IsNegative<A> extends true ? -1 : 1) extends infer SignA ? (IsNegative<B> extends true ? -1 : 1) extends infer SignB ? SignA extends -1 ? SignB extends -1 ? _Divide<Absolute<A>, Absolute<B>> : MakeNegative<_Divide<Absolute<A>, Absolute<B>>> : SignB extends -1 ? MakeNegative<_Divide<Absolute<A>, Absolute<B>>> : _Divide<Absolute<A>, Absolute<B>> : never : never;
+/**
+ * Compares two numbers at the type level.
+ * Returns -1 if A < B, 0 if A = B, 1 if A > B.
+ */
+export type Compare<A extends number, B extends number> = A extends B ? 0 : Absolute<A> extends A ? Absolute<B> extends B ? Tuple<A> extends [...Tuple<B>, ...any] ? 1 : -1 : 1 : Absolute<B> extends B ? -1 : never;
+/**
+ * Checks if A equals B at the type level.
+ */
+export type Equals<A extends number, B extends number> = A extends B ? (B extends A ? true : false) : false;
+/**
+ * Checks if A is less than B at the type level.
+ */
+export type LessThan<A extends number, B extends number> = Compare<A, B> extends -1 ? true : false;
+/**
+ * Checks if A is greater than B at the type level.
+ */
+export type GreaterThan<A extends number, B extends number> = Compare<A, B> extends 1 ? true : false;
+/**
+ * Checks if A is less than or equal to B at the type level.
+ */
+export type LessThanOrEqual<A extends number, B extends number> = Compare<A, B> extends -1 | 0 ? true : false;
+/**
+ * Checks if A is greater than or equal to B at the type level.
+ */
+export type GreaterThanOrEqual<A extends number, B extends number> = Compare<A, B> extends 1 | 0 ? true : false;
+/**
+ * Returns the minimum of two numbers at the type level.
+ */
+export type Min<A extends number, B extends number> = Compare<A, B> extends -1 | 0 ? A : B;
+/**
+ * Returns the maximum of two numbers at the type level.
+ */
+export type Max<A extends number, B extends number> = Compare<A, B> extends 1 | 0 ? A : B;
+/**
+ * Extracts the absolute value type from a number.
+ */
+export type Absolute<T extends number> = `${T}` extends `-${infer U extends number}` ? U : T;
+/**
+ * Represents a decimal number as a string for type manipulation.
+ */
+type DecimalString<N extends number> = `${N}` extends `${infer I}.${infer F}` ? [I, F] : [`${N}`, '0'];
+/**
+ * Rounds a number to the nearest integer at the type level.
+ * This works for numbers up to 2 decimal places.
+ */
+export type Round<T extends number> = DecimalString<T> extends [infer I extends string, infer F extends string] ? F extends Digit ? `${F}` extends `${'5' | '6' | '7' | '8' | '9'}` ? Add<ToNumber<I>, 1> : ToNumber<I> : ToNumber<I> : T;
+/**
+ * Helper to convert string to number.
+ */
+type ToNumber<S extends string> = S extends `${infer N extends number}` ? N : never;
+/**
+ * Rounds a number down to the nearest integer at the type level.
+ */
+export type Floor<T extends number> = DecimalString<T> extends [infer I extends string, any] ? ToNumber<I> : T;
+/**
+ * Rounds a number up to the nearest integer at the type level.
+ */
+export type Ceil<T extends number> = DecimalString<T> extends [infer I extends string, infer F extends string] ? F extends '0' ? ToNumber<I> : Add<ToNumber<I>, 1> : T;
+/**
+ * Truncates the decimal part of a number at the type level.
+ */
+export type Trunc<T extends number> = Floor<T>;
+/**
+ * Power operation at the type level (A^B).
+ */
+export type Power<Base extends number, Exponent extends number> = Exponent extends 0 ? 1 : Exponent extends 1 ? Base : PowerRec<Base, Exponent, 1>;
+type PowerRec<B extends number, E extends number, Acc extends number> = E extends 0 ? Acc : PowerRec<B, Subtract<E, 1>, Multiply<Acc, B>>;
+/**
+ * Factorial operation at the type level (n!).
+ * Works for n up to ~12 due to recursion limits.
+ */
+export type Factorial<N extends number> = N extends 0 ? 1 : N extends 1 ? 1 : Multiply<N, Factorial<Subtract<N, 1>>>;
+/**
+ * Clamps a value between min and max at the type level.
+ */
+export type Clamp<T extends number, MinVal extends number, MaxVal extends number> = Min<Max<T, MinVal>, MaxVal>;
+/**
+ * Creates a range of numbers from Start to End (inclusive) at the type level.
+ */
+export type Range<Start extends number, End extends number> = BuildRange<Start, End, []>;
+type BuildRange<S extends number, E extends number, Acc extends number[]> = GreaterThan<S, E> extends true ? Acc : BuildRange<Add<S, 1>, E, [...Acc, S]>;
+/**
+ * Increments a number by 1 at the type level.
+ */
+export type Increment<T extends number> = Add<T, 1>;
+/**
+ * Decrements a number by 1 at the type level.
+ */
+export type Decrement<T extends number> = Subtract<T, 1>;
+/**
+ * Checks if a number is even at the type level.
+ */
+export type IsEven<T extends number> = Mod<T, 2> extends 0 ? true : false;
+/**
+ * Checks if a number is odd at the type level.
+ */
+export type IsOdd<T extends number> = Mod<T, 2> extends 1 ? true : false;
+/**
+ * Checks if A is divisible by B at the type level.
+ */
+export type IsDivisible<A extends number, B extends number> = B extends 0 ? false : Mod<A, B> extends 0 ? true : false;
+/**
+ * Asserts that a type condition is true.
+ * Useful for writing type tests.
+ */
+export type AssertTrue<T extends true> = T;
+/**
+ * Asserts that two types are equal.
+ */
+export type AssertEqual<A, B> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? true : false;
+export type { Tuple, NumberToTuple, TupleToNumber };
+/**
+ * Represents an even integer.
+ */
+export type Even<T extends number> = T extends Integer ? `${T}` extends `${infer N extends number}` ? Mod<Absolute<N>, 2> extends 0 ? T : never : never : never;
+/**
+ * Represents an odd integer.
+ */
+export type Odd<T extends number> = T extends Integer ? `${T}` extends `${infer N extends number}` ? Mod<Absolute<N>, 2> extends 1 ? T : never : never : never;
+/**
+ * Extracts the sign of a number as a type.
+ * Returns -1, 0, or 1 as a numeric literal type.
+ */
+export type SignOf<T extends number> = T extends 0 ? 0 : `${T}` extends `-${string}` ? -1 : 1;
+/**
+ * Type-level subtraction that always returns a negative or zero result.
+ */
+export type SubtractToNegative<A extends number, B extends number> = Compare<A, B> extends 1 | 0 ? MakeNegative<Subtract<A, B>> : Subtract<A, B>;
+/**
+ * Returns the negative absolute value (always returns a negative number or zero).
+ */
+export type NegativeAbsolute<T extends number> = T extends 0 ? 0 : `-${Absolute<T>}` extends `${infer N extends number}` ? N : never;
+//# sourceMappingURL=operations.d.ts.map

package/dist/lib/maths/types/operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../../../src/lib/maths/types/operations.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAM7C;;;GAGG;AACH,KAAK,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,GAAG,EAAE,IAC5D,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAE3D;;GAEG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;AAEhD;;GAEG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEtD;;GAEG;AACH,KAAK,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAyBvE;;GAEG;AAGH,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACvE,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAC1D,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAClG,aAAa,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACrD,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GACtC,aAAa,CAAC,CAAC,CAAC,GAChB,KAAK,CAAC;AAEZ;;GAEG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAC/C,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEvB,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IACrE,CAAC,SAAS,CAAC,GAAG,GAAG,GACjB,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAE9C;;GAEG;AACH,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAC7C,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAErB,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACjE,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,GAChC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAChD,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAGvC,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAClD,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC3C,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GACzC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAChD,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GACpC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GACnC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GACxB,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACxC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEjB;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACrD,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,KAAK,GACvD,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,KAAK,GACvD,KAAK,SAAS,CAAC,CAAC,GACd,KAAK,SAAS,CAAC,CAAC,GACd,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GACnC,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAChD,KAAK,SAAS,CAAC,CAAC,GAChB,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC9C,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GACtC,KAAK,GACP,KAAK,CAAC;AAEZ;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACnD,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,KAAK,GACvD,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,KAAK,GACvD,KAAK,SAAS,CAAC,CAAC,GACd,KAAK,SAAS,CAAC,CAAC,GACd,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAChC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC9C,KAAK,SAAS,CAAC,CAAC,GAChB,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAC5C,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GACpC,KAAK,GACP,KAAK,CAAC;AAMZ;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACpD,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GACnC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GACnB,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,GAC1C,CAAC,CAAC,GACJ,CAAC,GACH,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAC5B,KAAK,CAAA;AAGP;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACnD,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACrD,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACxD,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAC5D,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAC/D,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAChD,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAChD,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAMtC;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IACnC,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AAQtD;;GAEG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IACjC,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAElE;;;GAGG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,IAChC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACjE,CAAC,SAAS,KAAK,GACb,GAAG,CAAC,EAAE,SAAS,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,GAC7C,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACnB,QAAQ,CAAC,CAAC,CAAC,GACf,QAAQ,CAAC,CAAC,CAAC,GACf,CAAC,CAAC;AAQR;;GAEG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAC5B,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,IAChC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAClD,QAAQ,CAAC,CAAC,CAAC,GACX,CAAC,CAAC;AAER;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,IAC/B,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACrE,CAAC,SAAS,GAAG,GACX,QAAQ,CAAC,CAAC,CAAC,GACX,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACrB,CAAC,CAAC;AAER;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;AAM/C;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,SAAS,MAAM,IAC5D,QAAQ,SAAS,CAAC,GAAG,CAAC,GACtB,QAAQ,SAAS,CAAC,GAAG,IAAI,GACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AAE9B,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAClE,CAAC,SAAS,CAAC,GAAG,GAAG,GACjB,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhD;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IACpC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAMzC;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IAC9E,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;AAE9B;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IACxD,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AAE7B,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,IACtE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1B,GAAG,GACH,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAE5C;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAMzD;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IACjC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAErC;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,IAChC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAErC;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACxD,CAAC,SAAS,CAAC,GAAG,KAAK,GACnB,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAMrC;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;AAE3C;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAC1B,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACjE,IAAI,GACJ,KAAK,CAAC;AAMZ,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,IAC/B,CAAC,SAAS,OAAO,GACf,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GACxC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GACzC,KAAK,GACP,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,IAC9B,CAAC,SAAS,OAAO,GACf,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GACxC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GACzC,KAAK,GACP,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IACjC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAC/D,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GACzB,YAAY,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC5B,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnB;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAC3C,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/lib/maths/types/operations.js

@@ -0,0 +1,6 @@
+/**
+ * Type-level mathematical operations that actually work.
+ * These use clever TypeScript tricks to perform type-level arithmetic.
+ * @module OperationTypes
+ */
+export {};

package/dist/lib/object/clone.cjs

@@ -0,0 +1 @@
+"use strict";var f=Object.defineProperty;var u=Object.getOwnPropertyDescriptor;var l=Object.getOwnPropertyNames;var c=Object.prototype.hasOwnProperty;var y=(e,t)=>{for(var r in t)f(e,r,{get:t[r],enumerable:!0})},d=(e,t,r,s)=>{if(t&&typeof t=="object"||typeof t=="function")for(let n of l(t))!c.call(e,n)&&n!==r&&f(e,n,{get:()=>t[n],enumerable:!(s=u(t,n))||s.enumerable});return e};var g=e=>d(f({},"__esModule",{value:!0}),e);var b={};y(b,{deepClone:()=>i});module.exports=g(b);var a=e=>e==null||Array.isArray(e)||typeof e=="function"||e instanceof Date||e instanceof RegExp||e instanceof Map||e instanceof Set||e instanceof Error?!1:typeof e=="object";var i=(e,t)=>{if(e==null||typeof e!="object")return e;if(e instanceof Date)return new Date(e.getTime());if(e instanceof RegExp)return new RegExp(e.source,e.flags);if(e instanceof Map){let r=new Map;return e.forEach((s,n)=>{(!t||!t.some(o=>o.toString()===n.toString()))&&r.set(n,i(s))}),r}if(e instanceof Set){let r=new Set;return e.forEach(s=>{r.add(i(s))}),r}if(Array.isArray(e))return Array.from(e).map(r=>i(r));if(a(e)){let r={};for(let n in e)Object.prototype.hasOwnProperty.call(e,n)&&(!t||!t.some(o=>o.toString()===n.toString()))&&(r[n]=i(e[n]));let s=Object.getOwnPropertySymbols(e);for(let n of s)(!t||!t.some(o=>o.toString()===n.toString()))&&(r[n]=i(e[n]));return r}return e};

package/dist/lib/object/clone.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Creates a deep clone of a value (object, array, primitive, or built-in types)
+ *
+ * This function creates a complete copy of the input value, including all nested
+ * properties, without maintaining any references to the original object. It properly
+ * handles various JavaScript built-in types including:
+ *
+ * - Primitive values (strings, numbers, booleans)
+ * - Plain objects
+ * - Arrays
+ * - Dates
+ * - RegExp
+ * - Maps
+ * - Sets
+ * - Symbols as object keys
+ *
+ * @template T - The type of the value being cloned
+ * @param obj - The value to clone
+ * @returns A deep copy of the input value with the same type
+ *
+ * @example
+ * // Cloning a nested object
+ * const obj = { a: 1, b: { c: 2 } };
+ * const clone = deepClone(obj);
+ * obj.b.c = 3;
+ * console.log(clone.b.c); // 2 (remains unchanged)
+ *
+ * @example
+ * // Cloning an array with objects
+ * const arr = [1, 2, { a: 3 }];
+ * const cloneArr = deepClone(arr);
+ * arr[2].a = 4;
+ * console.log(cloneArr[2].a); // 3 (remains unchanged)
+ *
+ * @example
+ * // Cloning built-in types
+ * const date = new Date();
+ * const map = new Map([['key', 'value']]);
+ * const set = new Set([1, 2, 3]);
+ *
+ * const dateClone = deepClone(date); // independent Date instance
+ * const mapClone = deepClone(map);   // independent Map instance
+ * const setClone = deepClone(set);   // independent Set instance
+ */
+export declare const deepClone: <T>(obj: T, skipKeys?: (string | symbol)[]) => T;
+//# sourceMappingURL=clone.d.ts.map

package/dist/lib/object/clone.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clone.d.ts","sourceRoot":"","sources":["../../../src/lib/object/clone.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KAAG,CAwErE,CAAC"}

package/dist/lib/object/clone.js

@@ -0,0 +1,104 @@
+import { isObject } from './utils.js';
+/**
+ * Creates a deep clone of a value (object, array, primitive, or built-in types)
+ *
+ * This function creates a complete copy of the input value, including all nested
+ * properties, without maintaining any references to the original object. It properly
+ * handles various JavaScript built-in types including:
+ *
+ * - Primitive values (strings, numbers, booleans)
+ * - Plain objects
+ * - Arrays
+ * - Dates
+ * - RegExp
+ * - Maps
+ * - Sets
+ * - Symbols as object keys
+ *
+ * @template T - The type of the value being cloned
+ * @param obj - The value to clone
+ * @returns A deep copy of the input value with the same type
+ *
+ * @example
+ * // Cloning a nested object
+ * const obj = { a: 1, b: { c: 2 } };
+ * const clone = deepClone(obj);
+ * obj.b.c = 3;
+ * console.log(clone.b.c); // 2 (remains unchanged)
+ *
+ * @example
+ * // Cloning an array with objects
+ * const arr = [1, 2, { a: 3 }];
+ * const cloneArr = deepClone(arr);
+ * arr[2].a = 4;
+ * console.log(cloneArr[2].a); // 3 (remains unchanged)
+ *
+ * @example
+ * // Cloning built-in types
+ * const date = new Date();
+ * const map = new Map([['key', 'value']]);
+ * const set = new Set([1, 2, 3]);
+ *
+ * const dateClone = deepClone(date); // independent Date instance
+ * const mapClone = deepClone(map);   // independent Map instance
+ * const setClone = deepClone(set);   // independent Set instance
+ */
+export const deepClone = (obj, skipKeys) => {
+    // Handle primitives
+    if (obj == null || typeof obj !== 'object') {
+        return obj;
+    }
+    // Handle Date
+    if (obj instanceof Date) {
+        return new Date(obj.getTime());
+    }
+    // Handle RegExp
+    if (obj instanceof RegExp) {
+        return new RegExp(obj.source, obj.flags);
+    }
+    // Handle Map
+    if (obj instanceof Map) {
+        const clone = new Map();
+        obj.forEach((value, key) => {
+            if (!skipKeys || !skipKeys.some((k) => k.toString() === key.toString())) {
+                clone.set(key, deepClone(value));
+            }
+        });
+        return clone;
+    }
+    // Handle Set
+    if (obj instanceof Set) {
+        const clone = new Set();
+        obj.forEach((value) => {
+            clone.add(deepClone(value));
+        });
+        return clone;
+    }
+    // Handle Array
+    if (Array.isArray(obj)) {
+        return Array.from(obj).map((item) => deepClone(item));
+    }
+    // Handle plain object
+    if (isObject(obj)) {
+        const clone = {};
+        for (const key in obj) {
+            if (Object.prototype.hasOwnProperty.call(obj, key)) {
+                if (!skipKeys ||
+                    !skipKeys.some((k) => k.toString() === key.toString())) {
+                    clone[key] = deepClone(obj[key]);
+                }
+            }
+        }
+        // Handle symbols
+        const symbols = Object.getOwnPropertySymbols(obj);
+        for (const symbol of symbols) {
+            if (!skipKeys ||
+                !skipKeys.some((s) => s.toString() === symbol.toString())) {
+                clone[symbol] = deepClone(obj[symbol]);
+            }
+        }
+        return clone;
+    }
+    // Fallback for other object types
+    return obj;
+};

package/dist/lib/object/clone.mjs

@@ -0,0 +1 @@
+var f=e=>e==null||Array.isArray(e)||typeof e=="function"||e instanceof Date||e instanceof RegExp||e instanceof Map||e instanceof Set||e instanceof Error?!1:typeof e=="object";var o=(e,r)=>{if(e==null||typeof e!="object")return e;if(e instanceof Date)return new Date(e.getTime());if(e instanceof RegExp)return new RegExp(e.source,e.flags);if(e instanceof Map){let n=new Map;return e.forEach((s,t)=>{(!r||!r.some(i=>i.toString()===t.toString()))&&n.set(t,o(s))}),n}if(e instanceof Set){let n=new Set;return e.forEach(s=>{n.add(o(s))}),n}if(Array.isArray(e))return Array.from(e).map(n=>o(n));if(f(e)){let n={};for(let t in e)Object.prototype.hasOwnProperty.call(e,t)&&(!r||!r.some(i=>i.toString()===t.toString()))&&(n[t]=o(e[t]));let s=Object.getOwnPropertySymbols(e);for(let t of s)(!r||!r.some(i=>i.toString()===t.toString()))&&(n[t]=o(e[t]));return n}return e};export{o as deepClone};

package/dist/lib/object/diff.cjs

@@ -0,0 +1 @@
+"use strict";var b=Object.defineProperty;var q=Object.getOwnPropertyDescriptor;var K=Object.getOwnPropertyNames;var M=Object.prototype.hasOwnProperty;var N=(n,s)=>{for(var u in s)b(n,u,{get:s[u],enumerable:!0})},J=(n,s,u,h)=>{if(s&&typeof s=="object"||typeof s=="function")for(let d of K(s))!M.call(n,d)&&d!==u&&b(n,d,{get:()=>s[d],enumerable:!(h=q(s,d))||h.enumerable});return n};var L=n=>J(b({},"__esModule",{value:!0}),n);var z={};N(z,{applyDiff:()=>x,diffObject:()=>D,diffObjectDetailed:()=>E,getChangedPaths:()=>W,hasObjectChanges:()=>B});module.exports=L(z);var o=n=>n==null||Array.isArray(n)||typeof n=="function"||n instanceof Date||n instanceof RegExp||n instanceof Map||n instanceof Set||n instanceof Error?!1:typeof n=="object";var P=(n,s)=>n===s,C=(n,s)=>{if(n.length!==s.length)return!1;for(let u=0;u<n.length;u++)if(Array.isArray(n[u])&&Array.isArray(s[u])){if(!C(n[u],s[u]))return!1}else if(o(n[u])&&o(s[u])){if(!F(n[u],s[u]))return!1}else if(n[u]!==s[u])return!1;return!0},F=(n,s)=>{let u=Object.keys(n),h=Object.keys(s);if(u.length!==h.length)return!1;for(let d of u){if(!(d in s))return!1;let c=n[d],A=s[d];if(Array.isArray(c)&&Array.isArray(A)){if(!C(c,A))return!1}else if(o(c)&&o(A)){if(!F(c,A))return!1}else if(c!==A)return!1}return!0},D=(n,s,u={})=>{let{includeDeleted:h=!1,includeAdded:d=!0,deepArrayComparison:c=!0,equalityFn:A=P,preserveStructure:R=!1}=u;if(n==null&&s==null)return{};if(n==null)return d?{...s}:{};if(s==null){if(h){let i={};for(let g in n)i[g]=void 0;return i}return{}}if(!o(n)||!o(s))return A(n,s)?{}:s;let S={},T=new Set;for(let i in s){T.add(i);let g=n[i],m=s[i];if(!(i in n)){d&&(S[i]=m);continue}if(Array.isArray(g)&&Array.isArray(m)){c?C(g,m)?R&&(S[i]=void 0):S[i]=m:g!==m?S[i]=m:R&&(S[i]=void 0);continue}if(o(g)&&o(m)){let r=D(g,m,u);Object.keys(r).length>0?S[i]=r:R&&(S[i]=void 0);continue}A(g,m)?R&&(S[i]=void 0):S[i]=m}if(h)for(let i in n)T.has(i)||(S[i]=void 0);return S},E=(n,s,u={})=>{let h=[],d=[],c=[],A={},{includeDeleted:R=!1,includeAdded:S=!0,deepArrayComparison:T=!0,equalityFn:i=P}=u;if(Array.isArray(n)&&Array.isArray(s)){let r=Math.max(n.length,s.length),p=[],y=!1;for(let e=0;e<r;e++){let f=`[${e}]`;if(e>=n.length)h.push(f),p[e]=s[e],y=!0;else if(e>=s.length)d.push(f),y=!0;else{let a=n[e],t=s[e];o(a)&&o(t)||Array.isArray(a)&&Array.isArray(t)?E(a,t,u).hasChanges?(c.push(f),p[e]=t,y=!0):p[e]=a:i(a,t)?p[e]=a:(c.push(f),p[e]=t,y=!0)}}return{changes:y?p:{},added:h,deleted:d,modified:c,hasChanges:y||d.length>0}}let g=(r,p,y="")=>{let e={added:[],deleted:[],modified:[]};if(Array.isArray(r)&&Array.isArray(p)){let f=Math.max(r.length,p.length);for(let a=0;a<f;a++){let t=y?`${y}[${a}]`:`[${a}]`;if(a>=r.length)e.added.push(t);else if(a>=p.length)e.deleted.push(t);else{let l=r[a],k=p[a];if(o(l)&&o(k)){let $=g(l,k,t);e.added.push(...$.added),e.deleted.push(...$.deleted),e.modified.push(...$.modified)}else if(Array.isArray(l)&&Array.isArray(k)){let $=g(l,k,t);e.added.push(...$.added),e.deleted.push(...$.deleted),e.modified.push(...$.modified)}else l!==k&&e.modified.push(t)}}return e}if(o(r)&&o(p)){let f=new Set([...Object.keys(r||{}),...Object.keys(p||{})]);for(let a of f){let t=r?.[a],l=p?.[a],k=y?`${y}.${a}`:a;if(!(a in(r||{})))e.added.push(k);else if(!(a in(p||{})))e.deleted.push(k);else if(Array.isArray(t)&&Array.isArray(l)){if(!C(t,l)){let $=g(t,l,k);e.added.push(...$.added),e.deleted.push(...$.deleted),e.modified.push(...$.modified)}}else if(o(t)&&o(l)){let $=g(t,l,k);e.added.push(...$.added),e.deleted.push(...$.deleted),e.modified.push(...$.modified)}else t!==l&&e.modified.push(k)}}return e};if(n==null&&s==null)return{changes:{},added:h,deleted:d,modified:c,hasChanges:!1};if(n==null){if(S&&s)for(let r in s)h.push(r),A[r]=s[r];return{changes:A,added:h,deleted:d,modified:c,hasChanges:h.length>0}}if(s==null){if(R)for(let r in n)d.push(r),A[r]=void 0;return{changes:A,added:h,deleted:d,modified:c,hasChanges:d.length>0}}let m=new Set;for(let r in s){m.add(r);let p=n[r],y=s[r];if(!(r in n)){S&&(h.push(r),A[r]=y);continue}let e=!1;if(Array.isArray(p)&&Array.isArray(y)){if(e=T?!C(p,y):p!==y,e){let f=g(p,y,r);h.push(...f.added),d.push(...f.deleted),c.push(...f.modified),A[r]=y}}else if(o(p)&&o(y)){let f=D(p,y,u);if(e=Object.keys(f).length>0,e){let a=g(p,y,r);h.push(...a.added),d.push(...a.deleted),c.push(...a.modified),A[r]=f}}else e=!i(p,y),e&&(c.push(r),A[r]=y)}for(let r in n)m.has(r)||(d.push(r),A[r]=void 0);return{changes:A,added:h,deleted:d,modified:c,hasChanges:h.length>0||d.length>0||c.length>0}},B=(n,s,u={})=>{let h=D(n,s,u);return Object.keys(h).length>0};function I(n){return!!(n&&(n.diff||n.changes)&&(n.modified||n.deleted||n.hasChanges))}var x=(n,s,u)=>{if(!I(s)){let e=s,f=u||!1;if(Array.isArray(n)&&Array.isArray(e)){let t=f?n:[...n];e.length<t.length&&(t.length=e.length);for(let l=0;l<e.length;l++){let k=e[l];k!==void 0&&(o(t[l])&&o(k)||Array.isArray(t[l])&&Array.isArray(k)?t[l]=x(t[l],k,f):t[l]=k)}return t}if(!o(n))return e;if(!o(e))return n;let a=f?n:{...n};for(let t in e){let l=e[t];l===void 0?delete a[t]:Array.isArray(a[t])&&Array.isArray(l)||o(a[t])&&o(l)?a[t]=x(a[t],l,f):a[t]=l}return a}let{diff:h,added:d=[],deleted:c=[],modified:A=[],changes:R,keepRef:S}=s,T=u!==void 0?u:S,i=R||h;if(!i)return n;let g=new Set(d),m=new Set(c),r=new Set(A),p=e=>{if(d.length===0&&c.length===0&&A.length===0)return!0;let f=e.split(/[.\[\]]+/).filter(Boolean);for(let a=0;a<=f.length;a++){let t=f.slice(0,a).join("."),l=f.slice(0,a).map((k,$)=>/^\d+$/.test(k)?`[${k}]`:$>0?`.${k}`:k).join("");if(g.has(t)||g.has(l)||m.has(t)||m.has(l)||r.has(t)||r.has(l))return!0}return!1};if(Array.isArray(n)&&Array.isArray(i)){let e=T?n:[...n];e.length=i.length;for(let f=0;f<i.length;f++){let a=`[${f}]`,t=i[f];t!==void 0&&p(a)&&(o(e[f])&&o(t)||Array.isArray(e[f])&&Array.isArray(t)?e[f]=x(e[f],t,T):e[f]=t)}return e}if(!o(n))return i;if(!o(i))return n;let y=T?n:{...n};for(let e of c)e.includes(".")||e.includes("[")||p(e)&&delete y[e];for(let e in i){let f=i[e];p(e)&&(f===void 0?delete y[e]:Array.isArray(y[e])&&Array.isArray(f)||o(y[e])&&o(f)?y[e]=x(y[e],f,T):y[e]=f)}return y},W=(n,s,u={})=>{let h=[],d=(c,A,R="")=>{if(c===A)return;if(Array.isArray(c)&&Array.isArray(A)){let T=Math.max(c.length,A.length);for(let i=0;i<T;i++){let g=R?`${R}[${i}]`:`[${i}]`;if(i>=c.length)h.push(g);else if(i>=A.length)h.push(g);else{let m=c[i],r=A[i];o(m)&&o(r)||Array.isArray(m)&&Array.isArray(r)?d(m,r,g):m!==r&&h.push(g)}}return}if(!o(c)||!o(A)){R&&h.push(R);return}let S=new Set([...Object.keys(c||{}),...Object.keys(A||{})]);for(let T of S){let i=c?.[T],g=A?.[T],m=R?`${R}.${T}`:T;!(T in(c||{}))||!(T in(A||{}))?h.push(m):Array.isArray(i)&&Array.isArray(g)||o(i)&&o(g)?d(i,g,m):i!==g&&h.push(m)}};return d(n,s),h};

package/dist/lib/object/diff.d.ts

@@ -0,0 +1,203 @@
+/**
+ * @fileoverview Object diff utilities for comparing and tracking changes
+ * @description Provides utilities to diff objects and return structured changes
+ */
+import type { AnyObject } from './types.js';
+/**
+ * Options for diffObject function
+ */
+export interface DiffOptions {
+    /**
+     * If true, includes properties that exist in oldObj but not in newObj
+     * @default false
+     */
+    includeDeleted?: boolean;
+    /**
+     * If true, includes properties that exist in newObj but not in oldObj
+     * @default true
+     */
+    includeAdded?: boolean;
+    /**
+     * If true, compares arrays by deep equality instead of reference
+     * @default true
+     */
+    deepArrayComparison?: boolean;
+    /**
+     * Custom equality function for comparing values
+     * @default strict equality (===)
+     */
+    equalityFn?: (a: any, b: any) => boolean;
+    /**
+     * If true, preserves the full object structure with undefined for unchanged values
+     * @default false
+     */
+    preserveStructure?: boolean;
+}
+/**
+ * Diff result with metadata about changes
+ */
+export interface DiffResult<T = any> {
+    /**
+     * Object containing only changed values
+     */
+    changes: Partial<T>;
+    /**
+     * Paths that were added (exist in new but not in old)
+     */
+    added: string[];
+    /**
+     * Paths that were deleted (exist in old but not in new)
+     */
+    deleted: string[];
+    /**
+     * Paths that were modified (exist in both but have different values)
+     */
+    modified: string[];
+    /**
+     * Whether any changes were detected
+     */
+    hasChanges: boolean;
+}
+/**
+ * Compares two objects and returns only the changed values while preserving the object structure
+ *
+ * @param oldObj - The original object
+ * @param newObj - The new object to compare against
+ * @param options - Configuration options for diff behavior
+ * @returns Object with the same structure containing only changed values
+ *
+ * @example
+ * ```ts
+ * const old = { a: 1, b: { c: 2, d: 3 }, e: 5 };
+ * const new = { a: 1, b: { c: 4, d: 3 }, e: 5, f: 6 };
+ * const diff = diffObject(old, new);
+ * // Returns: { b: { c: 4 }, f: 6 }
+ * ```
+ *
+ * @example
+ * ```ts
+ * // With arrays
+ * const old = { items: [1, 2, 3], meta: { count: 3 } };
+ * const new = { items: [1, 2, 4], meta: { count: 4 } };
+ * const diff = diffObject(old, new);
+ * // Returns: { items: [1, 2, 4], meta: { count: 4 } }
+ * ```
+ *
+ * @example
+ * ```ts
+ * // Include deleted properties
+ * const old = { a: 1, b: 2, c: 3 };
+ * const new = { a: 1, c: 4 };
+ * const diff = diffObject(old, new, { includeDeleted: true });
+ * // Returns: { b: undefined, c: 4 }
+ * ```
+ */
+export declare const diffObject: <T extends AnyObject>(oldObj: T, newObj: T, options?: DiffOptions) => Partial<T>;
+/**
+ * Returns detailed diff with metadata about changes for objects and arrays
+ *
+ * @param oldObj - The original object or array
+ * @param newObj - The new object or array to compare against
+ * @param options - Configuration options for diff behavior
+ * @returns Detailed diff result with metadata including array indices in paths
+ *
+ * @example
+ * ```ts
+ * // Object example
+ * const old = { a: 1, b: 2, c: 3 };
+ * const new = { a: 1, b: 4, d: 5 };
+ * const result = diffObjectDetailed(old, new);
+ * // {
+ * //   changes: { b: 4, d: 5 },
+ * //   added: ['d'],
+ * //   deleted: ['c'],
+ * //   modified: ['b'],
+ * //   hasChanges: true
+ * // }
+ * ```
+ *
+ * @example
+ * ```ts
+ * // Nested array example
+ * const old = { items: [{ id: 1, name: 'a' }, { id: 2, name: 'b' }] };
+ * const new = { items: [{ id: 1, name: 'x' }, { id: 2, name: 'b' }] };
+ * const result = diffObjectDetailed(old, new);
+ * // modified: ['items[0].name']
+ * ```
+ *
+ * @example
+ * ```ts
+ * // Top-level array example
+ * const old = [1, 2, 3, 4];
+ * const new = [1, 5, 3];
+ * const result = diffObjectDetailed(old, new);
+ * // {
+ * //   changes: [1, 5, 3],  // Returns the new array with changes
+ * //   added: [],
+ * //   deleted: ['[3]'],     // Index 3 was removed
+ * //   modified: ['[1]'],    // Index 1 changed from 2 to 5
+ * //   hasChanges: true
+ * // }
+ * ```
+ *
+ * @example
+ * ```ts
+ * // Array of objects example
+ * const old = [{ id: 1, name: 'Alice' }, { id: 2, name: 'Bob' }];
+ * const new = [{ id: 1, name: 'Alicia' }, { id: 2, name: 'Bob' }];
+ * const result = diffObjectDetailed(old, new);
+ * // {
+ * //   changes: [{ id: 1, name: 'Alicia' }, { id: 2, name: 'Bob' }],
+ * //   modified: ['[0]'],   // First element modified
+ * //   hasChanges: true
+ * // }
+ * ```
+ */
+export declare const diffObjectDetailed: <T extends AnyObject>(oldObj: T, newObj: T, options?: DiffOptions) => DiffResult<T>;
+/**
+ * Checks if two objects have any differences
+ *
+ * @param oldObj - The original object
+ * @param newObj - The new object to compare against
+ * @param options - Configuration options for diff behavior
+ * @returns True if objects are different
+ *
+ * @example
+ * ```ts
+ * hasObjectChanges({ a: 1 }, { a: 1 }) // false
+ * hasObjectChanges({ a: 1 }, { a: 2 }) // true
+ * ```
+ */
+export declare const hasObjectChanges: <T extends AnyObject>(oldObj: T, newObj: T, options?: DiffOptions) => boolean;
+interface ApplyDiff<T> extends Partial<DiffResult<T>> {
+    keepRef?: boolean;
+    diff?: T;
+}
+export declare const applyDiff: <T extends AnyObject>(baseObj: T, option: T | ApplyDiff<T>, keepRefParam?: boolean) => T;
+/**
+ * Gets paths of all changed values with array index notation support
+ *
+ * @param oldObj - The original object
+ * @param newObj - The new object to compare against
+ * @param options - Configuration options for diff behavior
+ * @returns Array of paths to changed values (e.g., ['a.b[0].name', 'c[1].value'])
+ *
+ * @example
+ * ```ts
+ * const old = { a: 1, b: { c: 2, d: 3 } };
+ * const new = { a: 1, b: { c: 4, d: 3 }, e: 5 };
+ * const paths = getChangedPaths(old, new);
+ * // Returns: ['b.c', 'e']
+ * ```
+ *
+ * @example
+ * ```ts
+ * const old = { items: [{ id: 1, name: 'a' }, { id: 2, name: 'b' }] };
+ * const new = { items: [{ id: 1, name: 'x' }, { id: 2, name: 'b' }] };
+ * const paths = getChangedPaths(old, new);
+ * // Returns: ['items[0].name']
+ * ```
+ */
+export declare const getChangedPaths: <T extends AnyObject>(oldObj: T, newObj: T, options?: DiffOptions) => string[];
+export {};
+//# sourceMappingURL=diff.d.ts.map

package/dist/lib/object/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/object/diff.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB;;;OAGG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB;;;OAGG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B;;;OAGG;IACH,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC;IAEzC;;;OAGG;IACH,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,GAAG;IACjC;;OAEG;IACH,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAEpB;;OAEG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAEhB;;OAEG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB;;OAEG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IAEnB;;OAEG;IACH,UAAU,EAAE,OAAO,CAAC;CACrB;AAqDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,SAAS,EAC5C,QAAQ,CAAC,EACT,QAAQ,CAAC,EACT,UAAS,WAAgB,KACxB,OAAO,CAAC,CAAC,CAsGX,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,SAAS,EACpD,QAAQ,CAAC,EACT,QAAQ,CAAC,EACT,UAAS,WAAgB,KACxB,UAAU,CAAC,CAAC,CA4Rd,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gBAAgB,GAAI,CAAC,SAAS,SAAS,EAClD,QAAQ,CAAC,EACT,QAAQ,CAAC,EACT,UAAS,WAAgB,KACxB,OAGF,CAAC;AAmDF,UAAU,SAAS,CAAC,CAAC,CAAE,SAAQ,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,CAAC,CAAC;CACV;AACD,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,SAAS,EAC3C,SAAS,CAAC,EACV,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EACxB,eAAe,OAAO,KACrB,CA2LF,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,SAAS,EACjD,QAAQ,CAAC,EACT,QAAQ,CAAC,EACT,UAAS,WAAgB,KACxB,MAAM,EA0ER,CAAC"}