@visulima/package 3.6.0 → 4.0.0

package/dist/packem_shared/{package-json-KA2fTML0.d.cts → package-json-k3TJ_oy7.d.ts}

@@ -1,4 +1,6 @@
 import { WriteJsonOptions } from '@visulima/fs';
+import { a as JsonValue, J as JsonObject } from './json-value.d-DU4PzU4Z.js';
+import { InstallPackageOptions } from '@antfu/install-pkg';
 import { Package } from 'normalize-package-data';
 
 /**
@@ -16,73 +18,82 @@ type Primitive =
 	| bigint;
 
 /**
-Matches a JSON object.
+Returns a boolean for whether the given type is `any`.
 
-This type can be useful to enforce some input to be JSON-compatible or as a super-type to be extended from. Don't use this as a direct return type as the user would have to double-cast it: `jsonObject as unknown as CustomResponse`. Instead, you could extend your CustomResponse type from it to ensure your type only uses JSON-compatible types: `interface CustomResponse extends JsonObject { … }`.
+@link https://stackoverflow.com/a/49928360/1490091
 
-@category JSON
-*/
-type JsonObject = {[Key in string]: JsonValue} & {[Key in string]?: JsonValue | undefined};
+Useful in type utilities, such as disallowing `any`s to be passed to a function.
 
-/**
-Matches a JSON array.
+@example
+```
+import type {IsAny} from 'type-fest';
 
-@category JSON
-*/
-type JsonArray = JsonValue[] | readonly JsonValue[];
+const typedObject = {a: 1, b: 2} as const;
+const anyObject: any = {a: 1, b: 2};
 
-/**
-Matches any valid JSON primitive value.
+function get<O extends (IsAny<O> extends true ? {} : Record<string, number>), K extends keyof O = keyof O>(obj: O, key: K) {
+	return obj[key];
+}
+
+const typedA = get(typedObject, 'a');
+//=> 1
+
+const anyA = get(anyObject, 'a');
+//=> any
+```
 
-@category JSON
+@category Type Guard
+@category Utilities
 */
-type JsonPrimitive = string | number | boolean | null;
+type IsAny<T> = 0 extends 1 & NoInfer<T> ? true : false;
 
 /**
-Matches any valid JSON value.
+Returns a boolean for whether the given key is an optional key of type.
 
-@see `Jsonify` if you need to transform a type to one that is assignable to `JsonValue`.
+This is useful when writing utility types or schema validators that need to differentiate `optional` keys.
 
-@category JSON
-*/
-type JsonValue = JsonPrimitive | JsonObject | JsonArray;
+@example
+```
+import type {IsOptionalKeyOf} from 'type-fest';
 
-declare global {
-	// eslint-disable-next-line @typescript-eslint/consistent-type-definitions -- It has to be an `interface` so that it can be merged.
-	interface SymbolConstructor {
-		readonly observable: symbol;
-	}
+interface User {
+	name: string;
+	surname: string;
+
+	luckyNumber?: number;
 }
 
-declare const emptyObjectSymbol: unique symbol;
+interface Admin {
+	name: string;
+	surname?: string;
+}
 
-/**
-Represents a strictly empty plain object, the `{}` value.
+type T1 = IsOptionalKeyOf<User, 'luckyNumber'>;
+//=> true
 
-When you annotate something as the type `{}`, it can be anything except `null` and `undefined`. This means that you cannot use `{}` to represent an empty plain object ([read more](https://stackoverflow.com/questions/47339869/typescript-empty-object-and-any-difference/52193484#52193484)).
+type T2 = IsOptionalKeyOf<User, 'name'>;
+//=> false
 
-@example
-```
-import type {EmptyObject} from 'type-fest';
+type T3 = IsOptionalKeyOf<User, 'name' | 'luckyNumber'>;
+//=> boolean
 
-// The following illustrates the problem with `{}`.
-const foo1: {} = {}; // Pass
-const foo2: {} = []; // Pass
-const foo3: {} = 42; // Pass
-const foo4: {} = {a: 1}; // Pass
+type T4 = IsOptionalKeyOf<User | Admin, 'name'>;
+//=> false
 
-// With `EmptyObject` only the first case is valid.
-const bar1: EmptyObject = {}; // Pass
-const bar2: EmptyObject = 42; // Fail
-const bar3: EmptyObject = []; // Fail
-const bar4: EmptyObject = {a: 1}; // Fail
+type T5 = IsOptionalKeyOf<User | Admin, 'surname'>;
+//=> boolean
 ```
 
-Unfortunately, `Record<string, never>`, `Record<keyof any, never>` and `Record<never, never>` do not work. See {@link https://github.com/sindresorhus/type-fest/issues/395 #395}.
-
-@category Object
+@category Type Guard
+@category Utilities
 */
-type EmptyObject = {[emptyObjectSymbol]?: never};
+type IsOptionalKeyOf<Type extends object, Key extends keyof Type> =
+	IsAny<Type | Key> extends true ? never
+		: Key extends keyof Type
+			? Type extends Record<Key, Type[Key]>
+				? false
+				: true
+			: false;
 
 /**
 Extract all optional keys from the given type.
@@ -117,11 +128,14 @@ const update2: UpdateOperation<User> = {
 
 @category Utilities
 */
-type OptionalKeysOf<BaseType extends object> =
-	BaseType extends unknown // For distributing `BaseType`
-		? (keyof {
-			[Key in keyof BaseType as BaseType extends Record<Key, BaseType[Key]> ? never : Key]: never
-		}) & (keyof BaseType) // Intersect with `keyof BaseType` to ensure result of `OptionalKeysOf<BaseType>` is always assignable to `keyof BaseType`
+type OptionalKeysOf<Type extends object> =
+	Type extends unknown // For distributing `Type`
+		? (keyof {[Key in keyof Type as
+			IsOptionalKeyOf<Type, Key> extends false
+				? never
+				: Key
+			]: never
+		}) & keyof Type // Intersect with `keyof Type` to ensure result of `OptionalKeysOf<Type>` is always assignable to `keyof Type`
 		: never; // Should never happen
 
 /**
@@ -148,9 +162,9 @@ const validator2 = createValidation<User>('surname', value => value.length < 25)
 
 @category Utilities
 */
-type RequiredKeysOf<BaseType extends object> =
-	BaseType extends unknown // For distributing `BaseType`
-		? Exclude<keyof BaseType, OptionalKeysOf<BaseType>>
+type RequiredKeysOf<Type extends object> =
+	Type extends unknown // For distributing `Type`
+		? Exclude<keyof Type, OptionalKeysOf<Type>>
 		: never; // Should never happen
 
 /**
@@ -197,27 +211,68 @@ endIfEqual('abc', '123');
 type IsNever<T> = [T] extends [never] ? true : false;
 
 /**
-An if-else-like type that resolves depending on whether the given type is `never`.
+An if-else-like type that resolves depending on whether the given `boolean` type is `true` or `false`.
 
-@see {@link IsNever}
+Use-cases:
+- You can use this in combination with `Is*` types to create an if-else-like experience. For example, `If<IsAny<any>, 'is any', 'not any'>`.
+
+Note:
+- Returns a union of if branch and else branch if the given type is `boolean` or `any`. For example, `If<boolean, 'Y', 'N'>` will return `'Y' | 'N'`.
+- Returns the else branch if the given type is `never`. For example, `If<never, 'Y', 'N'>` will return `'N'`.
 
 @example
 ```
-import type {IfNever} from 'type-fest';
+import {If} from 'type-fest';
 
-type ShouldBeTrue = IfNever<never>;
-//=> true
+type A = If<true, 'yes', 'no'>;
+//=> 'yes'
+
+type B = If<false, 'yes', 'no'>;
+//=> 'no'
+
+type C = If<boolean, 'yes', 'no'>;
+//=> 'yes' | 'no'
+
+type D = If<any, 'yes', 'no'>;
+//=> 'yes' | 'no'
+
+type E = If<never, 'yes', 'no'>;
+//=> 'no'
+```
+
+@example
+```
+import {If, IsAny, IsNever} from 'type-fest';
+
+type A = If<IsAny<unknown>, 'is any', 'not any'>;
+//=> 'not any'
+
+type B = If<IsNever<never>, 'is never', 'not never'>;
+//=> 'is never'
+```
+
+@example
+```
+import {If, IsEqual} from 'type-fest';
+
+type IfEqual<T, U, IfBranch, ElseBranch> = If<IsEqual<T, U>, IfBranch, ElseBranch>;
+
+type A = IfEqual<string, string, 'equal', 'not equal'>;
+//=> 'equal'
 
