@oscarpalmer/atoms 0.77.0 → 0.77.2

package/types/value/smush.d.cts

@@ -5,7 +5,14 @@ Matches any [primitive value](https://developer.mozilla.org/en-US/docs/Glossary/
 
 @category Type
 */
-export type Primitive = null | undefined | string | number | boolean | symbol | bigint;
+export type Primitive =
+	| null
+	| undefined
+	| string
+	| number
+	| boolean
+	| symbol
+	| bigint;
 declare const emptyObjectSymbol: unique symbol;
 /**
 Represents a strictly empty plain object, the `{}` value.
@@ -62,7 +69,11 @@ type Includes<Value extends readonly any[], Item> =
 @category Type Guard
 @category Utilities
 */
-export type IsEqual<A, B> = (<G>() => G extends A ? 1 : 2) extends (<G>() => G extends B ? 1 : 2) ? true : false;
+export type IsEqual<A, B> = (<G>() => G extends A ? 1 : 2) extends <
+	G,
+>() => G extends B ? 1 : 2
+	? true
+	: false;
 /**
 Represents an object with `unknown` value. You probably want this instead of `{}`.
 
@@ -189,14 +200,16 @@ type B = StaticPartOfArray<A>;
 //=> [string, number, boolean]
 ```
 */
-export type StaticPartOfArray<T extends UnknownArray, Result extends UnknownArray = [
-]> = T extends unknown ? number extends T["length"] ? T extends readonly [
-	infer U,
-	...infer V
-] ? StaticPartOfArray<V, [
-	...Result,
-	U
-]> : Result : T : never; // Should never happen
+export type StaticPartOfArray<
+	T extends UnknownArray,
+	Result extends UnknownArray = [],
+> = T extends unknown
+	? number extends T['length']
+		? T extends readonly [infer U, ...infer V]
+			? StaticPartOfArray<V, [...Result, U]>
+			: Result
+		: T
+	: never; // Should never happen
 /**
 Returns the variable, non-fixed-length portion of the given array, excluding static-length parts.
 
@@ -207,12 +220,22 @@ type B = VariablePartOfArray<A>;
 //=> string[]
 ```
 */
-export type VariablePartOfArray<T extends UnknownArray> = T extends unknown ? T extends readonly [
-	...StaticPartOfArray<T>,
-	...infer U
-] ? U : [
-] : never; // Should never happen
-export type StringDigit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9";
+export type VariablePartOfArray<T extends UnknownArray> = T extends unknown
+	? T extends readonly [...StaticPartOfArray<T>, ...infer U]
+		? U
+		: []
+	: never; // Should never happen
+export type StringDigit =
+	| '0'
+	| '1'
+	| '2'
+	| '3'
+	| '4'
+	| '5'
+	| '6'
+	| '7'
+	| '8'
+	| '9';
 /**
 Returns a boolean for whether the given type is `any`.
 
@@ -255,7 +278,7 @@ Please upvote [this issue](https://github.com/microsoft/TypeScript/issues/32277)
 */
 // See https://github.com/microsoft/TypeScript/issues/31752
 // eslint-disable-next-line @typescript-eslint/no-loss-of-precision
-export type PositiveInfinity = Infinity;
+export type PositiveInfinity = 1e999;
 /**
 Matches the hidden `-Infinity` type.
 
@@ -267,7 +290,7 @@ Please upvote [this issue](https://github.com/microsoft/TypeScript/issues/32277)
 */
 // See https://github.com/microsoft/TypeScript/issues/31752
 // eslint-disable-next-line @typescript-eslint/no-loss-of-precision
-export type NegativeInfinity = -Infinity;
+export type NegativeInfinity = -1e999;
 /**
 A negative `number`/`bigint` (`-∞ < x < 0`)
 
@@ -278,7 +301,11 @@ Use-case: Validating and documenting parameters.
 
 @category Numeric
 */
-export type Negative<T extends Numeric> = T extends Zero ? never : `${T}` extends `-${string}` ? T : never;
+export type Negative<T extends Numeric> = T extends Zero
+	? never
+	: `${T}` extends `-${string}`
+		? T
+		: never;
 /**
 Returns a boolean for whether the given number is a negative number.
 
@@ -294,7 +321,9 @@ type ShouldBeTrue = IsNegative<-1>;
 
 @category Numeric
 */
-export type IsNegative<T extends Numeric> = T extends Negative<T> ? true : false;
+export type IsNegative<T extends Numeric> = T extends Negative<T>
+	? true
+	: false;
 /**
 Returns a boolean for whether two given types are both true.
 
@@ -315,11 +344,12 @@ And<true, false>;
 */
 export type And<A extends boolean, B extends boolean> = [
 	A,
-	B
-][number] extends true ? true : true extends [
-	IsEqual<A, false>,
-	IsEqual<B, false>
-][number] ? false : never;
+	B,
+][number] extends true
+	? true
+	: true extends [IsEqual<A, false>, IsEqual<B, false>][number]
+		? false
+		: never;
 /**
 Returns a boolean for whether either of two given types are true.
 
@@ -340,11 +370,12 @@ Or<false, false>;
 */
 export type Or<A extends boolean, B extends boolean> = [
 	A,
-	B
-][number] extends false ? false : true extends [
-	IsEqual<A, true>,
-	IsEqual<B, true>
-][number] ? true : never;
+	B,
+][number] extends false
+	? false
+	: true extends [IsEqual<A, true>, IsEqual<B, true>][number]
+		? true
+		: never;
 /**
 Returns a boolean for whether a given number is greater than another number.
 
@@ -362,32 +393,44 @@ GreaterThan<1, 5>;
 //=> false
 ```
 */
-export type GreaterThan<A extends number, B extends number> = number extends A | B ? never : [
-	IsEqual<A, PositiveInfinity>,
-	IsEqual<A, NegativeInfinity>,
-	IsEqual<B, PositiveInfinity>,
-	IsEqual<B, NegativeInfinity>
-] extends infer R extends [
-	boolean,
-	boolean,
-	boolean,
-	boolean
-] ? Or<And<IsEqual<R[0], true>, IsEqual<R[2], false>>, And<IsEqual<R[3], true>, IsEqual<R[1], false>>> extends true ? true : Or<And<IsEqual<R[1], true>, IsEqual<R[3], false>>, And<IsEqual<R[2], true>, IsEqual<R[0], false>>> extends true ? false : true extends R[number] ? false : [
-	IsNegative<A>,
-	IsNegative<B>
-] extends infer R extends [
-	boolean,
-	boolean
-] ? [
-	true,
-	false
-] extends R ? false : [
-	false,
-	true
-] extends R ? true : [
-	false,
-	false
-] extends R ? PositiveNumericStringGt<`${A}`, `${B}`> : PositiveNumericStringGt<`${NumberAbsolute<B>}`, `${NumberAbsolute<A>}`> : never : never;
+export type GreaterThan<A extends number, B extends number> = number extends
+	| A
+	| B
+	? never
+	: [
+				IsEqual<A, PositiveInfinity>,
+				IsEqual<A, NegativeInfinity>,
+				IsEqual<B, PositiveInfinity>,
+				IsEqual<B, NegativeInfinity>,
+			] extends infer R extends [boolean, boolean, boolean, boolean]
+		? Or<
+				And<IsEqual<R[0], true>, IsEqual<R[2], false>>,
+				And<IsEqual<R[3], true>, IsEqual<R[1], false>>
+			> extends true
+			? true
+			: Or<
+						And<IsEqual<R[1], true>, IsEqual<R[3], false>>,
+						And<IsEqual<R[2], true>, IsEqual<R[0], false>>
+					> extends true
+				? false
+				: true extends R[number]
+					? false
+					: [IsNegative<A>, IsNegative<B>] extends infer R extends [
+								boolean,
+								boolean,
+							]
+						? [true, false] extends R
+							? false
+							: [false, true] extends R
+								? true
+								: [false, false] extends R
+									? PositiveNumericStringGt<`${A}`, `${B}`>
+									: PositiveNumericStringGt<
+											`${NumberAbsolute<B>}`,
+											`${NumberAbsolute<A>}`
+										>
+						: never
+		: never;
 /**
 Returns a boolean for whether a given number is greater than or equal to another number.
 
@@ -405,7 +448,10 @@ GreaterThanOrEqual<1, 5>;
 //=> false
 ```
 */
-export type GreaterThanOrEqual<A extends number, B extends number> = number extends A | B ? never : A extends B ? true : GreaterThan<A, B>;
+export type GreaterThanOrEqual<
+	A extends number,
+	B extends number,
+> = number extends A | B ? never : A extends B ? true : GreaterThan<A, B>;
 /**
 Returns a boolean for whether a given number is less than another number.
 
@@ -423,7 +469,11 @@ LessThan<1, 5>;
 //=> true
 ```
 */
-export type LessThan<A extends number, B extends number> = number extends A | B ? never : GreaterThanOrEqual<A, B> extends true ? false : true;
+export type LessThan<A extends number, B extends number> = number extends A | B
+	? never
+	: GreaterThanOrEqual<A, B> extends true
+		? false
+		: true;
 /**
 Create a tuple type of the given length `<L>` and fill it with the given type `<Fill>`.
 
@@ -431,11 +481,11 @@ If `<Fill>` is not provided, it will default to `unknown`.
 
 @link https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
 */
-export type BuildTuple<L extends number, Fill = unknown, T extends readonly unknown[] = [
-]> = T["length"] extends L ? T : BuildTuple<L, Fill, [
-	...T,
-	Fill
-]>;
+export type BuildTuple<
+	L extends number,
+	Fill = unknown,
+	T extends readonly unknown[] = [],
+> = T['length'] extends L ? T : BuildTuple<L, Fill, [...T, Fill]>;
 /**
 Returns the maximum value from a tuple of integers.
 
@@ -451,10 +501,16 @@ ArrayMax<[1, 2, 5, 3, 99, -1]>;
 //=> 99
 ```
 */