-type ShouldBeBar = IfNever<'not never', 'foo', 'bar'>;
-//=> 'bar'
+type B = IfEqual<string, number, 'equal', 'not equal'>;
+//=> 'not equal'
 ```
 
 @category Type Guard
 @category Utilities
 */
-type IfNever<T, TypeIfNever = true, TypeIfNotNever = false> = (
-	IsNever<T> extends true ? TypeIfNever : TypeIfNotNever
-);
+type If<Type extends boolean, IfBranch, ElseBranch> =
+	IsNever<Type> extends true
+		? ElseBranch
+		: Type extends true
+			? IfBranch
+			: ElseBranch;
 
 /**
 Represents an array with `unknown` value.
@@ -245,6 +300,89 @@ type C = IsArray<string>;
 */
 type UnknownArray = readonly unknown[];
 
+/**
+Matches any primitive, `void`, `Date`, or `RegExp` value.
+*/
+type BuiltIns = Primitive | void | Date | RegExp;
+
+/**
+Matches non-recursive types.
+*/
+type NonRecursiveType = BuiltIns | Function | (new (...arguments_: any[]) => unknown);
+
+/**
+Returns a boolean for whether the given `boolean` is not `false`.
+*/
+type IsNotFalse<T extends boolean> = [T] extends [false] ? false : true;
+
+/**
+Returns a boolean for whether A is false.
+
+@example
+```
+Not<true>;
+//=> false
+
+Not<false>;
+//=> true
+```
+*/
+type Not<A extends boolean> = A extends true
+	? false
+	: A extends false
+		? true
+		: never;
+
+/**
+An if-else-like type that resolves depending on whether the given type is `any` or `never`.
+
+@example
+```
+// When `T` is a NOT `any` or `never` (like `string`) => Returns `IfNotAnyOrNever` branch
+type A = IfNotAnyOrNever<string, 'VALID', 'IS_ANY', 'IS_NEVER'>;
+//=> 'VALID'
+
+// When `T` is `any` => Returns `IfAny` branch
+type B = IfNotAnyOrNever<any, 'VALID', 'IS_ANY', 'IS_NEVER'>;
+//=> 'IS_ANY'
+
+// When `T` is `never` => Returns `IfNever` branch
+type C = IfNotAnyOrNever<never, 'VALID', 'IS_ANY', 'IS_NEVER'>;
+//=> 'IS_NEVER'
+```
+*/
+type IfNotAnyOrNever<T, IfNotAnyOrNever, IfAny = any, IfNever = never> =
+	If<IsAny<T>, IfAny, If<IsNever<T>, IfNever, IfNotAnyOrNever>>;
+
+/**
+Returns a boolean for whether the given type is `any` or `never`.
+
+This type can be better to use than {@link IfNotAnyOrNever `IfNotAnyOrNever`} in recursive types because it does not evaluate any branches.
+
+@example
+```
+// When `T` is a NOT `any` or `never` (like `string`) => Returns `false`
+type A = IsAnyOrNever<string>;
+//=> false
+
+// When `T` is `any` => Returns `true`
+type B = IsAnyOrNever<any>;
+//=> true
+
+// When `T` is `never` => Returns `true`
+type C = IsAnyOrNever<never>;
+//=> true
+```
+*/
+type IsAnyOrNever<T> = IsNotFalse<IsAny<T> | IsNever<T>>;
+
+/**
+Indicates the value of `exactOptionalPropertyTypes` compiler option.
+*/
+type IsExactOptionalPropertyTypesEnabled = [(string | undefined)?] extends [string?]
+	? false
+	: true;
+
 /**
 Returns the static, fixed-length portion of the given array, excluding variable-length parts.
 
@@ -281,39 +419,66 @@ type VariablePartOfArray<T extends UnknownArray> =
 			: []
 		: never;
 
-// Can eventually be replaced with the built-in once this library supports
-// TS5.4+ only. Tracked in https://github.com/sindresorhus/type-fest/issues/848
-type NoInfer<T> = T extends infer U ? U : never;
-
 /**
-Returns a boolean for whether the given type is `any`.
-
-@link https://stackoverflow.com/a/49928360/1490091
-
-Useful in type utilities, such as disallowing `any`s to be passed to a function.
+Transforms a tuple type by replacing it's rest element with a single element that has the same type as the rest element, while keeping all the non-rest elements intact.
 
 @example
 ```
-import type {IsAny} from 'type-fest';
+type A = CollapseRestElement<[string, string, ...number[]]>;
+//=> [string, string, number]
 
-const typedObject = {a: 1, b: 2} as const;
-const anyObject: any = {a: 1, b: 2};
+type B = CollapseRestElement<[...string[], number, number]>;
+//=> [string, number, number]
 
-function get<O extends (IsAny<O> extends true ? {} : Record<string, number>), K extends keyof O = keyof O>(obj: O, key: K) {
-	return obj[key];
-}
+type C = CollapseRestElement<[string, string, ...Array<number | bigint>]>;
+//=> [string, string, number | bigint]
 
-const typedA = get(typedObject, 'a');
-//=> 1
+type D = CollapseRestElement<[string, number]>;
+//=> [string, number]
+```
 
-const anyA = get(anyObject, 'a');
-//=> any
+Note: Optional modifiers (`?`) are removed from elements unless the `exactOptionalPropertyTypes` compiler option is disabled. When disabled, there's an additional `| undefined` for optional elements.
+
+@example
 ```
+// `exactOptionalPropertyTypes` enabled
+type A = CollapseRestElement<[string?, string?, ...number[]]>;
+//=> [string, string, number]
 
-@category Type Guard
-@category Utilities
+// `exactOptionalPropertyTypes` disabled
+type B = CollapseRestElement<[string?, string?, ...number[]]>;
+//=> [string | undefined, string | undefined, number]
+```
 */
-type IsAny<T> = 0 extends 1 & NoInfer<T> ? true : false;
+type CollapseRestElement<TArray extends UnknownArray> = IfNotAnyOrNever<TArray, _CollapseRestElement<TArray>>;
+
+type _CollapseRestElement<
+	TArray extends UnknownArray,
+	ForwardAccumulator extends UnknownArray = [],
+	BackwardAccumulator extends UnknownArray = [],
+> =
+	TArray extends UnknownArray // For distributing `TArray`
+		? keyof TArray & `${number}` extends never
+			// Enters this branch, if `TArray` is empty (e.g., []),
+			// or `TArray` contains no non-rest elements preceding the rest element (e.g., `[...string[]]` or `[...string[], string]`).
+			? TArray extends readonly [...infer Rest, infer Last]
+				? _CollapseRestElement<Rest, ForwardAccumulator, [Last, ...BackwardAccumulator]> // Accumulate elements that are present after the rest element.
+				: TArray extends readonly []
+					? [...ForwardAccumulator, ...BackwardAccumulator]
+					: [...ForwardAccumulator, TArray[number], ...BackwardAccumulator] // Add the rest element between the accumulated elements.
+			: TArray extends readonly [(infer First)?, ...infer Rest]
+				? _CollapseRestElement<
+					Rest,
+					[
+						...ForwardAccumulator,
+						'0' extends OptionalKeysOf<TArray>
+							? If<IsExactOptionalPropertyTypesEnabled, First, First | undefined> // Add `| undefined` for optional elements, if `exactOptionalPropertyTypes` is disabled.
+							: First,
+					],
+					BackwardAccumulator
+				>
+				: never // Should never happen, since `[(infer First)?, ...infer Rest]` is a top-type for arrays.
+		: never; // Should never happen
 
 type Numeric = number | bigint;
 
@@ -329,7 +494,7 @@ Please upvote [this issue](https://github.com/microsoft/TypeScript/issues/32277)
 @category Numeric
 */
 // See https://github.com/microsoft/TypeScript/issues/31752
-// eslint-disable-next-line @typescript-eslint/no-loss-of-precision
+// eslint-disable-next-line no-loss-of-precision
 type PositiveInfinity = 1e999;
 
 /**
@@ -342,7 +507,7 @@ Please upvote [this issue](https://github.com/microsoft/TypeScript/issues/32277)
 @category Numeric
 */
 // See https://github.com/microsoft/TypeScript/issues/31752
-// eslint-disable-next-line @typescript-eslint/no-loss-of-precision
+// eslint-disable-next-line no-loss-of-precision
 type NegativeInfinity = -1e999;
 
 /**
@@ -407,737 +572,918 @@ type IsEqual<A, B> =
 		: false;
 
 /**
-Returns a boolean for whether two given types are both true.
-
-Use-case: Constructing complex conditional types where multiple conditions must be satisfied.
+Useful to flatten the type output to improve type hints shown in editors. And also to transform an interface into a type to aide with assignability.
 
 @example
 ```
-import type {And} from 'type-fest';
+import type {Simplify} from 'type-fest';
 
-And<true, true>;
-//=> true
+type PositionProps = {
+	top: number;
+	left: number;
+};
 
-And<true, false>;
-//=> false
-```
+type SizeProps = {
+	width: number;
+	height: number;
+};
 
-@see {@link Or}
-*/
-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;
+// In your editor, hovering over `Props` will show a flattened object with all the properties.
+type Props = Simplify<PositionProps & SizeProps>;
+```
 
-/**
-Returns a boolean for whether either of two given types are true.
+Sometimes it is desired to pass a value as a function argument that has a different type. At first inspection it may seem assignable, and then you discover it is not because the `value`'s type definition was defined as an interface. In the following example, `fn` requires an argument of type `Record<string, unknown>`. If the value is defined as a literal, then it is assignable. And if the `value` is defined as type using the `Simplify` utility the value is assignable.  But if the `value` is defined as an interface, it is not assignable because the interface is not sealed and elsewhere a non-string property could be added to the interface.
 
-Use-case: Constructing complex conditional types where multiple conditions must be satisfied.
+If the type definition must be an interface (perhaps it was defined in a third-party npm package), then the `value` can be defined as `const value: Simplify<SomeInterface> = ...`. Then `value` will be assignable to the `fn` argument.  Or the `value` can be cast as `Simplify<SomeInterface>` if you can't re-declare the `value`.
 
 @example
 ```
-import type {Or} from 'type-fest';
+import type {Simplify} from 'type-fest';
 
-Or<true, false>;
-//=> true
+interface SomeInterface {
+	foo: number;
+	bar?: string;
+	baz: number | undefined;
+}
 
-Or<false, false>;
-//=> false
+type SomeType = {
+	foo: number;
+	bar?: string;
+	baz: number | undefined;
+};
+
+const literal = {foo: 123, bar: 'hello', baz: 456};
+const someType: SomeType = literal;
+const someInterface: SomeInterface = literal;
+
+function fn(object: Record<string, unknown>): void {}
+
+fn(literal); // Good: literal object type is sealed
+fn(someType); // Good: type is sealed
+fn(someInterface); // Error: Index signature for type 'string' is missing in type 'someInterface'. Because `interface` can be re-opened
+fn(someInterface as Simplify<SomeInterface>); // Good: transform an `interface` into a `type`
 ```
 
-@see {@link And}
+@link https://github.com/microsoft/TypeScript/issues/15300
+@see SimplifyDeep
+@category Object
 */
-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;
+type Simplify<T> = {[KeyType in keyof T]: T[KeyType]} & {};
 
 /**
-Returns a boolean for whether a given number is greater than another number.
+Omit any index signatures from the given object type, leaving only explicitly defined properties.
+
+This is the counterpart of `PickIndexSignature`.
+
+Use-cases:
+- Remove overly permissive signatures from third-party types.
+
+This type was taken from this [StackOverflow answer](https://stackoverflow.com/a/68261113/420747).
+
+It relies on the fact that an empty object (`{}`) is assignable to an object with just an index signature, like `Record<string, unknown>`, but not to an object with explicitly defined keys, like `Record<'foo' | 'bar', unknown>`.
+
+(The actual value type, `unknown`, is irrelevant and could be any type. Only the key type matters.)
 
-@example
 ```
-import type {GreaterThan} from 'type-fest';
+const indexed: Record<string, unknown> = {}; // Allowed
 
-GreaterThan<1, -5>;
-//=> true
+const keyed: Record<'foo', unknown> = {}; // Error
+// => TS2739: Type '{}' is missing the following properties from type 'Record<"foo" | "bar", unknown>': foo, bar
+```
 
-GreaterThan<1, 1>;
-//=> false
+Instead of causing a type error like the above, you can also use a [conditional type](https://www.typescriptlang.org/docs/handbook/2/conditional-types.html) to test whether a type is assignable to another:
 
-GreaterThan<1, 5>;
-//=> false
 ```
-*/
-type GreaterThan<A extends number, B extends number> =
-	A extends number // For distributing `A`
-		? B extends number // For distributing `B`
-			? 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
-			: never // Should never happen
-		: never; // Should never happen
+type Indexed = {} extends Record<string, unknown>
+	? '✅ `{}` is assignable to `Record<string, unknown>`'
+	: '❌ `{}` is NOT assignable to `Record<string, unknown>`';
+// => '✅ `{}` is assignable to `Record<string, unknown>`'
 
-/**
-Returns a boolean for whether a given number is greater than or equal to another number.
+type Keyed = {} extends Record<'foo' | 'bar', unknown>
+	? "✅ `{}` is assignable to `Record<'foo' | 'bar', unknown>`"
+	: "❌ `{}` is NOT assignable to `Record<'foo' | 'bar', unknown>`";
+// => "❌ `{}` is NOT assignable to `Record<'foo' | 'bar', unknown>`"
+```
+
+Using a [mapped type](https://www.typescriptlang.org/docs/handbook/2/mapped-types.html#further-exploration), you can then check for each `KeyType` of `ObjectType`...
+
+```
+import type {OmitIndexSignature} from 'type-fest';
+
+type OmitIndexSignature<ObjectType> = {
+	[KeyType in keyof ObjectType // Map each key of `ObjectType`...
+	]: ObjectType[KeyType]; // ...to its original value, i.e. `OmitIndexSignature<Foo> == Foo`.
+};
+```
+
+...whether an empty object (`{}`) would be assignable to an object with that `KeyType` (`Record<KeyType, unknown>`)...
+
+```
+import type {OmitIndexSignature} from 'type-fest';
+
+type OmitIndexSignature<ObjectType> = {
+	[KeyType in keyof ObjectType
+		// Is `{}` assignable to `Record<KeyType, unknown>`?
+		as {} extends Record<KeyType, unknown>
+			? ... // ✅ `{}` is assignable to `Record<KeyType, unknown>`
+			: ... // ❌ `{}` is NOT assignable to `Record<KeyType, unknown>`
+	]: ObjectType[KeyType];
+};
+```
+
+If `{}` is assignable, it means that `KeyType` is an index signature and we want to remove it. If it is not assignable, `KeyType` is a "real" key and we want to keep it.
 
 @example
 ```
-import type {GreaterThanOrEqual} from 'type-fest';
+import type {OmitIndexSignature} from 'type-fest';
 
-GreaterThanOrEqual<1, -5>;
-//=> true
+interface Example {
+	// These index signatures will be removed.
+	[x: string]: any
+	[x: number]: any
+	[x: symbol]: any
+	[x: `head-${string}`]: string
+	[x: `${string}-tail`]: string
+	[x: `head-${string}-tail`]: string
+	[x: `${bigint}`]: string
+	[x: `embedded-${number}`]: string
 
-GreaterThanOrEqual<1, 1>;
-//=> true
+	// These explicitly defined keys will remain.
+	foo: 'bar';
+	qux?: 'baz';
+}
 
-GreaterThanOrEqual<1, 5>;
-//=> false
+type ExampleWithoutIndexSignatures = OmitIndexSignature<Example>;
+// => { foo: 'bar'; qux?: 'baz' | undefined; }
 ```
+
+@see PickIndexSignature
+@category Object
 */
-type GreaterThanOrEqual<A extends number, B extends number> = number extends A | B
-	? never
-	: A extends B ? true : GreaterThan<A, B>;
+type OmitIndexSignature<ObjectType> = {
+	[KeyType in keyof ObjectType as {} extends Record<KeyType, unknown>
+		? never
+		: KeyType]: ObjectType[KeyType];
+};
 
 /**
-Returns a boolean for whether a given number is less than another number.
+Pick only index signatures from the given object type, leaving out all explicitly defined properties.
+
+This is the counterpart of `OmitIndexSignature`.
 
 @example
 ```
-import type {LessThan} from 'type-fest';
+import type {PickIndexSignature} from 'type-fest';
 
-LessThan<1, -5>;
-//=> false
+declare const symbolKey: unique symbol;
 
-LessThan<1, 1>;
-//=> false
+type Example = {
+	// These index signatures will remain.
+	[x: string]: unknown;
+	[x: number]: unknown;
+	[x: symbol]: unknown;
+	[x: `head-${string}`]: string;
+	[x: `${string}-tail`]: string;
+	[x: `head-${string}-tail`]: string;
+	[x: `${bigint}`]: string;
+	[x: `embedded-${number}`]: string;
 
-LessThan<1, 5>;
-//=> true
+	// These explicitly defined keys will be removed.
+	['kebab-case-key']: string;
+	[symbolKey]: string;
+	foo: 'bar';
+	qux?: 'baz';
+};
+
+type ExampleIndexSignature = PickIndexSignature<Example>;
+// {
+// 	[x: string]: unknown;
+// 	[x: number]: unknown;
+// 	[x: symbol]: unknown;
+// 	[x: `head-${string}`]: string;
+// 	[x: `${string}-tail`]: string;
+// 	[x: `head-${string}-tail`]: string;
+// 	[x: `${bigint}`]: string;
+// 	[x: `embedded-${number}`]: string;
+// }
 ```
+
+@see OmitIndexSignature
+@category Object
 */
-type LessThan<A extends number, B extends number> = number extends A | B
-	? never
-	: GreaterThanOrEqual<A, B> extends infer Result
-		? Result extends true
-			? false
-			: true
-		: never; // Should never happen
+type PickIndexSignature<ObjectType> = {
+	[KeyType in keyof ObjectType as {} extends Record<KeyType, unknown>
+		? KeyType
+		: never]: ObjectType[KeyType];
+};
 