-export type TupleMax<A extends number[], Result extends number = NegativeInfinity> = number extends A[number] ? never : A extends [
-	infer F extends number,
-	...infer R extends number[]
-] ? GreaterThan<F, Result> extends true ? TupleMax<R, F> : TupleMax<R, Result> : Result;
+export type TupleMax<
+	A extends number[],
+	Result extends number = NegativeInfinity,
+> = number extends A[number]
+	? never
+	: A extends [infer F extends number, ...infer R extends number[]]
+		? GreaterThan<F, Result> extends true
+			? TupleMax<R, F>
+			: TupleMax<R, Result>
+		: Result;
 /**
 Returns the minimum value from a tuple of integers.
 
@@ -470,10 +526,16 @@ ArrayMin<[1, 2, 5, 3, -5]>;
 //=> -5
 ```
 */
-export type TupleMin<A extends number[], Result extends number = PositiveInfinity> = number extends A[number] ? never : A extends [
-	infer F extends number,
-	...infer R extends number[]
-] ? LessThan<F, Result> extends true ? TupleMin<R, F> : TupleMin<R, Result> : Result;
+export type TupleMin<
+	A extends number[],
+	Result extends number = PositiveInfinity,
+> = number extends A[number]
+	? never
+	: A extends [infer F extends number, ...infer R extends number[]]
+		? LessThan<F, Result> extends true
+			? TupleMin<R, F>
+			: TupleMin<R, Result>
+		: Result;
 /**
 Return a string representation of the given string or number.
 
@@ -508,7 +570,14 @@ type NegativeInfinity = StringToNumber<'-Infinity'>;
 @category Numeric
 @category Template literal
 */
-export type StringToNumber<S extends string> = S extends `${infer N extends number}` ? N : S extends "Infinity" ? PositiveInfinity : S extends "-Infinity" ? NegativeInfinity : never;
+export type StringToNumber<S extends string> =
+	S extends `${infer N extends number}`
+		? N
+		: S extends 'Infinity'
+			? PositiveInfinity
+			: S extends '-Infinity'
+				? NegativeInfinity
+				: never;
 /**
 Returns an array of the characters of the string.
 
@@ -523,11 +592,14 @@ StringToArray<string>;
 
 @category String
 */
-export type StringToArray<S extends string, Result extends string[] = [
-]> = string extends S ? never : S extends `${infer F}${infer R}` ? StringToArray<R, [
-	...Result,
-	F
-]> : Result;
+export type StringToArray<
+	S extends string,
+	Result extends string[] = [],
+> = string extends S
+	? never
+	: S extends `${infer F}${infer R}`
+		? StringToArray<R, [...Result, F]>
+		: Result;
 /**
 Returns the length of the given string.
 
@@ -543,7 +615,9 @@ StringLength<string>;
 @category String
 @category Template literal
 */
-export type StringLength<S extends string> = string extends S ? never : StringToArray<S>["length"];
+export type StringLength<S extends string> = string extends S
+	? never
+	: StringToArray<S>['length'];
 /**
 Returns a boolean for whether `A` represents a number greater than `B`, where `A` and `B` are both numeric strings and have the same length.
 
@@ -556,8 +630,17 @@ SameLengthPositiveNumericStringGt<'10', '10'>;
 //=> false
 ```
 */
-export type SameLengthPositiveNumericStringGt<A extends string, B extends string> = A extends `${infer FirstA}${infer RestA}` ? B extends `${infer FirstB}${infer RestB}` ? FirstA extends FirstB ? SameLengthPositiveNumericStringGt<RestA, RestB> : PositiveNumericCharacterGt<FirstA, FirstB> : never : false;
-export type NumericString = "0123456789";
+export type SameLengthPositiveNumericStringGt<
+	A extends string,
+	B extends string,
+> = A extends `${infer FirstA}${infer RestA}`
+	? B extends `${infer FirstB}${infer RestB}`
+		? FirstA extends FirstB
+			? SameLengthPositiveNumericStringGt<RestA, RestB>
+			: PositiveNumericCharacterGt<FirstA, FirstB>
+		: never
+	: false;
+export type NumericString = '0123456789';
 /**
 Returns a boolean for whether `A` is greater than `B`, where `A` and `B` are both positive numeric strings.
 
@@ -573,16 +656,21 @@ PositiveNumericStringGt<'1', '500'>;
 //=> false
 ```
 */
-export type PositiveNumericStringGt<A extends string, B extends string> = A extends B ? false : [
-	BuildTuple<StringLength<A>, 0>,
-	BuildTuple<StringLength<B>, 0>
-] extends infer R extends [
-	readonly unknown[],
-	readonly unknown[]
-] ? R[0] extends [
-	...R[1],
-	...infer Remain extends readonly unknown[]
-] ? 0 extends Remain["length"] ? SameLengthPositiveNumericStringGt<A, B> : true : false : never;
+export type PositiveNumericStringGt<
+	A extends string,
+	B extends string,
+> = A extends B
+	? false
+	: [
+				BuildTuple<StringLength<A>, 0>,
+				BuildTuple<StringLength<B>, 0>,
+			] extends infer R extends [readonly unknown[], readonly unknown[]]
+		? R[0] extends [...R[1], ...infer Remain extends readonly unknown[]]
+			? 0 extends Remain['length']
+				? SameLengthPositiveNumericStringGt<A, B>
+				: true
+			: false
+		: never;
 /**
 Returns a boolean for whether `A` represents a number greater than `B`, where `A` and `B` are both positive numeric characters.
 
@@ -595,7 +683,16 @@ PositiveNumericCharacterGt<'1', '1'>;
 //=> false
 ```
 */