-// Should never happen
+// Merges two objects without worrying about index signatures.
+type SimpleMerge<Destination, Source> = {
+	[Key in keyof Destination as Key extends keyof Source ? never : Key]: Destination[Key];
+} & Source;
 
 /**
-Create a tuple type of the given length `<L>` and fill it with the given type `<Fill>`.
+Merge two types into a new type. Keys of the second type overrides keys of the first type.
 
-If `<Fill>` is not provided, it will default to `unknown`.
+@example
+```
+import type {Merge} from 'type-fest';
 
-@link https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
-*/
-type BuildTuple<L extends number, Fill = unknown, T extends readonly unknown[] = []> = number extends L
-	? Fill[]
-	: L extends T['length']
-		? T
-		: BuildTuple<L, Fill, [...T, Fill]>;
+interface Foo {
+	[x: string]: unknown;
+	[x: number]: unknown;
+	foo: string;
+	bar: symbol;
+}
 
-/**
-Return a string representation of the given string or number.
+type Bar = {
+	[x: number]: number;
+	[x: symbol]: unknown;
+	bar: Date;
+	baz: boolean;
+};
 
-Note: This type is not the return type of the `.toString()` function.
+export type FooBar = Merge<Foo, Bar>;
+// => {
+// 	[x: string]: unknown;
+// 	[x: number]: number;
+// 	[x: symbol]: unknown;
+// 	foo: string;
+// 	bar: Date;
+// 	baz: boolean;
+// }
+```
+
+@category Object
 */
-type ToString<T> = T extends string | number ? `${T}` : never;
+type Merge<Destination, Source> =
+Simplify<
+	SimpleMerge<PickIndexSignature<Destination>, PickIndexSignature<Source>>
+	& SimpleMerge<OmitIndexSignature<Destination>, OmitIndexSignature<Source>>
+>;
 
 /**
-Converts a numeric string to a number.
+Merges user specified options with default options.
 
 @example
 ```
-type PositiveInt = StringToNumber<'1234'>;
-//=> 1234
+type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
+type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: false};
+type SpecifiedOptions = {leavesOnly: true};
 
-type NegativeInt = StringToNumber<'-1234'>;
-//=> -1234
+type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
+//=> {maxRecursionDepth: 10; leavesOnly: true}
+```
 
-type PositiveFloat = StringToNumber<'1234.56'>;
-//=> 1234.56
+@example
+```
+// Complains if default values are not provided for optional options
 
-type NegativeFloat = StringToNumber<'-1234.56'>;
-//=> -1234.56
+type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
+type DefaultPathsOptions = {maxRecursionDepth: 10};
+type SpecifiedOptions = {};
 
-type PositiveInfinity = StringToNumber<'Infinity'>;
-//=> Infinity
+type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
+//                                              ~~~~~~~~~~~~~~~~~~~
+// Property 'leavesOnly' is missing in type 'DefaultPathsOptions' but required in type '{ maxRecursionDepth: number; leavesOnly: boolean; }'.
+```
 
-type NegativeInfinity = StringToNumber<'-Infinity'>;
-//=> -Infinity
+@example
 ```
+// Complains if an option's default type does not conform to the expected type
 
-@category String
-@category Numeric
-@category Template literal
-*/
-type StringToNumber<S extends string> = S extends `${infer N extends number}`
-	? N
-	: S extends 'Infinity'
-		? PositiveInfinity
-		: S extends '-Infinity'
-			? NegativeInfinity
-			: never;
+type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
+type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: 'no'};
+type SpecifiedOptions = {};
 
-/**
-Returns an array of the characters of the string.
+type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
+//                                              ~~~~~~~~~~~~~~~~~~~
+// Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
+```
 
 @example
 ```
-StringToArray<'abcde'>;
-//=> ['a', 'b', 'c', 'd', 'e']
+// Complains if an option's specified type does not conform to the expected type
 
-StringToArray<string>;
-//=> never
-```
+type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
+type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: false};
+type SpecifiedOptions = {leavesOnly: 'yes'};
 
-@category String
+type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
+//                                                                   ~~~~~~~~~~~~~~~~
+// Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
+```
 */
-type StringToArray<S extends string, Result extends string[] = []> = string extends S
-	? never
-	: S extends `${infer F}${infer R}`
-		? StringToArray<R, [...Result, F]>
-		: Result;
+type ApplyDefaultOptions<
+	Options extends object,
+	Defaults extends Simplify<Omit<Required<Options>, RequiredKeysOf<Options>> & Partial<Record<RequiredKeysOf<Options>, never>>>,
+	SpecifiedOptions extends Options,
+> =
+	If<IsAny<SpecifiedOptions>, Defaults,
+		If<IsNever<SpecifiedOptions>, Defaults,
+			Simplify<Merge<Defaults, {
+				[Key in keyof SpecifiedOptions
+				as Key extends OptionalKeysOf<Options> ? undefined extends SpecifiedOptions[Key] ? never : Key : Key
+				]: SpecifiedOptions[Key]
+			}> & Required<Options>>>>;
 
 /**
-Returns the length of the given string.
+Returns a boolean for whether either of two given types are true.
+
+Use-case: Constructing complex conditional types where multiple conditions must be satisfied.
 
 @example
 ```
-StringLength<'abcde'>;
-//=> 5
+import type {Or} from 'type-fest';
 
-StringLength<string>;
-//=> never
+type TT = Or<true, false>;
+//=> true
+
+type TF = Or<true, false>;
+//=> true
+
+type FT = Or<false, true>;
+//=> true
+
+type FF = Or<false, false>;
+//=> false
 ```
 
-@category String
-@category Template literal
-*/
-type StringLength<S extends string> = string extends S
-	? never
-	: StringToArray<S>['length'];
+Note: When `boolean` is passed as an argument, it is distributed into separate cases, and the final result is a union of those cases.
+For example, `And<false, boolean>` expands to `And<false, true> | And<false, false>`, which simplifies to `true | false` (i.e., `boolean`).
+@example
+```
+import type {And} from 'type-fest';
 
-/**
-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.
+type A = Or<false, boolean>;
+//=> boolean
+
+type B = Or<boolean, false>;
+//=> boolean
+
+type C = Or<true, boolean>;
+//=> true
+
+type D = Or<boolean, true>;
+//=> true
+
+type E = Or<boolean, boolean>;
+//=> boolean
+```
+
+Note: If `never` is passed as an argument, it is treated as `false` and the result is computed accordingly.
 
 @example
 ```
-SameLengthPositiveNumericStringGt<'50', '10'>;
+import type {Or} from 'type-fest';
+
+type A = Or<true, never>;
 //=> true
 
-SameLengthPositiveNumericStringGt<'10', '10'>;
+type B = Or<never, true>;
+//=> true
+
+type C = Or<false, never>;
+//=> false
+
+type D = Or<never, false>;
+//=> false
+
+type E = Or<boolean, never>;
+//=> boolean
+
+type F = Or<never, boolean>;
+//=> boolean
+
+type G = Or<never, never>;
 //=> false
 ```
+
+@see {@link And}
 */
-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;
+type Or<A extends boolean, B extends boolean> =
+	_Or<If<IsNever<A>, false, A>, If<IsNever<B>, false, B>>; // `never` is treated as `false`
 
-type NumericString = '0123456789';
+type _Or<A extends boolean, B extends boolean> = A extends true
+	? true
+	: B extends true
+		? true
+		: false;
 
 /**
-Returns a boolean for whether `A` is greater than `B`, where `A` and `B` are both positive numeric strings.
+@see {@link AllExtend}
+*/
+type AllExtendOptions = {
+	/**
+	Consider `never` elements to match the target type only if the target type itself is `never` (or `any`).
+
+	- When set to `true` (default), `never` is _not_ treated as a bottom type, instead, it is treated as a type that matches only itself (or `any`).
+	- When set to `false`, `never` is treated as a bottom type, and behaves as it normally would.
+
+	@default true
+
+	@example
+	```
+	import type {AllExtend} from 'type-fest';
+
+	type A = AllExtend<[1, 2, never], number, {strictNever: true}>;
+	//=> false
+
+	type B = AllExtend<[1, 2, never], number, {strictNever: false}>;
+	//=> true
+
+	type C = AllExtend<[never, never], never, {strictNever: true}>;
+	//=> true
+
+	type D = AllExtend<[never, never], never, {strictNever: false}>;
+	//=> true
+
+	type E = AllExtend<['a', 'b', never], any, {strictNever: true}>;
+	//=> true
+
+	type F = AllExtend<['a', 'b', never], any, {strictNever: false}>;
+	//=> true
+
+	type G = AllExtend<[never, 1], never, {strictNever: true}>;
+	//=> false
+
+	type H = AllExtend<[never, 1], never, {strictNever: false}>;
+	//=> false
+	```
+	*/
+	strictNever?: boolean;
+};
+
+type DefaultAllExtendOptions = {
+	strictNever: true;
+};
+
+/**
+Returns a boolean for whether every element in an array type extends another type.
 
 @example
 ```
-PositiveNumericStringGt<'500', '1'>;
+import type {AllExtend} from 'type-fest';
+
+type A = AllExtend<[1, 2, 3], number>;
 //=> true
 
-PositiveNumericStringGt<'1', '1'>;
+type B = AllExtend<[1, 2, '3'], number>;
 //=> false
 
-PositiveNumericStringGt<'1', '500'>;
+type C = AllExtend<[number, number | string], number>;
+//=> boolean
+
+type D = AllExtend<[true, boolean, true], true>;
+//=> boolean
+```
+
+Note: Behaviour of optional elements depend on the `exactOptionalPropertyTypes` compiler option. When the option is disabled, the target type must include `undefined` for a successful match.
+
+```
+import type {AllExtend} from 'type-fest';
+
+// `exactOptionalPropertyTypes` enabled
+type A = AllExtend<[1?, 2?, 3?], number>;
+//=> true
+
+// `exactOptionalPropertyTypes` disabled
+type B = AllExtend<[1?, 2?, 3?], number>;
 //=> false
+
+// `exactOptionalPropertyTypes` disabled
+type C = AllExtend<[1?, 2?, 3?], number | undefined>;
+//=> true
 ```
+
+@see {@link AllExtendOptions}
+
+@category Utilities
+@category Array
 */