-export type PositiveNumericCharacterGt<A extends string, B extends string> = NumericString extends `${infer HeadA}${A}${infer TailA}` ? NumericString extends `${infer HeadB}${B}${infer TailB}` ? HeadA extends `${HeadB}${infer _}${infer __}` ? true : false : never : never;
+export type PositiveNumericCharacterGt<
+	A extends string,
+	B extends string,
+> = NumericString extends `${infer HeadA}${A}${infer TailA}`
+	? NumericString extends `${infer HeadB}${B}${infer TailB}`
+		? HeadA extends `${HeadB}${infer _}${infer __}`
+			? true
+			: false
+		: never
+	: never;
 /**
 Returns the absolute value of a given value.
 
@@ -611,7 +708,10 @@ NumberAbsolute<NegativeInfinity>
 //=> PositiveInfinity
 ```
 */
-export type NumberAbsolute<N extends number> = `${N}` extends `-${infer StringPositiveN}` ? StringToNumber<StringPositiveN> : N;
+export type NumberAbsolute<N extends number> =
+	`${N}` extends `-${infer StringPositiveN}`
+		? StringToNumber<StringPositiveN>
+		: N;
 /**
 Check whether the given type is a number or a number string.
 
@@ -631,7 +731,13 @@ type C = IsNumberLike<1>;
 type D = IsNumberLike<'a'>;
 //=> false
 */
-export type IsNumberLike<N> = N extends number ? true : N extends `${number}` ? true : N extends `${number}.${number}` ? true : false;
+export type IsNumberLike<N> = N extends number
+	? true
+	: N extends `${number}`
+		? true
+		: N extends `${number}.${number}`
+			? true
+			: false;
 /**
 Matches any primitive, `void`, `Date`, or `RegExp` value.
 */
@@ -639,7 +745,12 @@ export type BuiltIns = Primitive | void | Date | RegExp;
 /**
 Matches non-recursive types.
 */
-export type NonRecursiveType = BuiltIns | Function | (new (...arguments_: any[]) => unknown);
+export type NonRecursiveType =
+	| BuiltIns
+	| Function
+	| (new (
+			...arguments_: any[]
+	  ) => unknown);
 /**
 Returns the sum of two numbers.
 
@@ -671,35 +782,45 @@ Sum<PositiveInfinity, NegativeInfinity>;
 @category Numeric
 */
 // TODO: Support big integer and negative number.
-export type Sum<A extends number, B extends number> = number extends A | B ? number : [
-	IsEqual<A, PositiveInfinity>,
-	IsEqual<A, NegativeInfinity>,
-	IsEqual<B, PositiveInfinity>,
-	IsEqual<B, NegativeInfinity>
-] extends infer R extends [
-	boolean,
-	boolean,
-	boolean,
-	boolean
-] ? Or<And<IsEqual<R[0], true>, IsEqual<R[3], false>>, And<IsEqual<R[2], true>, IsEqual<R[1], false>>> extends true ? PositiveInfinity : Or<And<IsEqual<R[1], true>, IsEqual<R[2], false>>, And<IsEqual<R[3], true>, IsEqual<R[0], false>>> extends true ? NegativeInfinity : true extends R[number] ? number : ([
-	IsNegative<A>,
-	IsNegative<B>
-] extends infer R ? [
-	false,
-	false
-] extends R ? [
-	...BuildTuple<A>,
-	...BuildTuple<B>
-]["length"] : [
-	true,
-	true
-] extends R ? number : TupleMax<[
-	NumberAbsolute<A>,
-	NumberAbsolute<B>
-]> extends infer Max_ ? TupleMin<[
-	NumberAbsolute<A>,
-	NumberAbsolute<B>
-]> extends infer Min_ extends number ? Max_ extends A | B ? Subtract<Max_, Min_> : number : never : never : never) & number : never;
+export type Sum<A extends number, B extends number> = number extends A | B
+	? number
+	: [
+				IsEqual<A, PositiveInfinity>,
+				IsEqual<A, NegativeInfinity>,
+				IsEqual<B, PositiveInfinity>,
+				IsEqual<B, NegativeInfinity>,
+			] extends infer R extends [boolean, boolean, boolean, boolean]
+		? Or<
+				And<IsEqual<R[0], true>, IsEqual<R[3], false>>,
+				And<IsEqual<R[2], true>, IsEqual<R[1], false>>
+			> extends true
+			? PositiveInfinity
+			: Or<
+						And<IsEqual<R[1], true>, IsEqual<R[2], false>>,
+						And<IsEqual<R[3], true>, IsEqual<R[0], false>>
+					> extends true
+				? NegativeInfinity
+				: true extends R[number]
+					? number
+					: ([IsNegative<A>, IsNegative<B>] extends infer R
+							? [false, false] extends R
+								? [...BuildTuple<A>, ...BuildTuple<B>]['length']
+								: [true, true] extends R
+									? number
+									: TupleMax<
+												[NumberAbsolute<A>, NumberAbsolute<B>]
+											> extends infer Max_
+										? TupleMin<
+												[NumberAbsolute<A>, NumberAbsolute<B>]
+											> extends infer Min_ extends number
+											? Max_ extends A | B
+												? Subtract<Max_, Min_>
+												: number
+											: never
+										: never
+							: never) &
+							number
+		: never;
 /**
 Returns the difference between two numbers.
 
@@ -730,29 +851,40 @@ Subtract<PositiveInfinity, PositiveInfinity>;
 @category Numeric
 */
 // TODO: Support big integer and negative number.