-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;
+type AllExtend<TArray extends UnknownArray, Type, Options extends AllExtendOptions = {}> =
+	_AllExtend<CollapseRestElement<TArray>, Type, ApplyDefaultOptions<AllExtendOptions, DefaultAllExtendOptions, Options>>;
+
+type _AllExtend<TArray extends UnknownArray, Type, Options extends Required<AllExtendOptions>> = IfNotAnyOrNever<TArray, If<IsAny<Type>, true,
+	TArray extends readonly [infer First, ...infer Rest]
+		? IsNever<First> extends true
+			? Or<IsNever<Type>, Not<Options['strictNever']>> extends true
+				// If target `Type` is also `never` OR `strictNever` is disabled, recurse further.
+				? _AllExtend<Rest, Type, Options>
+				: false
+			: First extends Type
+				? _AllExtend<Rest, Type, Options>
+				: false
+		: true
+>, false, false>;
 
 /**
-Returns a boolean for whether `A` represents a number greater than `B`, where `A` and `B` are both positive numeric characters.
+Returns a boolean for whether two given types are both true.
+
+Use-case: Constructing complex conditional types where multiple conditions must be satisfied.
 
 @example
 ```
-PositiveNumericCharacterGt<'5', '1'>;
+import type {And} from 'type-fest';
+
+type TT = And<true, true>;
 //=> true
 
-PositiveNumericCharacterGt<'1', '1'>;
+type TF = And<true, false>;
+//=> false
+
+type FT = And<false, true>;
+//=> false
+
+type FF = And<false, false>;
 //=> false
 ```
-*/
-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.
+Note: When `boolean` is passed as an argument, it is distributed into separate cases, and the final result is a union of those cases.
+For example, `And<true, boolean>` expands to `And<true, true> | And<true, false>`, which simplifies to `true | false` (i.e., `boolean`).
 
 @example
 ```
-NumberAbsolute<-1>;
-//=> 1
+import type {And} from 'type-fest';
 
-NumberAbsolute<1>;
-//=> 1
+type A = And<true, boolean>;
+//=> boolean
 
-NumberAbsolute<NegativeInfinity>
-//=> PositiveInfinity
-```
-*/
-type NumberAbsolute<N extends number> = `${N}` extends `-${infer StringPositiveN}` ? StringToNumber<StringPositiveN> : N;
+type B = And<boolean, true>;
+//=> boolean
 
-/**
-Check whether the given type is a number or a number string.
+type C = And<false, boolean>;
+//=> false
 
-Supports floating-point as a string.
+type D = And<boolean, false>;
+//=> false
+
+type E = And<boolean, boolean>;
+//=> boolean
+```
 
+Note: If either of the types is `never`, the result becomes `false`.
 @example
 ```
-type A = IsNumberLike<'1'>;
-//=> true
+import type {And} from 'type-fest';
+
+type A = And<true, never>;
+//=> false
+
+type B = And<never, true>;
+//=> false
+
+type C = And<false, never>;
+//=> false
 
-type B = IsNumberLike<'-1.1'>;
-//=> true
+type D = And<never, false>;
+//=> false
 
-type C = IsNumberLike<1>;
-//=> true
+type E = And<boolean, never>;
+//=> false
+
+type F = And<never, boolean>;
+//=> false
 
-type D = IsNumberLike<'a'>;
+type G = And<never, never>;
 //=> false
+```
+
+@see {@link Or}
 */
-type IsNumberLike<N> =
-	N extends number ? true
-		:	N extends `${number}`
-			? true
-			: N extends `${number}.${number}`
-				? true
-				: false;
+type And<A extends boolean, B extends boolean> = AllExtend<[A, B], true>;
 
 /**
-Returns the number with reversed sign.
+Returns a boolean for whether a given number is greater than another number.
 
 @example
 ```
-ReverseSign<-1>;
-//=> 1
+import type {GreaterThan} from 'type-fest';
 
-ReverseSign<1>;
-//=> -1
+GreaterThan<1, -5>;
+//=> true
 
-ReverseSign<NegativeInfinity>
-//=> PositiveInfinity
+GreaterThan<1, 1>;
+//=> false
 
-ReverseSign<PositiveInfinity>
-//=> NegativeInfinity
+GreaterThan<1, 5>;
+//=> false
 ```
 */
-type ReverseSign<N extends number> =
-	// Handle edge cases
-	N extends 0 ? 0 : N extends PositiveInfinity ? NegativeInfinity : N extends NegativeInfinity ? PositiveInfinity :
-	// Handle negative numbers
-	`${N}` extends `-${infer P extends number}` ? P
-		// Handle positive numbers
-		: `-${N}` extends `${infer R extends number}` ? R : never;
+type GreaterThan<A extends number, B extends number> =
+	A extends number // For distributing `A`
+		? B extends number // For distributing `B`
+			? 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
+			: never // Should never happen
+		: never; // Should never happen
 
 /**
-Useful to flatten the type output to improve type hints shown in editors. And also to transform an interface into a type to aide with assignability.
+Returns a boolean for whether a given number is greater than or equal to another number.
 
 @example
 ```
-import type {Simplify} from 'type-fest';
+import type {GreaterThanOrEqual} from 'type-fest';
 
-type PositionProps = {
-	top: number;
-	left: number;
-};
+GreaterThanOrEqual<1, -5>;
+//=> true
 
-type SizeProps = {
-	width: number;
-	height: number;
-};
+GreaterThanOrEqual<1, 1>;
+//=> true
 
-// In your editor, hovering over `Props` will show a flattened object with all the properties.
-type Props = Simplify<PositionProps & SizeProps>;
+GreaterThanOrEqual<1, 5>;
+//=> false
 ```
+*/
+type GreaterThanOrEqual<A extends number, B extends number> = number extends A | B
+	? never
+	: A extends B ? true : GreaterThan<A, B>;
 
-Sometimes it is desired to pass a value as a function argument that has a different type. At first inspection it may seem assignable, and then you discover it is not because the `value`'s type definition was defined as an interface. In the following example, `fn` requires an argument of type `Record<string, unknown>`. If the value is defined as a literal, then it is assignable. And if the `value` is defined as type using the `Simplify` utility the value is assignable.  But if the `value` is defined as an interface, it is not assignable because the interface is not sealed and elsewhere a non-string property could be added to the interface.
-
-If the type definition must be an interface (perhaps it was defined in a third-party npm package), then the `value` can be defined as `const value: Simplify<SomeInterface> = ...`. Then `value` will be assignable to the `fn` argument.  Or the `value` can be cast as `Simplify<SomeInterface>` if you can't re-declare the `value`.
+/**
+Returns a boolean for whether a given number is less than another number.
 
 @example
 ```
-import type {Simplify} from 'type-fest';
-
-interface SomeInterface {
-	foo: number;
-	bar?: string;
-	baz: number | undefined;
-}
-
-type SomeType = {
-	foo: number;
-	bar?: string;
-	baz: number | undefined;
-};
+import type {LessThan} from 'type-fest';
 
-const literal = {foo: 123, bar: 'hello', baz: 456};
-const someType: SomeType = literal;
-const someInterface: SomeInterface = literal;
+LessThan<1, -5>;
+//=> false
 
-function fn(object: Record<string, unknown>): void {}
+LessThan<1, 1>;
+//=> false
 
-fn(literal); // Good: literal object type is sealed
-fn(someType); // Good: type is sealed
-fn(someInterface); // Error: Index signature for type 'string' is missing in type 'someInterface'. Because `interface` can be re-opened
-fn(someInterface as Simplify<SomeInterface>); // Good: transform an `interface` into a `type`
+LessThan<1, 5>;
+//=> true
 ```
-
-@link https://github.com/microsoft/TypeScript/issues/15300
-@see SimplifyDeep
-@category Object
 */