-export type Subtract<A extends number, B extends number> = number extends A | B ? number : [
-	IsEqual<A, PositiveInfinity>,
-	IsEqual<A, NegativeInfinity>,
-	IsEqual<B, PositiveInfinity>,
-	IsEqual<B, NegativeInfinity>
-] extends infer R extends [
-	boolean,
-	boolean,
-	boolean,
-	boolean
-] ? Or<And<IsEqual<R[0], true>, IsEqual<R[2], false>>, And<IsEqual<R[3], true>, IsEqual<R[1], false>>> extends true ? PositiveInfinity : Or<And<IsEqual<R[1], true>, IsEqual<R[3], false>>, And<IsEqual<R[2], true>, IsEqual<R[0], false>>> extends true ? NegativeInfinity : true extends R[number] ? number : [
-	IsNegative<A>,
-	IsNegative<B>
-] extends infer R ? [
-	false,
-	false
-] extends R ? BuildTuple<A> extends infer R ? R extends [
-	...BuildTuple<B>,
-	...infer R
-] ? R["length"] : number : never : LessThan<A, B> extends true ? number : [
-	false,
-	true
-] extends R ? Sum<A, NumberAbsolute<B>> : Subtract<NumberAbsolute<B>, NumberAbsolute<A>> : never : never;
+export type Subtract<A extends number, B extends number> = number extends A | B
+	? number
+	: [
+				IsEqual<A, PositiveInfinity>,
+				IsEqual<A, NegativeInfinity>,
+				IsEqual<B, PositiveInfinity>,
+				IsEqual<B, NegativeInfinity>,
+			] extends infer R extends [boolean, boolean, boolean, boolean]
+		? Or<
+				And<IsEqual<R[0], true>, IsEqual<R[2], false>>,
+				And<IsEqual<R[3], true>, IsEqual<R[1], false>>
+			> extends true
+			? PositiveInfinity
+			: Or<
+						And<IsEqual<R[1], true>, IsEqual<R[3], false>>,
+						And<IsEqual<R[2], true>, IsEqual<R[0], false>>
+					> extends true
+				? NegativeInfinity
+				: true extends R[number]
+					? number
+					: [IsNegative<A>, IsNegative<B>] extends infer R
+						? [false, false] extends R
+							? BuildTuple<A> extends infer R
+								? R extends [...BuildTuple<B>, ...infer R]
+									? R['length']
+									: number
+								: never
+							: LessThan<A, B> extends true
+								? number
+								: [false, true] extends R
+									? Sum<A, NumberAbsolute<B>>
+									: Subtract<NumberAbsolute<B>, NumberAbsolute<A>>
+						: never
+		: never;
 /**
 Paths options.
 
@@ -843,28 +975,85 @@ open('listB.1'); // TypeError. Because listB only has one element.
 @category Object
 @category Array
 */