-type Simplify<T> = {[KeyType in keyof T]: T[KeyType]} & {};
-
-/**
-Omit any index signatures from the given object type, leaving only explicitly defined properties.
-
-This is the counterpart of `PickIndexSignature`.
-
-Use-cases:
-- Remove overly permissive signatures from third-party types.
+type LessThan<A extends number, B extends number> = number extends A | B
+	? never
+	: GreaterThanOrEqual<A, B> extends infer Result
+		? Result extends true
+			? false
+			: true
+		: never; // Should never happen
 
-This type was taken from this [StackOverflow answer](https://stackoverflow.com/a/68261113/420747).
+// Should never happen
 
-It relies on the fact that an empty object (`{}`) is assignable to an object with just an index signature, like `Record<string, unknown>`, but not to an object with explicitly defined keys, like `Record<'foo' | 'bar', unknown>`.
+/**
+Create a tuple type of the given length `<L>` and fill it with the given type `<Fill>`.
 
-(The actual value type, `unknown`, is irrelevant and could be any type. Only the key type matters.)
+If `<Fill>` is not provided, it will default to `unknown`.
 
-```
-const indexed: Record<string, unknown> = {}; // Allowed
+@link https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
+*/
+type BuildTuple<L extends number, Fill = unknown, T extends readonly unknown[] = []> = number extends L
+	? Fill[]
+	: L extends T['length']
+		? T
+		: BuildTuple<L, Fill, [...T, Fill]>;
 
-const keyed: Record<'foo', unknown> = {}; // Error
-// => TS2739: Type '{}' is missing the following properties from type 'Record<"foo" | "bar", unknown>': foo, bar
-```
+/**
+Return a string representation of the given string or number.
 
-Instead of causing a type error like the above, you can also use a [conditional type](https://www.typescriptlang.org/docs/handbook/2/conditional-types.html) to test whether a type is assignable to another:
+Note: This type is not the return type of the `.toString()` function.
+*/
+type ToString<T> = T extends string | number ? `${T}` : never;
 
-```
-type Indexed = {} extends Record<string, unknown>
-	? '✅ `{}` is assignable to `Record<string, unknown>`'
-	: '❌ `{}` is NOT assignable to `Record<string, unknown>`';
-// => '✅ `{}` is assignable to `Record<string, unknown>`'
+/**
+Converts a numeric string to a number.
 
-type Keyed = {} extends Record<'foo' | 'bar', unknown>
-	? "✅ `{}` is assignable to `Record<'foo' | 'bar', unknown>`"
-	: "❌ `{}` is NOT assignable to `Record<'foo' | 'bar', unknown>`";
-// => "❌ `{}` is NOT assignable to `Record<'foo' | 'bar', unknown>`"
+@example
 ```
+type PositiveInt = StringToNumber<'1234'>;
+//=> 1234
 
-Using a [mapped type](https://www.typescriptlang.org/docs/handbook/2/mapped-types.html#further-exploration), you can then check for each `KeyType` of `ObjectType`...
+type NegativeInt = StringToNumber<'-1234'>;
+//=> -1234
 
-```
-import type {OmitIndexSignature} from 'type-fest';
+type PositiveFloat = StringToNumber<'1234.56'>;
+//=> 1234.56
 
-type OmitIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType // Map each key of `ObjectType`...
-	]: ObjectType[KeyType]; // ...to its original value, i.e. `OmitIndexSignature<Foo> == Foo`.
-};
-```
+type NegativeFloat = StringToNumber<'-1234.56'>;
+//=> -1234.56
 
-...whether an empty object (`{}`) would be assignable to an object with that `KeyType` (`Record<KeyType, unknown>`)...
+type PositiveInfinity = StringToNumber<'Infinity'>;
+//=> Infinity
 
+type NegativeInfinity = StringToNumber<'-Infinity'>;
+//=> -Infinity
 ```
-import type {OmitIndexSignature} from 'type-fest';
 
-type OmitIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType
-		// Is `{}` assignable to `Record<KeyType, unknown>`?
-		as {} extends Record<KeyType, unknown>
-			? ... // ✅ `{}` is assignable to `Record<KeyType, unknown>`
-			: ... // ❌ `{}` is NOT assignable to `Record<KeyType, unknown>`
-	]: ObjectType[KeyType];
-};
-```
+@category String
+@category Numeric
+@category Template literal
+*/
+type StringToNumber<S extends string> = S extends `${infer N extends number}`
+	? N
+	: S extends 'Infinity'
+		? PositiveInfinity
+		: S extends '-Infinity'
+			? NegativeInfinity
+			: never;
 
-If `{}` is assignable, it means that `KeyType` is an index signature and we want to remove it. If it is not assignable, `KeyType` is a "real" key and we want to keep it.
+/**
+Returns an array of the characters of the string.
 
 @example
 ```
-import type {OmitIndexSignature} from 'type-fest';
-
-interface Example {
-	// These index signatures will be removed.
-	[x: string]: any
-	[x: number]: any
-	[x: symbol]: any
-	[x: `head-${string}`]: string
-	[x: `${string}-tail`]: string
-	[x: `head-${string}-tail`]: string
-	[x: `${bigint}`]: string
-	[x: `embedded-${number}`]: string
-
-	// These explicitly defined keys will remain.
-	foo: 'bar';
-	qux?: 'baz';
-}
+StringToArray<'abcde'>;
+//=> ['a', 'b', 'c', 'd', 'e']
 
-type ExampleWithoutIndexSignatures = OmitIndexSignature<Example>;
-// => { foo: 'bar'; qux?: 'baz' | undefined; }
+StringToArray<string>;
+//=> never
 ```
 
-@see PickIndexSignature
-@category Object
-*/
-type OmitIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType as {} extends Record<KeyType, unknown>
-		? never
-		: KeyType]: ObjectType[KeyType];
-};
+@category String
+*/
+type StringToArray<S extends string, Result extends string[] = []> = string extends S
+	? never
+	: S extends `${infer F}${infer R}`
+		? StringToArray<R, [...Result, F]>
+		: Result;
 
 /**
-Pick only index signatures from the given object type, leaving out all explicitly defined properties.
-
-This is the counterpart of `OmitIndexSignature`.
+Returns the length of the given string.
 
 @example
 ```
-import type {PickIndexSignature} from 'type-fest';
+StringLength<'abcde'>;
+//=> 5
 
-declare const symbolKey: unique symbol;
+StringLength<string>;
+//=> never
+```
 
-type Example = {
-	// These index signatures will remain.
-	[x: string]: unknown;
-	[x: number]: unknown;
-	[x: symbol]: unknown;
-	[x: `head-${string}`]: string;
-	[x: `${string}-tail`]: string;
-	[x: `head-${string}-tail`]: string;
-	[x: `${bigint}`]: string;
-	[x: `embedded-${number}`]: string;
+@category String
+@category Template literal
+*/
+type StringLength<S extends string> = string extends S
+	? never
+	: StringToArray<S>['length'];
 
-	// These explicitly defined keys will be removed.
-	['kebab-case-key']: string;
-	[symbolKey]: string;
-	foo: 'bar';
-	qux?: 'baz';
-};
+/**
+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.
 
-type ExampleIndexSignature = PickIndexSignature<Example>;
-// {
-// 	[x: string]: unknown;
-// 	[x: number]: unknown;
-// 	[x: symbol]: unknown;
-// 	[x: `head-${string}`]: string;
-// 	[x: `${string}-tail`]: string;
-// 	[x: `head-${string}-tail`]: string;
-// 	[x: `${bigint}`]: string;
-// 	[x: `embedded-${number}`]: string;
-// }
+@example
 ```
+SameLengthPositiveNumericStringGt<'50', '10'>;
+//=> true
 
-@see OmitIndexSignature
-@category Object
+SameLengthPositiveNumericStringGt<'10', '10'>;
+//=> false
+```
 */
-type PickIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType as {} extends Record<KeyType, unknown>
-		? KeyType
-		: never]: ObjectType[KeyType];
-};
+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;
 
-// Merges two objects without worrying about index signatures.
-type SimpleMerge<Destination, Source> = {
-	[Key in keyof Destination as Key extends keyof Source ? never : Key]: Destination[Key];
-} & Source;
+type NumericString = '0123456789';
 
 /**
-Merge two types into a new type. Keys of the second type overrides keys of the first type.
+Returns a boolean for whether `A` is greater than `B`, where `A` and `B` are both positive numeric strings.
 
 @example
 ```
-import type {Merge} from 'type-fest';
-
-interface Foo {
-	[x: string]: unknown;
-	[x: number]: unknown;
-	foo: string;
-	bar: symbol;
-}
+PositiveNumericStringGt<'500', '1'>;
+//=> true
 
-type Bar = {
-	[x: number]: number;
-	[x: symbol]: unknown;
-	bar: Date;
-	baz: boolean;
-};
+PositiveNumericStringGt<'1', '1'>;
+//=> false
 
-export type FooBar = Merge<Foo, Bar>;
-// => {
-// 	[x: string]: unknown;
-// 	[x: number]: number;
-// 	[x: symbol]: unknown;
-// 	foo: string;
-// 	bar: Date;
-// 	baz: boolean;
-// }
+PositiveNumericStringGt<'1', '500'>;
+//=> false
 ```
-
-@category Object
 */
-type Merge<Destination, Source> =
-Simplify<
-SimpleMerge<PickIndexSignature<Destination>, PickIndexSignature<Source>>
-& SimpleMerge<OmitIndexSignature<Destination>, OmitIndexSignature<Source>>
->;
+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;
 
 /**
-An if-else-like type that resolves depending on whether the given type is `any`.
-
-@see {@link IsAny}
+Returns a boolean for whether `A` represents a number greater than `B`, where `A` and `B` are both positive numeric characters.
 
 @example
 ```
-import type {IfAny} from 'type-fest';
-
-type ShouldBeTrue = IfAny<any>;
+PositiveNumericCharacterGt<'5', '1'>;
 //=> true
 
-type ShouldBeBar = IfAny<'not any', 'foo', 'bar'>;
-//=> 'bar'
+PositiveNumericCharacterGt<'1', '1'>;
+//=> false
 ```
-
-@category Type Guard
-@category Utilities
-*/
-type IfAny<T, TypeIfAny = true, TypeIfNotAny = false> = (
-	IsAny<T> extends true ? TypeIfAny : TypeIfNotAny
-);
-
-/**
-Matches any primitive, `void`, `Date`, or `RegExp` value.
-*/
-type BuiltIns = Primitive | void | Date | RegExp;
-
-/**
-Matches non-recursive types.
 */
-type NonRecursiveType = BuiltIns | Function | (new (...arguments_: any[]) => unknown);
+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;
 
 /**
-Merges user specified options with default options.
+Returns the absolute value of a given value.
 
 @example
 ```
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: false};
-type SpecifiedOptions = {leavesOnly: true};
+NumberAbsolute<-1>;
+//=> 1
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//=> {maxRecursionDepth: 10; leavesOnly: true}
-```
+NumberAbsolute<1>;
+//=> 1
 
-@example
+NumberAbsolute<NegativeInfinity>
+//=> PositiveInfinity
 ```
-// Complains if default values are not provided for optional options
+*/
+type NumberAbsolute<N extends number> = `${N}` extends `-${infer StringPositiveN}` ? StringToNumber<StringPositiveN> : N;
 
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10};
-type SpecifiedOptions = {};
+/**
+Check whether the given type is a number or a number string.
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//                                              ~~~~~~~~~~~~~~~~~~~
-// Property 'leavesOnly' is missing in type 'DefaultPathsOptions' but required in type '{ maxRecursionDepth: number; leavesOnly: boolean; }'.
-```
+Supports floating-point as a string.
 
 @example
 ```
-// Complains if an option's default type does not conform to the expected type
+type A = IsNumberLike<'1'>;
+//=> true
 
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: 'no'};
-type SpecifiedOptions = {};
+type B = IsNumberLike<'-1.1'>;
+//=> true
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//                                              ~~~~~~~~~~~~~~~~~~~
-// Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
-```
+type C = IsNumberLike<'5e-20'>;
+//=> true
+
+type D = IsNumberLike<1>;
+//=> true
+
+type E = IsNumberLike<'a'>;
+//=> false
+*/
+type IsNumberLike<N> =
+	IsAnyOrNever<N> extends true ? N
+		: N extends number | `${number}`
+			? true
+			: false;
+
+/**
+Returns the number with reversed sign.
 
 @example
 ```
-// Complains if an option's specified type does not conform to the expected type
+ReverseSign<-1>;
+//=> 1
 
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: false};
-type SpecifiedOptions = {leavesOnly: 'yes'};
+ReverseSign<1>;
+//=> -1
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//                                                                   ~~~~~~~~~~~~~~~~
-// Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
+ReverseSign<NegativeInfinity>
+//=> PositiveInfinity
+
+ReverseSign<PositiveInfinity>
+//=> NegativeInfinity
 ```
 */