-export type Paths<T, Options extends PathsOptions = {}> = _Paths<T, {
-	// Set default maxRecursionDepth to 10
-	maxRecursionDepth: Options["maxRecursionDepth"] extends number ? Options["maxRecursionDepth"] : DefaultPathsOptions["maxRecursionDepth"];
-	// Set default bracketNotation to false
-	bracketNotation: Options["bracketNotation"] extends boolean ? Options["bracketNotation"] : DefaultPathsOptions["bracketNotation"];
-}>;
-export type _Paths<T, Options extends Required<PathsOptions>> = T extends NonRecursiveType | ReadonlyMap<unknown, unknown> | ReadonlySet<unknown> ? never : IsAny<T> extends true ? never : T extends UnknownArray ? number extends T["length"] ? InternalPaths<StaticPartOfArray<T>, Options> | InternalPaths<Array<VariablePartOfArray<T>[number]>, Options> : InternalPaths<T, Options> : T extends object ? InternalPaths<T, Options> : never;
-export type InternalPaths<T, Options extends Required<PathsOptions>> = Options["maxRecursionDepth"] extends infer MaxDepth extends number ? Required<T> extends infer T ? T extends EmptyObject | readonly [
-] ? never : {
-	[Key in keyof T]: Key extends string | number // Limit `Key` to string or number.
-	 ? (Options["bracketNotation"] extends true ? IsNumberLike<Key> extends true ? `[${Key}]` : (Key | ToString<Key>) : never | Options["bracketNotation"] extends false ? (Key | ToString<Key>) : never) extends infer TranformedKey extends string | number ? 
-	// 1. If style is 'a[0].b' and 'Key' is a numberlike value like 3 or '3', transform 'Key' to `[${Key}]`, else to `${Key}` | Key
-	// 2. If style is 'a.0.b', transform 'Key' to `${Key}` | Key
-	TranformedKey | (
-	// Recursively generate paths for the current key
-	GreaterThan<MaxDepth, 0> extends true // Limit the depth to prevent infinite recursion
-	 ? _Paths<T[Key], {
-		bracketNotation: Options["bracketNotation"];
-		maxRecursionDepth: Subtract<MaxDepth, 1>;
-	}> extends infer SubPath ? SubPath extends string | number ? (Options["bracketNotation"] extends true ? SubPath extends `[${any}]` | `[${any}]${string}` ? `${TranformedKey}${SubPath}` // If next node is number key like `[3]`, no need to add `.` before it.
-	 : `${TranformedKey}.${SubPath}` : never) | (Options["bracketNotation"] extends false ? `${TranformedKey}.${SubPath}` : never) : never : never : never) : never : never;
-}[keyof T & (T extends UnknownArray ? number : unknown)] : never : never;
+export type Paths<T, Options extends PathsOptions = {}> = _Paths<
+	T,
+	{
+		// Set default maxRecursionDepth to 10
+		maxRecursionDepth: Options['maxRecursionDepth'] extends number
+			? Options['maxRecursionDepth']
+			: DefaultPathsOptions['maxRecursionDepth'];
+		// Set default bracketNotation to false
+		bracketNotation: Options['bracketNotation'] extends boolean
+			? Options['bracketNotation']
+			: DefaultPathsOptions['bracketNotation'];
+	}
+>;
+export type _Paths<T, Options extends Required<PathsOptions>> = T extends
+	| NonRecursiveType
+	| ReadonlyMap<unknown, unknown>
+	| ReadonlySet<unknown>
+	? never
+	: IsAny<T> extends true
+		? never
+		: T extends UnknownArray
+			? number extends T['length']
+				?
+						| InternalPaths<StaticPartOfArray<T>, Options>
+						| InternalPaths<Array<VariablePartOfArray<T>[number]>, Options>
+				: InternalPaths<T, Options>
+			: T extends object
+				? InternalPaths<T, Options>
+				: never;
+export type InternalPaths<
+	T,
+	Options extends Required<PathsOptions>,
+> = Options['maxRecursionDepth'] extends infer MaxDepth extends number
+	? Required<T> extends infer T
+		? T extends EmptyObject | readonly []
+			? never
+			: {
+					[Key in keyof T]: Key extends string | number // Limit `Key` to string or number.
+						? (
+								Options['bracketNotation'] extends true
+									? IsNumberLike<Key> extends true
+										? `[${Key}]`
+										: Key | ToString<Key>
+									: never | Options['bracketNotation'] extends false
+										? Key | ToString<Key>
+										: never
+							) extends infer TranformedKey extends string | number
+							? // 1. If style is 'a[0].b' and 'Key' is a numberlike value like 3 or '3', transform 'Key' to `[${Key}]`, else to `${Key}` | Key
+								// 2. If style is 'a.0.b', transform 'Key' to `${Key}` | Key
+									| TranformedKey
+									// Recursively generate paths for the current key
+									| (GreaterThan<MaxDepth, 0> extends true // Limit the depth to prevent infinite recursion
+											? _Paths<
+													T[Key],
+													{
+														bracketNotation: Options['bracketNotation'];
+														maxRecursionDepth: Subtract<MaxDepth, 1>;
+													}
+												> extends infer SubPath
+												? SubPath extends string | number
+													?
+															| (Options['bracketNotation'] extends true
+																	? SubPath extends
+																			| `[${any}]`
+																			| `[${any}]${string}`
+																		? `${TranformedKey}${SubPath}` // If next node is number key like `[3]`, no need to add `.` before it.
+																		: `${TranformedKey}.${SubPath}`
+																	: never)
+															| (Options['bracketNotation'] extends false
+																	? `${TranformedKey}.${SubPath}`
+																	: never)
+													: never
+												: never
+											: never)
+							: never
+						: never;
+				}[keyof T & (T extends UnknownArray ? number : unknown)]
+		: never
+	: never;
 export type LiteralStringUnion<T> = LiteralUnion<T, string>;
 /**
 Allows creating a union type by combining primitive types and literal types without sacrificing auto-completion in IDEs for the literal type part of the union.
@@ -895,7 +1084,9 @@ const pet: Pet2 = '';
 
 @category Type
 */
-export type LiteralUnion<LiteralType, BaseType extends Primitive> = LiteralType | (BaseType & Record<never, never>);
+export type LiteralUnion<LiteralType, BaseType extends Primitive> =
+	| LiteralType
+	| (BaseType & Record<never, never>);
 /**
 Get keys of the given type as strings.
 
@@ -920,7 +1111,8 @@ type StringKeysOfFoo = StringKeyOf<Foo>;
 
 @category Object
 */
-export type StringKeyOf<BaseType> = `${Extract<keyof BaseType, string | number>}`;
+export type StringKeyOf<BaseType> =
+	`${Extract<keyof BaseType, string | number>}`;
 /**
 Represents an array of strings split using a given character or character set.
 
@@ -942,13 +1134,14 @@ array = split(items, ',');
 @category String
 @category Template literal
 */
-export type Split<S extends string, Delimiter extends string> = S extends `${infer Head}${Delimiter}${infer Tail}` ? [
-	Head,
-	...Split<Tail, Delimiter>
-] : S extends Delimiter ? [
-] : [
-	S
-];
+export type Split<
+	S extends string,
+	Delimiter extends string,
+> = S extends `${infer Head}${Delimiter}${infer Tail}`
+	? [Head, ...Split<Tail, Delimiter>]
+	: S extends Delimiter
+		? []
+		: [S];
 export type GetOptions = {
 	/**
 	Include `undefined` in the return type when accessing properties.
@@ -962,24 +1155,41 @@ export type GetOptions = {
 /**
 Like the `Get` type but receives an array of strings as a path parameter.
 */
-export type GetWithPath<BaseType, Keys, Options extends GetOptions = {}> = Keys extends readonly [
-] ? BaseType : Keys extends readonly [
-	infer Head,
-	...infer Tail
-] ? GetWithPath<PropertyOf<BaseType, Extract<Head, string>, Options>, Extract<Tail, string[]>, Options> : never;
+export type GetWithPath<
+	BaseType,
+	Keys,
+	Options extends GetOptions = {},
+> = Keys extends readonly []
+	? BaseType
+	: Keys extends readonly [infer Head, ...infer Tail]
+		? GetWithPath<
+				PropertyOf<BaseType, Extract<Head, string>, Options>,
+				Extract<Tail, string[]>,
+				Options
+			>
+		: never;
 /**
 Adds `undefined` to `Type` if `strict` is enabled.
 */
-export type Strictify<Type, Options extends GetOptions> = Options["strict"] extends false ? Type : (Type | undefined);
+export type Strictify<
+	Type,
+	Options extends GetOptions,
+> = Options['strict'] extends false ? Type : Type | undefined;
 /**
 If `Options['strict']` is `true`, includes `undefined` in the returned type when accessing properties on `Record<string, any>`.
 
 Known limitations:
 - Does not include `undefined` in the type on object types with an index signature (for example, `{a: string; [key: string]: string}`).
 */
-export type StrictPropertyOf<BaseType, Key extends keyof BaseType, Options extends GetOptions> = Record<string, any> extends BaseType ? string extends keyof BaseType ? Strictify<BaseType[Key], Options> // Record<string, any>
- : BaseType[Key] // Record<'a' | 'b', any> (Records with a string union as keys have required properties)
- : BaseType[Key];
+export type StrictPropertyOf<
+	BaseType,
+	Key extends keyof BaseType,
+	Options extends GetOptions,
+> = Record<string, any> extends BaseType
+	? string extends keyof BaseType
+		? Strictify<BaseType[Key], Options> // Record<string, any>
+		: BaseType[Key] // Record<'a' | 'b', any> (Records with a string union as keys have required properties)
+	: BaseType[Key];
 /**
 Splits a dot-prop style path into a tuple comprised of the properties in the path. Handles square-bracket notation.
 
@@ -992,11 +1202,18 @@ ToPath<'foo[0].bar.baz'>
 //=> ['foo', '0', 'bar', 'baz']
 ```
 */
-export type ToPath<S extends string> = Split<FixPathSquareBrackets<S>, ".">;
+export type ToPath<S extends string> = Split<FixPathSquareBrackets<S>, '.'>;
 /**
 Replaces square-bracketed dot notation with dots, for example, `foo[0].bar` -> `foo.0.bar`.
 */
-export type FixPathSquareBrackets<Path extends string> = Path extends `[${infer Head}]${infer Tail}` ? Tail extends `[${string}` ? `${Head}.${FixPathSquareBrackets<Tail>}` : `${Head}${FixPathSquareBrackets<Tail>}` : Path extends `${infer Head}[${infer Middle}]${infer Tail}` ? `${Head}.${FixPathSquareBrackets<`[${Middle}]${Tail}`>}` : Path;
+export type FixPathSquareBrackets<Path extends string> =
+	Path extends `[${infer Head}]${infer Tail}`
+		? Tail extends `[${string}`
+			? `${Head}.${FixPathSquareBrackets<Tail>}`
+			: `${Head}${FixPathSquareBrackets<Tail>}`
+		: Path extends `${infer Head}[${infer Middle}]${infer Tail}`
+			? `${Head}.${FixPathSquareBrackets<`[${Middle}]${Tail}`>}`
+			: Path;
 /**
 Returns true if `LongString` is made up out of `Substring` repeated 0 or more times.
 
@@ -1008,7 +1225,14 @@ ConsistsOnlyOf<'aBa', 'a'> //=> false
 ConsistsOnlyOf<'', 'a'> //=> true
 ```
 */
-export type ConsistsOnlyOf<LongString extends string, Substring extends string> = LongString extends "" ? true : LongString extends `${Substring}${infer Tail}` ? ConsistsOnlyOf<Tail, Substring> : false;
+export type ConsistsOnlyOf<
+	LongString extends string,
+	Substring extends string,
+> = LongString extends ''
+	? true
+	: LongString extends `${Substring}${infer Tail}`
+		? ConsistsOnlyOf<Tail, Substring>
+		: false;
 /**
 Convert a type which may have number keys to one with string keys, making it possible to index using strings retrieved from template types.
 
@@ -1029,11 +1253,11 @@ export type WithStringKeys<BaseType> = {
 /**
 Perform a `T[U]` operation if `T` supports indexing.
 */
-export type UncheckedIndex<T, U extends string | number> = [
-	T
-] extends [
-	Record<string | number, any>
-] ? T[U] : never;
+export type UncheckedIndex<T, U extends string | number> = [T] extends [
+	Record<string | number, any>,
+]
+	? T[U]
+	: never;
 /**
 Get a property of an object or array. Works when indexing arrays using number-literal-strings, for example, `PropertyOf<number[], '0'> = number`, and when indexing objects with number keys.
 
@@ -1041,15 +1265,26 @@ Note:
 - Returns `unknown` if `Key` is not a property of `BaseType`, since TypeScript uses structural typing, and it cannot be guaranteed that extra properties unknown to the type system will exist at runtime.
 - Returns `undefined` from nullish values, to match the behaviour of most deep-key libraries like `lodash`, `dot-prop`, etc.
 */
-export type PropertyOf<BaseType, Key extends string, Options extends GetOptions = {}> = BaseType extends null | undefined ? undefined : Key extends keyof BaseType ? StrictPropertyOf<BaseType, Key, Options> : BaseType extends readonly [
-] | readonly [
-	unknown,
-	...unknown[]
-] ? unknown // It's a tuple, but `Key` did not extend `keyof BaseType`. So the index is out of bounds.
- : BaseType extends {
-	[n: number]: infer Item;
-	length: number; // Note: This is needed to avoid being too lax with records types using number keys like `{0: string; 1: boolean}`.
-} ? (ConsistsOnlyOf<Key, StringDigit> extends true ? Strictify<Item, Options> : unknown) : Key extends keyof WithStringKeys<BaseType> ? StrictPropertyOf<WithStringKeys<BaseType>, Key, Options> : unknown;
+export type PropertyOf<
+	BaseType,
+	Key extends string,
+	Options extends GetOptions = {},
+> = BaseType extends null | undefined
+	? undefined
+	: Key extends keyof BaseType
+		? StrictPropertyOf<BaseType, Key, Options>
+		: BaseType extends readonly [] | readonly [unknown, ...unknown[]]
+			? unknown // It's a tuple, but `Key` did not extend `keyof BaseType`. So the index is out of bounds.
+			: BaseType extends {
+						[n: number]: infer Item;
+						length: number; // Note: This is needed to avoid being too lax with records types using number keys like `{0: string; 1: boolean}`.
+					}
+				? ConsistsOnlyOf<Key, StringDigit> extends true
+					? Strictify<Item, Options>
+					: unknown
+				: Key extends keyof WithStringKeys<BaseType>
+					? StrictPropertyOf<WithStringKeys<BaseType>, Key, Options>
+					: unknown;
 // This works by first splitting the path based on `.` and `[...]` characters into a tuple of string keys. Then it recursively uses the head key to get the next property of the current object, until there are no keys left. Number keys extract the item type from arrays, or are converted to strings to extract types from tuples and dictionaries with number keys.
 /**
 Get a deeply-nested property from an object using a key path, like Lodash's `.get()` function.
@@ -1097,11 +1332,28 @@ Get<Record<string, string>, 'foo', {strict: true}> // => string
 @category Array
 @category Template literal
 */
-export type Get<BaseType, Path extends readonly string[] | LiteralStringUnion<ToString<Paths<BaseType, {
-	bracketNotation: false;
-}> | Paths<BaseType, {
-	bracketNotation: true;
-}>>>, Options extends GetOptions = {}> = GetWithPath<BaseType, Path extends string ? ToPath<Path> : Path, Options>;
+export type Get<
+	BaseType,
+	Path extends
+		| readonly string[]
+		| LiteralStringUnion<
+				ToString<
+					| Paths<
+							BaseType,
+							{
+								bracketNotation: false;
+							}
+					  >
+					| Paths<
+							BaseType,
+							{
+								bracketNotation: true;
+							}
+					  >
+				>
+		  >,
+	Options extends GetOptions = {},
+> = GetWithPath<BaseType, Path extends string ? ToPath<Path> : Path, Options>;
 export type PlainObject = UnknownRecord;
 export type Smushed<Value> = Simplify<{
 	[Key in Paths<Value>]: Get<Value, ToString<Key>>;
@@ -1109,6 +1361,8 @@ export type Smushed<Value> = Simplify<{
 /**
  * Smush an object into a flat object that uses dot notation keys
  */
-export declare function smush<Value extends PlainObject>(value: Value): Smushed<Value>;
+export declare function smush<Value extends PlainObject>(
+	value: Value,
+): Smushed<Value>;
 
 export {};