-type ApplyDefaultOptions<
-	Options extends object,
-	Defaults extends Simplify<Omit<Required<Options>, RequiredKeysOf<Options>> & Partial<Record<RequiredKeysOf<Options>, never>>>,
-	SpecifiedOptions extends Options,
-> =
-	IfAny<SpecifiedOptions, Defaults,
-	IfNever<SpecifiedOptions, Defaults,
-	Simplify<Merge<Defaults, {
-		[Key in keyof SpecifiedOptions
-		as Key extends OptionalKeysOf<Options>
-			? Extract<SpecifiedOptions[Key], undefined> extends never
-				? Key
-				: never
-			: Key
-		]: SpecifiedOptions[Key]
-	}> & Required<Options>> // `& Required<Options>` ensures that `ApplyDefaultOptions<SomeOption, ...>` is always assignable to `Required<SomeOption>`
-	>>;
+type ReverseSign<N extends number> =
+	// Handle edge cases
+	N extends 0 ? 0 : N extends PositiveInfinity ? NegativeInfinity : N extends NegativeInfinity ? PositiveInfinity :
+	// Handle negative numbers
+	`${N}` extends `-${infer P extends number}` ? P
+		// Handle positive numbers
+		: `-${N}` extends `${infer R extends number}` ? R : never;
 
 /**
 Returns the difference between two numbers.
@@ -1226,9 +1572,9 @@ Paths options.
 */
 type PathsOptions = {
 	/**
-	The maximum depth to recurse when searching for paths.
+	The maximum depth to recurse when searching for paths. Range: 0 ~ 10.
 
-	@default 10
+	@default 5
 	*/
 	maxRecursionDepth?: number;
 
@@ -1343,7 +1689,7 @@ type PathsOptions = {
 };
 
 type DefaultPathsOptions = {
-	maxRecursionDepth: 10;
+	maxRecursionDepth: 5;
 	bracketNotation: false;
 	leavesOnly: false;
 	depth: number;
@@ -1400,8 +1746,7 @@ type _Paths<T, Options extends Required<PathsOptions>> =
 			: T extends UnknownArray
 				? number extends T['length']
 					// We need to handle the fixed and non-fixed index part of the array separately.
-					? InternalPaths<StaticPartOfArray<T>, Options>
-					| InternalPaths<Array<VariablePartOfArray<T>[number]>, Options>
+					? InternalPaths<StaticPartOfArray<T>, Options> | InternalPaths<Array<VariablePartOfArray<T>[number]>, Options>
 					: InternalPaths<T, Options>
 				: T extends object
 					? InternalPaths<T, Options>
@@ -1410,30 +1755,34 @@ type _Paths<T, Options extends Required<PathsOptions>> =
 type InternalPaths<T, Options extends Required<PathsOptions>> =
 	Options['maxRecursionDepth'] extends infer MaxDepth extends number
 		? Required<T> extends infer T
-			? T extends EmptyObject | readonly []
+			? T extends 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
-								// If `Key` is a number, return `Key | `${Key}``, because both `array[0]` and `array['0']` work.
-									? (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
+				: IsNever<keyof T> extends true // Check for empty object
+					? 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>)
+									: Options['bracketNotation'] extends false
+									// If `Key` is a number, return `Key | `${Key}``, because both `array[0]` and `array['0']` work.
+										? (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
 							| ((Options['leavesOnly'] extends true
 								? MaxDepth extends 0
 									? TranformedKey
-									: T[Key] extends EmptyObject | readonly [] | NonRecursiveType | ReadonlyMap<unknown, unknown> | ReadonlySet<unknown>
-										? TranformedKey
+									: T[Key] extends infer Value
+										? (Value extends readonly [] | NonRecursiveType | ReadonlyMap<unknown, unknown> | ReadonlySet<unknown>
+											? TranformedKey
+											: IsNever<keyof Value> extends true // Check for empty object
+												? TranformedKey
+												: never)
 										: never
 								: TranformedKey
 							) extends infer _TransformedKey
@@ -1447,12 +1796,12 @@ type InternalPaths<T, Options extends Required<PathsOptions>> =
 								// 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>;
-										leavesOnly: Options['leavesOnly'];
-										depth: Subtract<Options['depth'], 1>;
-									}> extends infer SubPath
+										{
+											bracketNotation: Options['bracketNotation'];
+											maxRecursionDepth: Subtract<MaxDepth, 1>;
+											leavesOnly: Options['leavesOnly'];
+											depth: Subtract<Options['depth'], 1>;
+										}> extends infer SubPath
 										? SubPath extends string | number
 											? (
 												Options['bracketNotation'] extends true
@@ -1469,9 +1818,9 @@ type InternalPaths<T, Options extends Required<PathsOptions>> =
 										: never
 									: never
 							)
+								: never
 							: never
-						: never
-				}[keyof T & (T extends UnknownArray ? number : unknown)]
+					}[keyof T & (T extends UnknownArray ? number : unknown)]
 			: never
 		: never;
 
@@ -1719,7 +2068,7 @@ declare namespace PackageJson$1 {
 	/**
 	A mapping of conditions and the paths to which they resolve.
 	*/
-	type ExportConditions = { // eslint-disable-line @typescript-eslint/consistent-indexed-object-style
+	type ExportConditions = {
 		[condition: string]: Exports;
 	};
 
@@ -1727,15 +2076,15 @@ declare namespace PackageJson$1 {
 	Entry points of a module, optionally with conditions and subpath exports.
 	*/
 	export type Exports =
-	| null
-	| string
-	| Array<string | ExportConditions>
-	| ExportConditions;
+		| null
+		| string
+		| Array<string | ExportConditions>
+		| ExportConditions;
 
 	/**
 	Import map entries of a module, optionally with conditions and subpath imports.
 	*/
-	export type Imports = { // eslint-disable-line @typescript-eslint/consistent-indexed-object-style
+	export type Imports = {
 		[key: `#${string}`]: Exports;
 	};
 
@@ -1750,19 +2099,19 @@ declare namespace PackageJson$1 {
 		A module ID with untranspiled code that is the primary entry point to the program.
 		*/
 		esnext?:
-		| string
-		| {
-			[moduleName: string]: string | undefined;
-			main?: string;
-			browser?: string;
-		};
+			| string
+			| {
+				[moduleName: string]: string | undefined;
+				main?: string;
+				browser?: string;
+			};
 
 		/**
 		A hint to JavaScript bundlers or component tools when packaging modules for client side use.
 		*/
 		browser?:
-		| string
-		| Partial<Record<string, string | false>>;
+			| string
+			| Partial<Record<string, string | false>>;
 
 		/**
 		Denote which files in your project are "pure" and therefore safe for Webpack to prune if unused.
@@ -1934,8 +2283,8 @@ declare namespace PackageJson$1 {
 		The executable files that should be installed into the `PATH`.
 		*/
 		bin?:
-		| string
-		| Partial<Record<string, string>>;
+			| string
+			| Partial<Record<string, string>>;
 
 		/**
 		Filenames to put in place for the `man` program to find.
@@ -1951,18 +2300,18 @@ declare namespace PackageJson$1 {
 		Location for the code repository.
 		*/
 		repository?:
-		| string
-		| {
-			type: string;
-			url: string;
+			| string
+			| {
+				type: string;
+				url: string;
 
-			/**
+				/**
 			Relative path to package.json if it is placed in non-root directory (for example if it is part of a monorepo).
 
 			[Read more.](https://github.com/npm/rfcs/blob/latest/implemented/0010-monorepo-subdirectory-declaration.md)
 			*/
-			directory?: string;
-		};
+				directory?: string;
+			};
 
 		/**
 		Script commands that are run at various times in the lifecycle of the package. The key is the lifecycle event, and the value is the command to run at that point.
@@ -2025,50 +2374,50 @@ declare namespace PackageJson$1 {
 		Operating systems the module runs on.
 		*/
 		os?: Array<LiteralUnion<
-		| 'aix'
-		| 'darwin'
-		| 'freebsd'
-		| 'linux'
-		| 'openbsd'
-		| 'sunos'
-		| 'win32'
-		| '!aix'
-		| '!darwin'
-		| '!freebsd'
-		| '!linux'
-		| '!openbsd'
-		| '!sunos'
-		| '!win32',
-		string
+			| 'aix'
+			| 'darwin'
+			| 'freebsd'
+			| 'linux'
+			| 'openbsd'
+			| 'sunos'
+			| 'win32'
+			| '!aix'
+			| '!darwin'
+			| '!freebsd'
+			| '!linux'
+			| '!openbsd'
+			| '!sunos'
+			| '!win32',
+			string
 		>>;
 
 		/**
 		CPU architectures the module runs on.
 		*/
 		cpu?: Array<LiteralUnion<
-		| 'arm'
-		| 'arm64'
-		| 'ia32'
-		| 'mips'
-		| 'mipsel'
-		| 'ppc'
-		| 'ppc64'
-		| 's390'
-		| 's390x'
-		| 'x32'
-		| 'x64'
-		| '!arm'
-		| '!arm64'
-		| '!ia32'
-		| '!mips'
-		| '!mipsel'
-		| '!ppc'
-		| '!ppc64'
-		| '!s390'
-		| '!s390x'
-		| '!x32'
-		| '!x64',
-		string
+			| 'arm'
+			| 'arm64'
+			| 'ia32'
+			| 'mips'
+			| 'mipsel'
+			| 'ppc'
+			| 'ppc64'
+			| 's390'
+			| 's390x'
+			| 'x32'
+			| 'x64'
+			| '!arm'
+			| '!arm64'
+			| '!ia32'
+			| '!mips'
+			| '!mipsel'
+			| '!ppc'
+			| '!ppc64'
+			| '!s390'
+			| '!s390x'
+			| '!x32'
+			| '!x64',
+			string
 		>>;
 
 		/**
@@ -2091,20 +2440,20 @@ declare namespace PackageJson$1 {
 		/**
 		Describes and notifies consumers of a package's monetary support information.
 
-		[Read more.](https://github.com/npm/rfcs/blob/latest/accepted/0017-add-funding-support.md)
+		[Read more.](https://github.com/npm/rfcs/blob/main/implemented/0017-add-funding-support.md)
 		*/
 		funding?: string | {
 			/**
 			The type of funding.
 			*/
 			type?: LiteralUnion<
-			| 'github'
-			| 'opencollective'
-			| 'patreon'
-			| 'individual'
-			| 'foundation'
-			| 'corporation',
-			string
+				| 'github'
+				| 'opencollective'
+				| 'patreon'
+				| 'individual'
+				| 'foundation'
+				| 'corporation',
+				string
 			>;
 
 			/**
@@ -2175,22 +2524,13 @@ Type for [npm's `package.json` file](https://docs.npmjs.com/creating-a-package-j
 @category File
 */
 type PackageJson$1 =
-JsonObject &
-PackageJson$1.NodeJsStandard &
-PackageJson$1.PackageJsonStandard &
-PackageJson$1.NonStandardEntryPoints &
-PackageJson$1.TypeScriptConfiguration &
-PackageJson$1.YarnConfiguration &
-PackageJson$1.JSPMConfiguration;
-
-interface InstallPackageOptions {
-    cwd?: string;
-    dev?: boolean;
-    silent?: boolean;
-    packageManager?: string;
-    preferOffline?: boolean;
-    additionalArgs?: string[] | ((agent: string, detectedAgent: string) => string[] | undefined);
-}
+	JsonObject &
+	PackageJson$1.NodeJsStandard &
+	PackageJson$1.PackageJsonStandard &
+	PackageJson$1.NonStandardEntryPoints &
+	PackageJson$1.TypeScriptConfiguration &
+	PackageJson$1.YarnConfiguration &
+	PackageJson$1.JSPMConfiguration;
 
 type Prettify<T> = {
     [K in keyof T]: T[K];
@@ -2366,10 +2706,10 @@ type EnsurePackagesOptions = {
     deps?: boolean;
     devDeps?: boolean;
     installPackage?: Omit<InstallPackageOptions, "cwd" | "dev">;
-    peerDeps?: boolean;
     logger?: {
         warn: (message: string) => void;
     };
+    peerDeps?: boolean;
     throwOnWarn?: boolean;
 };
 
@@ -2391,10 +2731,16 @@ declare const writePackageJson: <T = PackageJson>(data: T, options?: WriteJsonOp
 declare const writePackageJsonSync: <T = PackageJson>(data: T, options?: WriteJsonOptions & {
     cwd?: URL | string;
 }) => void;
-declare const parsePackageJson: (packageFile: JsonObject | string, options?: {
+declare const parsePackageJsonSync: (packageFile: JsonObject | string, options?: {
     ignoreWarnings?: (RegExp | string)[];
+    resolveCatalogs?: boolean;
     strict?: boolean;
 }) => NormalizedPackageJson;
+declare const parsePackageJson: (packageFile: JsonObject | string, options?: {
+    ignoreWarnings?: (RegExp | string)[];
+    resolveCatalogs?: boolean;
+    strict?: boolean;
+}) => Promise<NormalizedPackageJson>;
 declare const getPackageJsonProperty: <T = unknown>(packageJson: NormalizedPackageJson, property: Paths<NormalizedPackageJson>, defaultValue?: T) => T;
 declare const hasPackageJsonProperty: (packageJson: NormalizedPackageJson, property: Paths<NormalizedPackageJson>) => boolean;
 declare const hasPackageJsonAnyDependency: (packageJson: NormalizedPackageJson, arguments_: string[], options?: {
@@ -2402,4 +2748,4 @@ declare const hasPackageJsonAnyDependency: (packageJson: NormalizedPackageJson,
 }) => boolean;
 declare const ensurePackages: (packageJson: NormalizedPackageJson, packages: string[], installKey?: "dependencies" | "devDependencies", options?: EnsurePackagesOptions) => Promise<void>;
 
-export { type EnsurePackagesOptions as E, type FindPackageJsonCache as F, type NormalizedReadResult as N, type PackageJson as P, findPackageJsonSync as a, hasPackageJsonProperty as b, writePackageJsonSync as c, type NormalizedPackageJson as d, ensurePackages as e, findPackageJson as f, getPackageJsonProperty as g, hasPackageJsonAnyDependency as h, parsePackageJson as p, writePackageJson as w };
+export { type EnsurePackagesOptions as E, type FindPackageJsonCache as F, type NormalizedReadResult as N, type PackageJson as P, findPackageJsonSync as a, hasPackageJsonProperty as b, writePackageJsonSync as c, type NormalizedPackageJson as d, ensurePackages as e, findPackageJson as f, getPackageJsonProperty as g, hasPackageJsonAnyDependency as h, parsePackageJsonSync as i, parsePackageJson as p, writePackageJson as w };