@pawover/kit 0.0.0-beta.3 → 0.0.0-beta.31

package/dist/index.d.ts

@@ -1,181 +1,8 @@
+import { a as Simplify, c as Not, d as IsNever, f as OptionalKeysOf, i as HomomorphicPick, l as UnknownArray, m as UnionToIntersection, n as ApplyDefaultOptions, o as IfNotAnyOrNever, p as IsAny, r as CollapseLiterals, s as IsExactOptionalPropertyTypesEnabled, t as Except, u as If } from "./except-MacUK44u.js";
+import { a as AnyObject, i as AnyGeneratorFunction, n as AnyAsyncGeneratorFunction, o as PlainObject, r as AnyFunction, s as TreeLike, t as AnyAsyncFunction } from "./index-BPEx210u.js";
 import { BigNumber, MathExpression, MathJsInstance, Matrix } from "mathjs";
 
-//#region src/utils/array/arrayCast.d.ts
-
-/**
- * 构造数组
- * @param candidate 待构造项
- * @param checkEmpty 是否检查 `undefined` 和 `null`
- */
-declare function arrayCast<T>(candidate: T | T[], checkEmpty?: boolean): T[];
-//#endregion
-//#region src/utils/array/arrayCompete.d.ts
-/**
- * 数组竞争
- * - 返回在匹配函数的比较条件中获胜的最终项目，适用于更复杂的最小值/最大值计算
- *
- * @param initialList 数组
- * @param match 匹配函数
- */
-declare function arrayCompete<T>(initialList: readonly T[], match: (a: T, b: T) => T): T | null;
-//#endregion
-//#region src/utils/array/arrayCounting.d.ts
-/**
- * 统计数组的项目出现次数
- * - 通过给定的标识符匹配函数，返回一个对象，其中键是回调函数返回的 key 值，每个值是一个整数，表示该 key 出现的次数
- *
- * @param initialList 初始数组
- * @param match 匹配函数
- */
-declare function arrayCounting<T, K$1 extends PropertyKey>(initialList: readonly T[], match: (row: T) => K$1): Record<string, number>;
-//#endregion
-//#region src/utils/array/arrayDifference.d.ts
-/**
- * 求数组差集
- *
- * @param initialList 初始数组
- * @param diffList 对比数组
- * @param match 匹配函数
- */
-declare function arrayDifference<T>(initialList: readonly T[], diffList: readonly T[], match?: (row: T) => unknown): T[];
-//#endregion
-//#region src/utils/array/arrayFirst.d.ts
-/**
- * 获取数组第一项
- *
- * @param initialList 初始数组
- * @param saveValue 安全值
- */
-declare function arrayFirst<T>(initialList: readonly T[]): T | undefined;
-declare function arrayFirst<T>(initialList: readonly T[], saveValue: T): T;
-//#endregion
-//#region src/utils/array/arrayFork.d.ts
-/**
- * 数组分组过滤
- * - 给定一个数组和一个条件，返回一个由两个数组组成的元组，其中第一个数组包含所有满足条件的项，第二个数组包含所有不满足条件的项
- *
- * @param initialList 初始数组
- * @param match 条件匹配函数
- */
-declare function arrayFork<T>(initialList: readonly T[], match: (item: T) => boolean): [T[], T[]];
-//#endregion
-//#region src/utils/array/arrayIntersection.d.ts
-/**
- * 求数组交集
- *
- * @param initialList 初始数组
- * @param diffList 对比数组
- * @param match 匹配函数
- */
-declare function arrayIntersection<T>(initialList: readonly T[], diffList: readonly T[], match?: (row: T) => unknown): T[];
-//#endregion
-//#region src/utils/array/arrayLast.d.ts
-/**
- * 获取数组最后一项
- *
- * @param initialList 初始数组
- * @param saveValue 安全值
- */
-declare function arrayLast<T>(initialList: readonly T[]): T | undefined;
-declare function arrayLast<T>(initialList: readonly T[], saveValue: T): T;
-//#endregion
-//#region src/utils/array/arrayMerge.d.ts
-/**
- * 数组合并
- * - 通过给定的标识符匹配函数，用第二个数组中的匹配项替换第一个数组中匹配项的所有内容
- *
- * @param initialList 初始数组
- * @param mergeList 待合并数组
- * @param match 匹配函数
- */
-declare function arrayMerge<T>(initialList: readonly T[], mergeList: readonly T[], match?: (item: T) => unknown): T[];
-//#endregion
-//#region src/utils/array/arrayPick.d.ts
-/**
- * 数组选择
- * - 一次性应用 `filter` 和 `map` 操作
- *
- * @param initialList 初始数组
- * @param filter filter 函数
- * @param mapper map 函数
- */
-declare function arrayPick<T, K$1 = T>(initialList: readonly T[], filter: (row: T, index: number) => boolean, mapper?: ((row: T, index: number) => K$1) | undefined): T[] | K$1[];
-//#endregion
-//#region src/utils/array/arrayReplace.d.ts
-/**
- * 数组项替换
- * - 在给定的数组中，替换符合匹配函数结果的项目。只替换第一个匹配项。始终返回原始数组的副本。
- *
- * @param initialList 初始数组
- * @param newItem 替换项
- * @param match 匹配函数
- */
-declare function arrayReplace<T>(initialList: readonly T[], newItem: T, match: (row: T, index: number) => boolean): T[];
-//#endregion
-//#region src/utils/array/arraySplit.d.ts
-/**
- * 数组切分
- * - 将数组以指定的长度切分后，组合在高维数组中
- *
- * @param initialList 初始数组
- * @param size 分割尺寸，默认 `10`
- */
-declare function arraySplit<T>(initialList: readonly T[], size?: number): T[][];
-//#endregion
-//#region src/utils/function/to.d.ts
-/**
- * @param promise
- * @param errorExt 可以传递给err对象的其他信息
- */
-declare function to<T, U$1 = Error>(promise: Readonly<Promise<T>>, errorExt?: PlainObject): Promise<[U$1, undefined] | [null, T]>;
-//#endregion
-//#region src/utils/math/toMathBignumber.d.ts
-/**
- * 将任意类型的值转换为 `math.bignumber`
- *
- * @param mathJsInstance mathJs 实例
- * @param value 任意类型的值
- * @param saveValue 安全值
- */
-declare function toMathBignumber(mathJsInstance: MathJsInstance, value: unknown, saveValue?: BigNumber | undefined): BigNumber;
-//#endregion
-//#region src/utils/math/toMathDecimal.d.ts
-/**
- * 将任意类型的值转换为十进制数字字符串
- *
- * @param mathJsInstance mathJs 实例
- * @param value 任意类型的值
- * @param precision 精度
- * @param isFormat 是否格式化为字符串
- */
-declare function toMathDecimal(mathJsInstance: MathJsInstance, value: unknown, precision?: number | undefined, isFormat?: true): string;
-declare function toMathDecimal(mathJsInstance: MathJsInstance, value: unknown, precision?: number | undefined, isFormat?: false): BigNumber;
-//#endregion
-//#region src/utils/math/toMathEvaluate.d.ts
-/**
- * 数学表达式求值
- *
- * @param mathJsInstance mathJs 实例
- * @param expr 表达式
- * @param scope 键值映射
- */
-declare function toMathEvaluate(mathJsInstance: MathJsInstance, expr: MathExpression | Matrix, scope?: Record<string, BigNumber>): string;
-//#endregion
-//#region src/utils/object/cloneDeep.d.ts
-interface CloningStrategy {
-  cloneMap: <K$1, V>(parent: Map<K$1, V>, track: (newParent: Map<K$1, V>) => Map<K$1, V>, clone: <T>(value: T) => T) => Map<K$1, V> | null;
-  cloneSet: <T>(parent: Set<T>, track: (newParent: Set<T>) => Set<T>, clone: <T>(value: T) => T) => Set<T> | null;
-  cloneArray: <T>(parent: readonly T[], track: (newParent: T[]) => T[], clone: <T>(value: T) => T) => T[] | null;
-  cloneObject: <T extends AnyObject>(parent: T, track: (newParent: T) => T, clone: <T>(value: T) => T) => T | null;
-  cloneOther: <T>(parent: T, track: (newParent: T) => T, clone: <T>(value: T) => T) => T | null;
-}
-/**
- * cloneDeep
- * @reference https://github.com/radashi-org/radashi/blob/main/src/object/cloneDeep.ts
- */
-declare function cloneDeep<T extends AnyObject>(root: T, customStrategy?: Partial<CloningStrategy>): T;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/basic.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/basic.d.ts
 /**
 Matches a [`class`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Classes).
 
@@ -186,1015 +13,654 @@ type Class<T, Arguments extends unknown[] = any[]> = {
   new (...arguments_: Arguments): T;
 };
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/union-to-intersection.d.ts
-/**
-Convert a union type to an intersection type using [distributive conditional types](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/internal/array.d.ts
 
-Inspired by [this Stack Overflow answer](https://stackoverflow.com/a/50375286/2172153).
+/**
+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 {UnionToIntersection} from 'type-fest';
+type A = CollapseRestElement<[string, string, ...number[]]>;
+//=> [string, string, number]
+
+type B = CollapseRestElement<[...string[], number, number]>;
+//=> [string, number, number]
 
-type Union = {the(): void} | {great(arg: string): void} | {escape: boolean};
+type C = CollapseRestElement<[string, string, ...Array<number | bigint>]>;
+//=> [string, string, number | bigint]
 
-type Intersection = UnionToIntersection<Union>;
-//=> {the(): void; great(arg: string): void; escape: boolean};
+type D = CollapseRestElement<[string, number]>;
+//=> [string, number]
 ```
 
-@category Type
-*/
-type UnionToIntersection<Union> = (
-// `extends unknown` is always going to be the case and is used to convert the
-// `Union` into a [distributive conditional
-// type](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).
-Union extends unknown
-// The union type is used as the only argument to a function since the union
-// of function arguments is an intersection.
-? (distributedUnion: Union) => void
-// This won't happen.
-: never
-// Infer the `Intersection` type since TypeScript represents the positional
-// arguments of unions of functions as an intersection of the union.
-) extends ((mergedIntersection: infer Intersection) => void)
-// The `& Union` is to ensure result of `UnionToIntersection<A | B>` is always assignable to `A | B`
-? Intersection & Union : never;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/keys-of-union.d.ts
-/**
-Create a union of all keys from a given type, even those exclusive to specific union members.
-
-Unlike the native `keyof` keyword, which returns keys present in **all** union members, this type returns keys from **any** member.
-
-@link https://stackoverflow.com/a/49402091
+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
 ```
-import type {KeysOfUnion} from 'type-fest';
+// `exactOptionalPropertyTypes` enabled
+type A = CollapseRestElement<[string?, string?, ...number[]]>;
+//=> [string, string, number]
 
-type A = {
-	common: string;
-	a: number;
-};
-
-type B = {
-	common: string;
-	b: string;
-};
-
-type C = {
-	common: string;
-	c: boolean;
-};
-
-type Union = A | B | C;
-
-type CommonKeys = keyof Union;
-//=> 'common'
-
-type AllKeys = KeysOfUnion<Union>;
-//=> 'common' | 'a' | 'b' | 'c'
+// `exactOptionalPropertyTypes` disabled
+type B = CollapseRestElement<[string?, string?, ...number[]]>;
+//=> [string | undefined, string | undefined, number]
 ```
-
-@category Object
 */
-type KeysOfUnion<ObjectType> =
-// Hack to fix https://github.com/sindresorhus/type-fest/issues/1008
-keyof UnionToIntersection<ObjectType extends unknown ? Record<keyof ObjectType, never> : never>;
+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
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/is-any.d.ts
-/**
-Returns a boolean for whether the given type is `any`.
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/numeric.d.ts
+type _Numeric = number | bigint;
+type Zero = 0 | 0n;
 
-@link https://stackoverflow.com/a/49928360/1490091
+/**
+Matches the hidden `Infinity` type.
 
-Useful in type utilities, such as disallowing `any`s to be passed to a function.
+Please upvote [this issue](https://github.com/microsoft/TypeScript/issues/32277) if you want to have this type as a built-in in TypeScript.
 
-@example
-```
-import type {IsAny} from 'type-fest';
+@see {@link NegativeInfinity}
 
-const typedObject = {a: 1, b: 2} as const;
-const anyObject: any = {a: 1, b: 2};
+@category Numeric
+*/
+// See https://github.com/microsoft/TypeScript/issues/31752
+// eslint-disable-next-line no-loss-of-precision
 
-function get<O extends (IsAny<O> extends true ? {} : Record<string, number>), K extends keyof O = keyof O>(object: O, key: K) {
-	return object[key];
-}
+/**
+A negative `number`/`bigint` (`-∞ < x < 0`)
 
-const typedA = get(typedObject, 'a');
-//=> 1
+Use-case: Validating and documenting parameters.
 
-const anyA = get(anyObject, 'a');
-//=> any
-```
+@see {@link NegativeInteger}
+@see {@link NonNegative}
 
-@category Type Guard
-@category Utilities
+@category Numeric
 */
-type IsAny<T> = 0 extends 1 & NoInfer<T> ? true : false;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/is-optional-key-of.d.ts
+type Negative<T extends _Numeric> = T extends Zero ? never : `${T}` extends `-${string}` ? T : never;
 /**
-Returns a boolean for whether the given key is an optional key of type.
+Returns a boolean for whether the given number is a negative number.
 
-This is useful when writing utility types or schema validators that need to differentiate `optional` keys.
+@see {@link Negative}
 
 @example
 ```
-import type {IsOptionalKeyOf} from 'type-fest';
+import type {IsNegative} from 'type-fest';
 
-type User = {
-	name: string;
-	surname: string;
+type ShouldBeFalse = IsNegative<1>;
+type ShouldBeTrue = IsNegative<-1>;
+```
 
-	luckyNumber?: number;
+@category Numeric
+*/
+type IsNegative<T extends _Numeric> = T extends Negative<T> ? true : false;
+//#endregion
+//#region node_modules/.pnpm/tagged-tag@1.0.0/node_modules/tagged-tag/index.d.ts
+declare const tag: unique symbol;
+//#endregion
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/tagged.d.ts
+// eslint-disable-next-line type-fest/require-exported-types
+type TagContainer<Token> = {
+  readonly [tag]: Token;
 };
+type Tag<Token extends PropertyKey, TagMetadata> = TagContainer<{ [K in Token]: TagMetadata }>;
 
-type Admin = {
-	name: string;
-	surname?: string;
-};
+/**
+Attach a "tag" to an arbitrary type. This allows you to create distinct types, that aren't assignable to one another, for distinct concepts in your program that should not be interchangeable, even if their runtime values have the same type. (See examples.)
 
-type T1 = IsOptionalKeyOf<User, 'luckyNumber'>;
-//=> true
+A type returned by `Tagged` can be passed to `Tagged` again, to create a type with multiple tags.
 
-type T2 = IsOptionalKeyOf<User, 'name'>;
-//=> false
+[Read more about tagged types.](https://medium.com/@KevinBGreene/surviving-the-typescript-ecosystem-branding-and-type-tagging-6cf6e516523d)
 
-type T3 = IsOptionalKeyOf<User, 'name' | 'luckyNumber'>;
-//=> boolean
+A tag's name is usually a string (and must be a string, number, or symbol), but each application of a tag can also contain an arbitrary type as its "metadata". See {@link GetTagMetadata} for examples and explanation.
 
-type T4 = IsOptionalKeyOf<User | Admin, 'name'>;
-//=> false
+A type `A` returned by `Tagged` is assignable to another type `B` returned by `Tagged` if and only if:
+  - the underlying (untagged) type of `A` is assignable to the underlying type of `B`;
+	- `A` contains at least all the tags `B` has;
+	- and the metadata type for each of `A`'s tags is assignable to the metadata type of `B`'s corresponding tag.
 
-type T5 = IsOptionalKeyOf<User | Admin, 'surname'>;
-//=> boolean
+There have been several discussions about adding similar features to TypeScript. Unfortunately, nothing has (yet) moved forward:
+	- [Microsoft/TypeScript#202](https://github.com/microsoft/TypeScript/issues/202)
+	- [Microsoft/TypeScript#4895](https://github.com/microsoft/TypeScript/issues/4895)
+	- [Microsoft/TypeScript#33290](https://github.com/microsoft/TypeScript/pull/33290)
+
+@example
 ```
+import type {Tagged} from 'type-fest';
 
-@category Type Guard
-@category Utilities
-*/
-type IsOptionalKeyOf<Type extends object, Key$1 extends keyof Type> = IsAny<Type | Key$1> extends true ? never : Key$1 extends keyof Type ? Type extends Record<Key$1, Type[Key$1]> ? false : true : false;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/optional-keys-of.d.ts
-/**
-Extract all optional keys from the given type.
+type AccountNumber = Tagged<number, 'AccountNumber'>;
+type AccountBalance = Tagged<number, 'AccountBalance'>;
 
-This is useful when you want to create a new type that contains different type values for the optional keys only.
+function createAccountNumber(): AccountNumber {
+	// As you can see, casting from a `number` (the underlying type being tagged) is allowed.
+	return 2 as AccountNumber;
+}
 
-@example
-```
-import type {OptionalKeysOf, Except} from 'type-fest';
+declare function getMoneyForAccount(accountNumber: AccountNumber): AccountBalance;
 
-type User = {
-	name: string;
-	surname: string;
+// This will compile successfully.
+getMoneyForAccount(createAccountNumber());
 
-	luckyNumber?: number;
-};
+// But this won't, because it has to be explicitly passed as an `AccountNumber` type!
+// Critically, you could not accidentally use an `AccountBalance` as an `AccountNumber`.
+// @ts-expect-error
+getMoneyForAccount(2);
 
-const REMOVE_FIELD = Symbol('remove field symbol');
-type UpdateOperation<Entity extends object> = Except<Partial<Entity>, OptionalKeysOf<Entity>> & {
-	[Key in OptionalKeysOf<Entity>]?: Entity[Key] | typeof REMOVE_FIELD;
-};
+// You can also use tagged values like their underlying, untagged type.
+// I.e., this will compile successfully because an `AccountNumber` can be used as a regular `number`.
+// In this sense, the underlying base type is not hidden, which differentiates tagged types from opaque types in other languages.
+const accountNumber = createAccountNumber() + 2;
+```
 
-const update1: UpdateOperation<User> = {
-	name: 'Alice',
-};
+@example
+```
+import type {Tagged} from 'type-fest';
 
-const update2: UpdateOperation<User> = {
-	name: 'Bob',
-	luckyNumber: REMOVE_FIELD,
-};
+// You can apply multiple tags to a type by using `Tagged` repeatedly.
+type Url = Tagged<string, 'URL'>;
+type SpecialCacheKey = Tagged<Url, 'SpecialCacheKey'>;
+
+// You can also pass a union of tag names, so this is equivalent to the above, although it doesn't give you the ability to assign distinct metadata to each tag.
+type SpecialCacheKey2 = Tagged<string, 'URL' | 'SpecialCacheKey'>;
 ```
 
-@category Utilities
+@category Type
 */
-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;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/required-keys-of.d.ts
+type Tagged<Type$1, TagName extends PropertyKey, TagMetadata = never> = Type$1 & Tag<TagName, TagMetadata>;
 /**
-Extract all required keys from the given type.
+Revert a tagged type back to its original type by removing all tags.
+
+Why is this necessary?
 
-This is useful when you want to create a new type that contains different type values for the required keys only or use the list of keys for validation purposes, etc...
+1. Use a `Tagged` type as object keys
+2. Prevent TS4058 error: "Return type of exported function has or is using name X from external module Y but cannot be named"
 
 @example
 ```
-import type {RequiredKeysOf} from 'type-fest';
+import type {Tagged, UnwrapTagged} from 'type-fest';
 
-declare function createValidation<
-	Entity extends object,
-	Key extends RequiredKeysOf<Entity> = RequiredKeysOf<Entity>,
->(field: Key, validator: (value: Entity[Key]) => boolean): (entity: Entity) => boolean;
+type AccountType = Tagged<'SAVINGS' | 'CHECKING', 'AccountType'>;
 
-type User = {
-	name: string;
-	surname: string;
-	luckyNumber?: number;
+const moneyByAccountType: Record<UnwrapTagged<AccountType>, number> = {
+	SAVINGS: 99,
+	CHECKING: 0.1,
 };
 
-const validator1 = createValidation<User>('name', value => value.length < 25);
-const validator2 = createValidation<User>('surname', value => value.length < 25);
+// Without UnwrapTagged, the following expression would throw a type error.
+const money = moneyByAccountType.SAVINGS; // TS error: Property 'SAVINGS' does not exist
 
+// Attempting to pass an non-Tagged type to UnwrapTagged will raise a type error.
 // @ts-expect-error
-const validator3 = createValidation<User>('luckyNumber', value => value > 0);
-// Error: Argument of type '"luckyNumber"' is not assignable to parameter of type '"name" | "surname"'.
+type WontWork = UnwrapTagged<string>;
 ```
 
-@category Utilities
+@category Type
 */
-type RequiredKeysOf<Type extends object> = Type extends unknown // For distributing `Type`
-? Exclude<keyof Type, OptionalKeysOf<Type>> : never;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/has-required-keys.d.ts
+type UnwrapTagged<TaggedType extends Tag<PropertyKey, any>> = RemoveAllTags<TaggedType>;
+type RemoveAllTags<T> = T extends Tag<PropertyKey, any> ? { [ThisTag in keyof T[typeof tag]]: T extends Tagged<infer Type, ThisTag, T[typeof tag][ThisTag]> ? RemoveAllTags<Type> : never }[keyof T[typeof tag]] : T;
+
 /**
-Creates a type that represents `true` or `false` depending on whether the given type has any required fields.
+Note: The `Opaque` type is deprecated in favor of `Tagged`.
+
+Attach a "tag" to an arbitrary type. This allows you to create distinct types, that aren't assignable to one another, for runtime values that would otherwise have the same type. (See examples.)
+
+The generic type parameters can be anything.
+
+Note that `Opaque` is somewhat of a misnomer here, in that, unlike [some alternative implementations](https://github.com/microsoft/TypeScript/issues/4895#issuecomment-425132582), the original, untagged type is not actually hidden. (E.g., functions that accept the untagged type can still be called with the "opaque" version -- but not vice-versa.)
 
-This is useful when you want to create an API whose behavior depends on the presence or absence of required fields.
+Also note that this implementation is limited to a single tag. If you want to allow multiple tags, use `Tagged` instead.
+
+[Read more about tagged types.](https://medium.com/@KevinBGreene/surviving-the-typescript-ecosystem-branding-and-type-tagging-6cf6e516523d)
+
+There have been several discussions about adding similar features to TypeScript. Unfortunately, nothing has (yet) moved forward:
+	- [Microsoft/TypeScript#202](https://github.com/microsoft/TypeScript/issues/202)
+	- [Microsoft/TypeScript#15408](https://github.com/Microsoft/TypeScript/issues/15408)
+	- [Microsoft/TypeScript#15807](https://github.com/Microsoft/TypeScript/issues/15807)
 
 @example
 ```
-import type {HasRequiredKeys} from 'type-fest';
+import type {Opaque} from 'type-fest';
 
-type GeneratorOptions<Template extends object> = {
-	prop1: number;
-	prop2: string;
-} & (HasRequiredKeys<Template> extends true
-	? {template: Template}
-	: {template?: Template});
+type AccountNumber = Opaque<number, 'AccountNumber'>;
+type AccountBalance = Opaque<number, 'AccountBalance'>;
 
-type Template1 = {
-	optionalSubParam?: string;
-};
+// The `Token` parameter allows the compiler to differentiate between types, whereas "unknown" will not. For example, consider the following structures:
+type ThingOne = Opaque<string>;
+type ThingTwo = Opaque<string>;
 
-type Template2 = {
-	requiredSubParam: string;
-};
+// To the compiler, these types are allowed to be cast to each other as they have the same underlying type. They are both `string & { __opaque__: unknown }`.
+// To avoid this behaviour, you would instead pass the "Token" parameter, like so.
+type NewThingOne = Opaque<string, 'ThingOne'>;
+type NewThingTwo = Opaque<string, 'ThingTwo'>;
 
-type Options1 = GeneratorOptions<Template1>;
-type Options2 = GeneratorOptions<Template2>;
+// Now they're completely separate types, so the following will fail to compile.
+function createNewThingOne(): NewThingOne {
+	// As you can see, casting from a string is still allowed. However, you may not cast NewThingOne to NewThingTwo, and vice versa.
+	return 'new thing one' as NewThingOne;
+}
 
-const optA: Options1 = {
-	prop1: 0,
-	prop2: 'hi',
-};
-const optB: Options1 = {
-	prop1: 0,
-	prop2: 'hi',
-	template: {},
-};
-const optC: Options1 = {
-	prop1: 0,
-	prop2: 'hi',
-	template: {
-		optionalSubParam: 'optional value',
-	},
-};
+// This will fail to compile, as they are fundamentally different types.
+// @ts-expect-error
+const thingTwo = createNewThingOne() as NewThingTwo;
 
-const optD: Options2 = {
-	prop1: 0,
-	prop2: 'hi',
-	template: {
-		requiredSubParam: 'required value',
-	},
-};
+// Here's another example of opaque typing.
+function createAccountNumber(): AccountNumber {
+	return 2 as AccountNumber;
+}
+
+declare function getMoneyForAccount(accountNumber: AccountNumber): AccountBalance;
 
+// This will compile successfully.
+getMoneyForAccount(createAccountNumber());
+
+// But this won't, because it has to be explicitly passed as an `AccountNumber` type.
+// @ts-expect-error
+getMoneyForAccount(2);
+
+// You can use opaque values like they aren't opaque too.
+const accountNumber = createAccountNumber();
+
+// This will compile successfully.
+const newAccountNumber = accountNumber + 2;
+
+// As a side note, you can (and should) use recursive types for your opaque types to make them stronger and hopefully easier to type.
+type Person = {
+	id: Opaque<number, Person>;
+	name: string;
+};
 ```
 
-@category Utilities
+@category Type
+@deprecated Use {@link Tagged} instead
 */
-type HasRequiredKeys<BaseType extends object> = RequiredKeysOf<BaseType> extends never ? false : true;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/is-never.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/is-literal.d.ts
 /**
-Returns a boolean for whether the given type is `never`.
+Returns a boolean for whether the given type is a `string` [literal type](https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#literal-types).
 
-@link https://github.com/microsoft/TypeScript/issues/31751#issuecomment-498526919
-@link https://stackoverflow.com/a/53984913/10292952
-@link https://www.zhenghao.io/posts/ts-never
+Useful for:
+	- providing strongly-typed string manipulation functions
+	- constraining strings to be a string literal
+	- type utilities, such as when constructing parsers and ASTs
 
-Useful in type utilities, such as checking if something does not occur.
+The implementation of this type is inspired by the trick mentioned in this [StackOverflow answer](https://stackoverflow.com/a/68261113/420747).
 
 @example
 ```
-import type {IsNever, And} from 'type-fest';
-
-type A = IsNever<never>;
-//=> true
+import type {IsStringLiteral} from 'type-fest';
 
-type B = IsNever<any>;
-//=> false
+type CapitalizedString<T extends string> = IsStringLiteral<T> extends true ? Capitalize<T> : string;
 
-type C = IsNever<unknown>;
-//=> false
+// https://github.com/yankeeinlondon/native-dash/blob/master/src/capitalize.ts
+function capitalize<T extends Readonly<string>>(input: T): CapitalizedString<T> {
+	return (input.slice(0, 1).toUpperCase() + input.slice(1)) as CapitalizedString<T>;
+}
 
-type D = IsNever<never[]>;
-//=> false
+const output = capitalize('hello, world!');
+//=> 'Hello, world!'
+```
 
-type E = IsNever<object>;
-//=> false
+@example
+```
+// String types with infinite set of possible values return `false`.
+
+import type {IsStringLiteral} from 'type-fest';
 
-type F = IsNever<string>;
+type AllUppercaseStrings = IsStringLiteral<Uppercase<string>>;
 //=> false
-```
 
-@example
-```
-import type {IsNever} from 'type-fest';
+type StringsStartingWithOn = IsStringLiteral<`on${string}`>;
+//=> false
 
-type IsTrue<T> = T extends true ? true : false;
+// This behaviour is particularly useful in string manipulation utilities, as infinite string types often require separate handling.
 
-// When a distributive conditional is instantiated with `never`, the entire conditional results in `never`.
-type A = IsTrue<never>;
-//   ^? type A = never
+type Length<S extends string, Counter extends never[] = []> =
+	IsStringLiteral<S> extends false
+		? number // return `number` for infinite string types
+		: S extends `${string}${infer Tail}`
+			? Length<Tail, [...Counter, never]>
+			: Counter['length'];
 
-// If you don't want that behaviour, you can explicitly add an `IsNever` check before the distributive conditional.
-type IsTrueFixed<T> =
-	IsNever<T> extends true ? false : T extends true ? true : false;
+type L1 = Length<Lowercase<string>>;
+//=> number
 
-type B = IsTrueFixed<never>;
-//   ^? type B = false
+type L2 = Length<`${number}`>;
+//=> number
 ```
 
 @category Type Guard
 @category Utilities
 */
-type IsNever<T> = [T] extends [never] ? true : false;
+type IsStringLiteral<S> = IfNotAnyOrNever<S, _IsStringLiteral<CollapseLiterals<S extends TagContainer<any> ? UnwrapTagged<S> : S>>, false, false>;
+type _IsStringLiteral<S> =
+// If `T` is an infinite string type (e.g., `on${string}`), `Record<T, never>` produces an index signature,
+// and since `{}` extends index signatures, the result becomes `false`.
+S extends string ? {} extends Record<S, never> ? false : true : false;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/if.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/tuple-of.d.ts
 /**
-An if-else-like type that resolves depending on whether the given `boolean` type is `true` or `false`.
-
-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'`.
+Create a tuple type of the specified length with elements of the specified type.
 
 @example
 ```
-import type {If} from 'type-fest';
-
-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'
-```
+import type {TupleOf} from 'type-fest';
 
-@example
-```
-import type {If, IsAny, IsNever} from 'type-fest';
+type RGB = TupleOf<3, number>;
+//=> [number, number, number]
 
-type A = If<IsAny<unknown>, 'is any', 'not any'>;
-//=> 'not any'
+type Line = TupleOf<2, {x: number; y: number}>;
+//=> [{x: number; y: number}, {x: number; y: number}]
 
-type B = If<IsNever<never>, 'is never', 'not never'>;
-//=> 'is never'
+type TicTacToeBoard = TupleOf<3, TupleOf<3, 'X' | 'O' | null>>;
+//=> [['X' | 'O' | null, 'X' | 'O' | null, 'X' | 'O' | null], ['X' | 'O' | null, 'X' | 'O' | null, 'X' | 'O' | null], ['X' | 'O' | null, 'X' | 'O' | null, 'X' | 'O' | null]]
 ```
 
 @example
 ```
-import type {If, IsEqual} from 'type-fest';
+import type {TupleOf} from 'type-fest';
 
-type IfEqual<T, U, IfBranch, ElseBranch> = If<IsEqual<T, U>, IfBranch, ElseBranch>;
+type Range<Start extends number, End extends number> = Exclude<keyof TupleOf<End>, keyof TupleOf<Start>>;
 
-type A = IfEqual<string, string, 'equal', 'not equal'>;
-//=> 'equal'
+type ZeroToFour = Range<0, 5>;
+//=> '0' | '1' | '2' | '3' | '4'
 
-type B = IfEqual<string, number, 'equal', 'not equal'>;
-//=> 'not equal'
+type ThreeToEight = Range<3, 9>;
+//=> '5' | '3' | '4' | '6' | '7' | '8'
 ```
 
-Note: Sometimes using the `If` type can make an implementation non–tail-recursive, which can impact performance. In such cases, it’s better to use a conditional directly. Refer to the following example:
+Note: If the specified length is the non-literal `number` type, the result will not be a tuple but a regular array.
 
 @example
 ```
-import type {If, IsEqual, StringRepeat} from 'type-fest';
-
-type HundredZeroes = StringRepeat<'0', 100>;
-
-// The following implementation is not tail recursive
-type Includes<S extends string, Char extends string> =
-	S extends `${infer First}${infer Rest}`
-		? If<IsEqual<First, Char>,
-			'found',
-			Includes<Rest, Char>>
-		: 'not found';
+import type {TupleOf} from 'type-fest';
 
-// Hence, instantiations with long strings will fail
-// @ts-expect-error
-type Fails = Includes<HundredZeroes, '1'>;
-//           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-// Error: Type instantiation is excessively deep and possibly infinite.
-
-// However, if we use a simple conditional instead of `If`, the implementation becomes tail-recursive
-type IncludesWithoutIf<S extends string, Char extends string> =
-	S extends `${infer First}${infer Rest}`
-		? IsEqual<First, Char> extends true
-			? 'found'
-			: IncludesWithoutIf<Rest, Char>
-		: 'not found';
-
-// Now, instantiations with long strings will work
-type Works = IncludesWithoutIf<HundredZeroes, '1'>;
-//=> 'not found'
+type StringArray = TupleOf<number, string>;
+//=> string[]
 ```
 
-@category Type Guard
-@category Utilities
-*/
-type If<Type extends boolean, IfBranch, ElseBranch> = IsNever<Type> extends true ? ElseBranch : Type extends true ? IfBranch : ElseBranch;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/internal/type.d.ts
-/**
-An if-else-like type that resolves depending on whether the given type is `any` or `never`.
+Note: If the type for elements is not specified, it will default to `unknown`.
 
 @example
 ```
-// When `T` is a NOT `any` or `never` (like `string`) => Returns `IfNotAnyOrNever` branch
-type A = IfNotAnyOrNever<string, 'VALID', 'IS_ANY', 'IS_NEVER'>;
-//=> 'VALID'
+import type {TupleOf} from 'type-fest';
 
-// 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 UnknownTriplet = TupleOf<3>;
+//=> [unknown, unknown, unknown]
 ```
 
-Note: Wrapping a tail-recursive type with `IfNotAnyOrNever` makes the implementation non-tail-recursive. To fix this, move the recursion into a helper type. Refer to the following example:
+Note: If the specified length is negative, the result will be an empty tuple.
 
 @example
-```ts
-import type {StringRepeat} from 'type-fest';
-
-type NineHundredNinetyNineSpaces = StringRepeat<' ', 999>;
-
-// The following implementation is not tail recursive
-type TrimLeft<S extends string> = IfNotAnyOrNever<S, S extends ` ${infer R}` ? TrimLeft<R> : S>;
-
-// Hence, instantiations with long strings will fail
-// @ts-expect-error
-type T1 = TrimLeft<NineHundredNinetyNineSpaces>;
-//        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-// Error: Type instantiation is excessively deep and possibly infinite.
+```
+import type {TupleOf} from 'type-fest';
 
-// To fix this, move the recursion into a helper type
-type TrimLeftOptimised<S extends string> = IfNotAnyOrNever<S, _TrimLeftOptimised<S>>;
+type EmptyTuple = TupleOf<-3, string>;
+//=> []
+```
 
-type _TrimLeftOptimised<S extends string> = S extends ` ${infer R}` ? _TrimLeftOptimised<R> : S;
+Note: If you need a readonly tuple, simply wrap this type with `Readonly`, for example, to create `readonly [number, number, number]` use `Readonly<TupleOf<3, number>>`.
 
-type T2 = TrimLeftOptimised<NineHundredNinetyNineSpaces>;
-//=> ''
-```
+@category Array
 */
-type IfNotAnyOrNever<T, IfNotAnyOrNever$1, IfAny = any, IfNever = never> = If<IsAny<T>, IfAny, If<IsNever<T>, IfNever, IfNotAnyOrNever$1>>;
+type TupleOf<Length extends number, Fill = unknown> = IfNotAnyOrNever<Length, _TupleOf<If<IsNegative<Length>, 0, Length>, Fill, []>, Fill[], []>;
+type _TupleOf<L extends number, Fill, Accumulator extends UnknownArray> = number extends L ? Fill[] : L extends Accumulator['length'] ? Accumulator : _TupleOf<L, Fill, [...Accumulator, Fill]>;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/simplify.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/or.d.ts
 /**
-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 {Simplify} from 'type-fest';
-
-type PositionProps = {
-	top: number;
-	left: number;
-};
+Returns a boolean for whether either of two given types is true.
 
-type SizeProps = {
-	width: number;
-	height: number;
-};
-
-// In your editor, hovering over `Props` will show a flattened object with all the properties.
-type Props = Simplify<PositionProps & SizeProps>;
-```
-
-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`.
+Use-case: Constructing complex conditional types where at least one condition must be satisfied.
 
 @example
 ```
-import type {Simplify} from 'type-fest';
-
-interface SomeInterface {
-	foo: number;
-	bar?: string;
-	baz: number | undefined;
-}
+import type {Or} from 'type-fest';
 
-type SomeType = {
-	foo: number;
-	bar?: string;
-	baz: number | undefined;
-};
+type TT = Or<true, true>;
+//=> true
 
-const literal = {foo: 123, bar: 'hello', baz: 456};
-const someType: SomeType = literal;
-const someInterface: SomeInterface = literal;
+type TF = Or<true, false>;
+//=> true
 
-declare function fn(object: Record<string, unknown>): void;
+type FT = Or<false, true>;
+//=> true
 
-fn(literal); // Good: literal object type is sealed
-fn(someType); // Good: type is sealed
-// @ts-expect-error
-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`
+type FF = Or<false, false>;
+//=> false
 ```
 
-@link https://github.com/microsoft/TypeScript/issues/15300
-@see {@link SimplifyDeep}
-@category Object
-*/
-type Simplify<T> = { [KeyType in keyof T]: T[KeyType] } & {};
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/is-equal.d.ts
-/**
-Returns a boolean for whether the two given types are equal.
-
-@link https://github.com/microsoft/TypeScript/issues/27024#issuecomment-421529650
-@link https://stackoverflow.com/questions/68961864/how-does-the-equals-work-in-typescript/68963796#68963796
-
-Use-cases:
-- If you want to make a conditional branch based on the result of a comparison of two types.
+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, `Or<false, boolean>` expands to `Or<false, true> | Or<false, false>`, which simplifies to `true | false` (i.e., `boolean`).
 
 @example
 ```
-import type {IsEqual} from 'type-fest';
-
-// This type returns a boolean for whether the given array includes the given item.
-// `IsEqual` is used to compare the given array at position 0 and the given item and then return true if they are equal.
-type Includes<Value extends readonly any[], Item> =
-	Value extends readonly [Value[0], ...infer rest]
-		? IsEqual<Value[0], Item> extends true
-			? true
-			: Includes<rest, Item>
-		: false;
-```
-
-@category Type Guard
-@category Utilities
-*/
-type IsEqual<A$1, B$1> = [A$1] extends [B$1] ? [B$1] extends [A$1] ? _IsEqual<A$1, B$1> : false : false;
-// This version fails the `equalWrappedTupleIntersectionToBeNeverAndNeverExpanded` test in `test-d/is-equal.ts`.
-type _IsEqual<A$1, B$1> = (<G>() => G extends A$1 & G | G ? 1 : 2) extends (<G>() => G extends B$1 & G | G ? 1 : 2) ? true : false;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/omit-index-signature.d.ts
-/**
-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.
+import type {Or} from 'type-fest';
 
-This type was taken from this [StackOverflow answer](https://stackoverflow.com/a/68261113/420747).
+type A = Or<false, boolean>;
+//=> boolean
 
-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>`.
+type B = Or<boolean, false>;
+//=> boolean
 
-(The actual value type, `unknown`, is irrelevant and could be any type. Only the key type matters.)
+type C = Or<true, boolean>;
+//=> true
 
-```
-const indexed: Record<string, unknown> = {}; // Allowed
+type D = Or<boolean, true>;
+//=> true
 
-// @ts-expect-error
-const keyed: Record<'foo', unknown> = {}; // Error
-// => TS2739: Type '{}' is missing the following properties from type 'Record<"foo" | "bar", unknown>': foo, bar
+type E = Or<boolean, boolean>;
+//=> boolean
 ```
 
-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: If `never` is passed as an argument, it is treated as `false` and the result is computed accordingly.
 
+@example
 ```
-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>`'
-
-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>`"
-```
+import type {Or} from 'type-fest';
 
-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 A = Or<true, never>;
+//=> true
 
-```
-type OmitIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType // Map each key of `ObjectType`...
-	]: ObjectType[KeyType]; // ...to its original value, i.e. `OmitIndexSignature<Foo> == Foo`.
-};
-```
+type B = Or<never, true>;
+//=> true
 
-...whether an empty object (`{}`) would be assignable to an object with that `KeyType` (`Record<KeyType, unknown>`)...
+type C = Or<false, never>;
+//=> false
 
-```
-type OmitIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType
-	// Is `{}` assignable to `Record<KeyType, unknown>`?
-	as {} extends Record<KeyType, unknown>
-		? never // ✅ `{}` is assignable to `Record<KeyType, unknown>`
-		: KeyType // ❌ `{}` is NOT assignable to `Record<KeyType, unknown>`
-	]: ObjectType[KeyType];
-};
-```
+type D = Or<never, false>;
+//=> false
 
-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.
+type E = Or<boolean, never>;
+//=> boolean
 
-@example
-```
-import type {OmitIndexSignature} from 'type-fest';
-
-type 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';
-};
+type F = Or<never, boolean>;
+//=> boolean
 
-type ExampleWithoutIndexSignatures = OmitIndexSignature<Example>;
-// => { foo: 'bar'; qux?: 'baz' | undefined; }
+type G = Or<never, never>;
+//=> false
 ```
 
-@see {@link PickIndexSignature}
-@category Object
+@see {@link And}
+@see {@link Xor}
 */
-type OmitIndexSignature<ObjectType> = { [KeyType in keyof ObjectType as {} extends Record<KeyType, unknown> ? never : KeyType]: ObjectType[KeyType] };
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/pick-index-signature.d.ts
-/**
-Pick only index signatures from the given object type, leaving out all explicitly defined properties.
+type Or<A$1 extends boolean, B$1 extends boolean> = _Or<If<IsNever<A$1>, false, A$1>, If<IsNever<B$1>, false, B$1>>;
+// `never` is treated as `false`
 
-This is the counterpart of `OmitIndexSignature`.
-
-@example
-```
-import type {PickIndexSignature} from 'type-fest';
-
-declare const symbolKey: unique symbol;
-
-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;
-
-	// 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 {@link OmitIndexSignature}
-@category Object
-*/
-type PickIndexSignature<ObjectType> = { [KeyType in keyof ObjectType as {} extends Record<KeyType, unknown> ? KeyType : never]: ObjectType[KeyType] };
+type _Or<A$1 extends boolean, B$1 extends boolean> = A$1 extends true ? true : B$1 extends true ? true : false;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/merge.d.ts
-// 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;
-
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/all-extend.d.ts
 /**
-Merge two types into a new type. Keys of the second type overrides keys of the first type.
-
-@example
-```
-import type {Merge} from 'type-fest';
-
-type Foo = {
-	[x: string]: unknown;
-	[x: number]: unknown;
-	foo: string;
-	bar: symbol;
+@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 Bar = {
-	[x: number]: number;
-	[x: symbol]: unknown;
-	bar: Date;
-	baz: boolean;
+type DefaultAllExtendOptions = {
+  strictNever: true;
 };
 
-export type FooBar = Merge<Foo, Bar>;
-// => {
-// 	[x: string]: unknown;
-// 	[x: number]: number;
-// 	[x: symbol]: unknown;
-// 	foo: string;
-// 	bar: Date;
-// 	baz: boolean;
-// }
-```
-
-@category Object
-*/
-type Merge<Destination, Source> = Simplify<SimpleMerge<PickIndexSignature<Destination>, PickIndexSignature<Source>> & SimpleMerge<OmitIndexSignature<Destination>, OmitIndexSignature<Source>>>;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/internal/object.d.ts
 /**
-Works similar to the built-in `Pick` utility type, except for the following differences:
-- Distributes over union types and allows picking keys from any member of the union type.
-- Primitives types are returned as-is.
-- Picks all keys if `Keys` is `any`.
-- Doesn't pick `number` from a `string` index signature.
+Returns a boolean for whether every element in an array type extends another type.
 
 @example
 ```
-type ImageUpload = {
-	url: string;
-	size: number;
-	thumbnailUrl: string;
-};
-
-type VideoUpload = {
-	url: string;
-	duration: number;
-	encodingFormat: string;
-};
-
-// Distributes over union types and allows picking keys from any member of the union type
-type MediaDisplay = HomomorphicPick<ImageUpload | VideoUpload, "url" | "size" | "duration">;
-//=> {url: string; size: number} | {url: string; duration: number}
+import type {AllExtend} from 'type-fest';
 
-// Primitive types are returned as-is
-type Primitive = HomomorphicPick<string | number, 'toUpperCase' | 'toString'>;
-//=> string | number
+type A = AllExtend<[1, 2, 3], number>;
+//=> true
 
-// Picks all keys if `Keys` is `any`
-type Any = HomomorphicPick<{a: 1; b: 2} | {c: 3}, any>;
-//=> {a: 1; b: 2} | {c: 3}
+type B = AllExtend<[1, 2, '3'], number>;
+//=> false
 
-// Doesn't pick `number` from a `string` index signature
-type IndexSignature = HomomorphicPick<{[k: string]: unknown}, number>;
-//=> {}
-*/
-type HomomorphicPick<T, Keys extends KeysOfUnion<T>> = { [P in keyof T as Extract<P, Keys>]: T[P] };
-/**
-Merges user specified options with default options.
+type C = AllExtend<[number, number | string], number>;
+//=> boolean
 
-@example
+type D = AllExtend<[true, boolean, true], true>;
+//=> boolean
 ```
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: false};
-type SpecifiedOptions = {leavesOnly: true};
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//=> {maxRecursionDepth: 10; leavesOnly: true}
-```
+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.
 
-@example
 ```
-// Complains if default values are not provided for optional options
+// @exactOptionalPropertyTypes: true
+import type {AllExtend} from 'type-fest';
 
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10};
-type SpecifiedOptions = {};
-
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//                                              ~~~~~~~~~~~~~~~~~~~
-// Property 'leavesOnly' is missing in type 'DefaultPathsOptions' but required in type '{ maxRecursionDepth: number; leavesOnly: boolean; }'.
+type A = AllExtend<[1?, 2?, 3?], number>;
+//=> true
 ```
 
-@example
 ```
-// Complains if an option's default type does not conform to the expected type
-
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: 'no'};
-type SpecifiedOptions = {};
+// @exactOptionalPropertyTypes: false
+import type {AllExtend} from 'type-fest';
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//                                              ~~~~~~~~~~~~~~~~~~~
-// Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
-```
+type A = AllExtend<[1?, 2?, 3?], number>;
+//=> boolean
 
-@example
+type B = AllExtend<[1?, 2?, 3?], number | undefined>;
+//=> true
 ```
-// Complains if an option's specified type does not conform to the expected type
 
-type PathsOptions = {maxRecursionDepth?: number; leavesOnly?: boolean};
-type DefaultPathsOptions = {maxRecursionDepth: 10; leavesOnly: false};
-type SpecifiedOptions = {leavesOnly: 'yes'};
+@see {@link AllExtendOptions}
 
-type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOptions>;
-//                                                                   ~~~~~~~~~~~~~~~~
-// Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
-```
+@category Utilities
+@category Array
 */
-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>>>>;
+type AllExtend<TArray extends UnknownArray, Type$1, Options extends AllExtendOptions = {}> = _AllExtend<CollapseRestElement<TArray>, Type$1, ApplyDefaultOptions<AllExtendOptions, DefaultAllExtendOptions, Options>>;
+type _AllExtend<TArray extends UnknownArray, Type$1, Options extends Required<AllExtendOptions>> = IfNotAnyOrNever<TArray, If<IsAny<Type$1>, true, TArray extends readonly [infer First, ...infer Rest] ? IsNever<First> extends true ? Or<IsNever<Type$1>, Not<Options['strictNever']>> extends true
+// If target `Type` is also `never` OR `strictNever` is disabled, recurse further.
+? _AllExtend<Rest, Type$1, Options> : false : First extends Type$1 ? _AllExtend<Rest, Type$1, Options> : false : true>, false, false>;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/except.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/and.d.ts
 /**
-Filter out keys from an object.
-
-Returns `never` if `Exclude` is strictly equal to `Key`.
-Returns `never` if `Key` extends `Exclude`.
-Returns `Key` otherwise.
-
-@example
-```
-type Filtered = Filter<'foo', 'foo'>;
-//=> never
-```
+Returns a boolean for whether two given types are both true.
 
-@example
-```
-type Filtered = Filter<'bar', string>;
-//=> never
-```
+Use-case: Constructing complex conditional types where multiple conditions must be satisfied.
 
 @example
 ```
-type Filtered = Filter<'bar', 'foo'>;
-//=> 'bar'
-```
+import type {And} from 'type-fest';
 
-@see {Except}
-*/
-type Filter<KeyType$1, ExcludeType> = IsEqual<KeyType$1, ExcludeType> extends true ? never : (KeyType$1 extends ExcludeType ? never : KeyType$1);
-type ExceptOptions = {
-  /**
-  Disallow assigning non-specified properties.
-  	Note that any omitted properties in the resulting type will be present in autocomplete as `undefined`.
-  	@default false
-  */
-  requireExactProps?: boolean;
-};
-type DefaultExceptOptions = {
-  requireExactProps: false;
-};
+type TT = And<true, true>;
+//=> true
 
-/**
-Create a type from an object type without certain keys.
+type TF = And<true, false>;
+//=> false
 
-We recommend setting the `requireExactProps` option to `true`.
+type FT = And<false, true>;
+//=> false
 
-This type is a stricter version of [`Omit`](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-5.html#the-omit-helper-type). The `Omit` type does not restrict the omitted keys to be keys present on the given type, while `Except` does. The benefits of a stricter type are avoiding typos and allowing the compiler to pick up on rename refactors automatically.
+type FF = And<false, false>;
+//=> false
+```
 
-This type was proposed to the TypeScript team, which declined it, saying they prefer that libraries implement stricter versions of the built-in types ([microsoft/TypeScript#30825](https://github.com/microsoft/TypeScript/issues/30825#issuecomment-523668235)).
+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
 ```
-import type {Except} from 'type-fest';
-
-type Foo = {
-	a: number;
-	b: string;
-};
-
-type FooWithoutA = Except<Foo, 'a'>;
-//=> {b: string}
-
-// @ts-expect-error
-const fooWithoutA: FooWithoutA = {a: 1, b: '2'};
-//=> errors: 'a' does not exist in type '{ b: string; }'
-
-type FooWithoutB = Except<Foo, 'b', {requireExactProps: true}>;
-//=> {a: number} & Partial<Record<"b", never>>
-
-// @ts-expect-error
-const fooWithoutB: FooWithoutB = {a: 1, b: '2'};
-//=> errors at 'b': Type 'string' is not assignable to type 'undefined'.
+import type {And} from 'type-fest';
 
-// The `Omit` utility type doesn't work when omitting specific keys from objects containing index signatures.
+type A = And<true, boolean>;
+//=> boolean
 
-// Consider the following example:
+type B = And<boolean, true>;
+//=> boolean
 
-type UserData = {
-	[metadata: string]: string;
-	email: string;
-	name: string;
-	role: 'admin' | 'user';
-};
+type C = And<false, boolean>;
+//=> false
 
-// `Omit` clearly doesn't behave as expected in this case:
-type PostPayload = Omit<UserData, 'email'>;
-//=> { [x: string]: string; [x: number]: string; }
+type D = And<boolean, false>;
+//=> false
 
-// In situations like this, `Except` works better.
-// It simply removes the `email` key while preserving all the other keys.
-type PostPayloadFixed = Except<UserData, 'email'>;
-//=> { [x: string]: string; name: string; role: 'admin' | 'user'; }
+type E = And<boolean, boolean>;
+//=> boolean
 ```
 
-@category Object
-*/
-type Except<ObjectType, KeysType extends keyof ObjectType, Options extends ExceptOptions = {}> = _Except<ObjectType, KeysType, ApplyDefaultOptions<ExceptOptions, DefaultExceptOptions, Options>>;
-type _Except<ObjectType, KeysType extends keyof ObjectType, Options extends Required<ExceptOptions>> = { [KeyType in keyof ObjectType as Filter<KeyType, KeysType>]: ObjectType[KeyType] } & (Options['requireExactProps'] extends true ? Partial<Record<KeysType, never>> : {});
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/require-at-least-one.d.ts
-/**
-Create a type that requires at least one of the given keys. The remaining keys are kept as is.
+Note: If either of the types is `never`, the result becomes `false`.
 
 @example
 ```
-import type {RequireAtLeastOne} from 'type-fest';
-
-type Responder = {
-	text?: () => string;
-	json?: () => string;
-	secure?: boolean;
-};
-
-const responder: RequireAtLeastOne<Responder, 'text' | 'json'> = {
-	json: () => '{"message": "ok"}',
-	secure: true,
-};
-```
+import type {And} from 'type-fest';
 
-@category Object
-*/
-type RequireAtLeastOne<ObjectType, KeysType extends keyof ObjectType = keyof ObjectType> = IfNotAnyOrNever<ObjectType, If<IsNever<KeysType>, never, _RequireAtLeastOne<ObjectType, If<IsAny<KeysType>, keyof ObjectType, KeysType>>>>;
-type _RequireAtLeastOne<ObjectType, KeysType extends keyof ObjectType> = {
-  // For each `Key` in `KeysType` make a mapped type:
-[Key in KeysType]-?: Required<Pick<ObjectType, Key>> &
-// 1. Make `Key`'s type required
-// 2. Make all other keys in `KeysType` optional
-Partial<Pick<ObjectType, Exclude<KeysType, Key>>> }[KeysType] &
-// 3. Add the remaining keys not in `KeysType`
-Except<ObjectType, KeysType>;
-//#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/non-empty-object.d.ts
-/**
-Represents an object with at least 1 non-optional key.
+type A = And<true, never>;
+//=> false
 
-This is useful when you need an object where all keys are optional, but there must be at least 1 key.
+type B = And<never, true>;
+//=> false
 
-@example
-```
-import type {NonEmptyObject} from 'type-fest';
+type C = And<false, never>;
+//=> false
 
-type User = {
-	name: string;
-	surname: string;
-	id: number;
-};
+type D = And<never, false>;
+//=> false
 
-type UpdateRequest<Entity extends object> = NonEmptyObject<Partial<Entity>>;
+type E = And<boolean, never>;
+//=> false
 
-const update1: UpdateRequest<User> = {
-	name: 'Alice',
-	surname: 'Acme',
-};
+type F = And<never, boolean>;
+//=> false
 
-// At least 1 key is required, therefore this will report a 2322 error:
-// Type '{}' is not assignable to type 'UpdateRequest<User>'
-// @ts-expect-error
-const update2: UpdateRequest<User> = {};
+type G = And<never, never>;
+//=> false
 ```
 
-@see Use `IsEmptyObject` to check whether an object is empty.
-
-@category Object
+@see {@link Or}
+@see {@link Xor}
 */
-type NonEmptyObject<T extends object> = HasRequiredKeys<T> extends true ? T : RequireAtLeastOne<T, keyof T>;
+type And<A$1 extends boolean, B$1 extends boolean> = AllExtend<[A$1, B$1], true>;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/union-to-tuple.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/union-to-tuple.d.ts
 /**
 Returns the last element of a union type.
 
@@ -1243,7 +709,7 @@ const petList = Object.keys(pets) as UnionToTuple<Pet>;
 */
 type UnionToTuple<T, L = LastOfUnion<T>> = IsNever<T> extends false ? [...UnionToTuple<Exclude<T, L>>, L] : [];
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/set-optional.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/set-optional.d.ts
 /**
 Create a type that makes the given keys optional. The remaining keys are kept as is. The sister of the `SetRequired` type.
 
@@ -1277,7 +743,7 @@ Except<BaseType, Keys> &
 // Pick the keys that should be mutable from the base type and make them mutable.
 Partial<HomomorphicPick<BaseType, Keys>>> : never;
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/value-of.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/value-of.d.ts
 /**
 Create a union of the given object's values, and optionally specify which keys to get the values from.
 
@@ -1288,20 +754,79 @@ Please upvote [this issue](https://github.com/microsoft/TypeScript/issues/31438)
 import type {ValueOf} from 'type-fest';
 
 type A = ValueOf<{id: number; name: string; active: boolean}>;
-//=> number | string | boolean
+//=> string | number | boolean
 
 type B = ValueOf<{id: number; name: string; active: boolean}, 'name'>;
 //=> string
 
 type C = ValueOf<{id: number; name: string; active: boolean}, 'id' | 'name'>;
-//=> number | string
+//=> string | number
 ```
 
 @category Object
 */
 type ValueOf<ObjectType, ValueType extends keyof ObjectType = keyof ObjectType> = ObjectType[ValueType];
 //#endregion
-//#region node_modules/.pnpm/type-fest@5.3.1/node_modules/type-fest/source/replace.d.ts
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/split.d.ts
+/**
+Split options.
+
+@see {@link Split}
+*/
+type SplitOptions = {
+  /**
+  When enabled, instantiations with non-literal string types (e.g., `string`, `Uppercase<string>`, `on${string}`) simply return back `string[]` without performing any splitting, as the exact structure cannot be statically determined.
+  	@default true
+  	@example
+  ```ts
+  import type {Split} from 'type-fest';
+  	type Example1 = Split<`foo.${string}.bar`, '.', {strictLiteralChecks: false}>;
+  //=> ['foo', string, 'bar']
+  	type Example2 = Split<`foo.${string}`, '.', {strictLiteralChecks: true}>;
+  //=> string[]
+  	type Example3 = Split<'foobarbaz', `b${string}`, {strictLiteralChecks: false}>;
+  //=> ['foo', 'r', 'z']
+  	type Example4 = Split<'foobarbaz', `b${string}`, {strictLiteralChecks: true}>;
+  //=> string[]
+  ```
+  */
+  strictLiteralChecks?: boolean;
+};
+type DefaultSplitOptions = {
+  strictLiteralChecks: true;
+};
+
+/**
+Represents an array of strings split using a given character or character set.
+
+Use-case: Defining the return type of a method like `String.prototype.split`.
+
+@example
+```
+import type {Split} from 'type-fest';
+
+declare function split<S extends string, D extends string>(string: S, separator: D): Split<S, D>;
+
+type Item = 'foo' | 'bar' | 'baz' | 'waldo';
+const items = 'foo,bar,baz,waldo';
+const array: Item[] = split(items, ',');
+```
+
+@see {@link SplitOptions}
+
+@category String
+@category Template literal
+*/
+type Split<S extends string, Delimiter extends string, Options extends SplitOptions = {}> = SplitHelper<S, Delimiter, ApplyDefaultOptions<SplitOptions, DefaultSplitOptions, Options>>;
+type SplitHelper<S extends string, Delimiter extends string, Options extends Required<SplitOptions>, Accumulator extends string[] = []> = S extends string // For distributing `S`
+? Delimiter extends string // For distributing `Delimiter`
+// If `strictLiteralChecks` is `false` OR `S` and `Delimiter` both are string literals, then perform the split
+? Or<Not<Options['strictLiteralChecks']>, And<IsStringLiteral<S>, IsStringLiteral<Delimiter>>> extends true ? S extends `${infer Head}${Delimiter}${infer Tail}` ? SplitHelper<Tail, Delimiter, Options, [...Accumulator, Head]> : Delimiter extends '' ? S extends '' ? Accumulator : [...Accumulator, S] : [...Accumulator, S]
+// Otherwise, return `string[]`
+: string[] : never // Should never happen
+: never; // Should never happen
+//#endregion
+//#region node_modules/.pnpm/type-fest@5.4.4/node_modules/type-fest/source/replace.d.ts
 type ReplaceOptions = {
   all?: boolean;
 };
@@ -1310,94 +835,571 @@ type DefaultReplaceOptions = {
 };
 
 /**
-Represents a string with some or all matches replaced by a replacement.
-
-Use-case:
-- `kebab-case-path` to `dotted.path.notation`
-- Changing date/time format: `01-08-2042` → `01/08/2042`
-- Manipulation of type properties, for example, removal of prefixes
-
-@example
-```
-import type {Replace} from 'type-fest';
-
-declare function replace<
-	Input extends string,
-	Search extends string,
-	Replacement extends string,
->(
-	input: Input,
-	search: Search,
-	replacement: Replacement
-): Replace<Input, Search, Replacement>;
-
-declare function replaceAll<
-	Input extends string,
-	Search extends string,
-	Replacement extends string,
->(
-	input: Input,
-	search: Search,
-	replacement: Replacement
-): Replace<Input, Search, Replacement, {all: true}>;
-
-// The return type is the exact string literal, not just `string`.
-
-replace('hello ?', '?', '🦄');
-//=> 'hello 🦄'
-
-replace('hello ??', '?', '❓');
-//=> 'hello ❓?'
-
-replaceAll('10:42:00', ':', '-');
-//=> '10-42-00'
-
-replaceAll('__userName__', '__', '');
-//=> 'userName'
-
-replaceAll('My Cool Title', ' ', '');
-//=> 'MyCoolTitle'
-```
-
-@category String
-@category Template literal
-*/
-type Replace<Input extends string, Search extends string, Replacement extends string, Options extends ReplaceOptions = {}> = _Replace<Input, Search, Replacement, ApplyDefaultOptions<ReplaceOptions, DefaultReplaceOptions, Options>>;
-type _Replace<Input extends string, Search extends string, Replacement extends string, Options extends Required<ReplaceOptions>, Accumulator extends string = ''> = Search extends string // For distributing `Search`
-? Replacement extends string // For distributing `Replacement`
-? Input extends `${infer Head}${Search}${infer Tail}` ? Options['all'] extends true ? _Replace<Tail, Search, Replacement, Options, `${Accumulator}${Head}${Replacement}`> : `${Head}${Replacement}${Tail}` : `${Accumulator}${Input}` : never : never;
+Represents a string with some or all matches replaced by a replacement.
+
+Use-case:
+- `kebab-case-path` to `dotted.path.notation`
+- Changing date/time format: `01-08-2042` → `01/08/2042`
+- Manipulation of type properties, for example, removal of prefixes
+
+@example
+```
+import type {Replace} from 'type-fest';
+
+declare function replace<
+	Input extends string,
+	Search extends string,
+	Replacement extends string,
+>(
+	input: Input,
+	search: Search,
+	replacement: Replacement
+): Replace<Input, Search, Replacement>;
+
+declare function replaceAll<
+	Input extends string,
+	Search extends string,
+	Replacement extends string,
+>(
+	input: Input,
+	search: Search,
+	replacement: Replacement
+): Replace<Input, Search, Replacement, {all: true}>;
+
+// The return type is the exact string literal, not just `string`.
+
+replace('hello ?', '?', '🦄');
+//=> 'hello 🦄'
+
+replace('hello ??', '?', '❓');
+//=> 'hello ❓?'
+
+replaceAll('10:42:00', ':', '-');
+//=> '10-42-00'
+
+replaceAll('__userName__', '__', '');
+//=> 'userName'
+
+replaceAll('My Cool Title', ' ', '');
+//=> 'MyCoolTitle'
+```
+
+@category String
+@category Template literal
+*/
+type Replace<Input extends string, Search extends string, Replacement extends string, Options extends ReplaceOptions = {}> = _Replace<Input, Search, Replacement, ApplyDefaultOptions<ReplaceOptions, DefaultReplaceOptions, Options>>;
+type _Replace<Input extends string, Search extends string, Replacement extends string, Options extends Required<ReplaceOptions>, Accumulator extends string = ''> = Search extends string // For distributing `Search`
+? Replacement extends string // For distributing `Replacement`
+? Input extends `${infer Head}${Search}${infer Tail}` ? Options['all'] extends true ? _Replace<Tail, Search, Replacement, Options, `${Accumulator}${Head}${Replacement}`> : `${Head}${Replacement}${Tail}` : `${Accumulator}${Input}` : never : never;
+//#endregion
+//#region src/utils/array/arrayCast.d.ts
+/**
+ * 构造数组
+ * @param candidate 待构造项
+ * @param checkEmpty 是否检查 `undefined` 和 `null`，默认为 `true`
+ * @returns 构造后的数组
+ * @example
+ * ```ts
+ * arrayCast(1); // [1]
+ * arrayCast([1, 2]); // [1, 2]
+ * arrayCast(null); // []
+ * arrayCast(undefined); // []
+ * arrayCast(null, false); // [null]
+ * ```
+ */
+declare function arrayCast<T>(candidate: T | T[] | null | undefined, checkEmpty?: true): NonNullable<T>[];
+declare function arrayCast<T>(candidate: T | T[] | null | undefined, checkEmpty?: false): T[];
+//#endregion
+//#region src/utils/array/arrayCompete.d.ts
+/**
+ * 数组竞争
+ * - 返回在匹配函数的比较条件中获胜的最终项目，适用于更复杂的最小值/最大值计算
+ *
+ * @param initialList 数组
+ * @param match 匹配函数
+ * @returns 获胜的元素，如果数组为空或参数无效则返回 `null`
+ * @example
+ * ```ts
+ * const list = [1, 10, 5];
+ * arrayCompete(list, (a, b) => (a > b ? a : b)); // 10
+ * arrayCompete(list, (a, b) => (a < b ? a : b)); // 1
+ * ```
+ */
+declare function arrayCompete<T>(initialList: readonly T[], match: (a: T, b: T, index: number) => T): T | null;
+//#endregion
+//#region src/utils/array/arrayCounting.d.ts
+/**
+ * 统计数组的项目出现次数
+ * - 通过给定的标识符匹配函数，返回一个对象，其中键是回调函数返回的 key 值，每个值是一个整数，表示该 key 出现的次数
+ *
+ * @param initialList 初始数组
+ * @param match 匹配函数
+ * @returns 统计对象
+ * @example
+ * ```ts
+ * const list = ["a", "b", "a", "c"];
+ * arrayCounting(list, (x) => x); // { a: 2, b: 1, c: 1 }
+ *
+ * const users = [{ id: 1, group: "A" }, { id: 2, group: "B" }, { id: 3, group: "A" }];
+ * arrayCounting(users, (u) => u.group); // { A: 2, B: 1 }
+ * ```
+ */
+declare function arrayCounting<T, K$1 extends PropertyKey>(initialList: readonly T[], match: (row: T, index: number) => K$1): Record<string, number>;
+//#endregion
+//#region src/utils/array/arrayDifference.d.ts
+/**
+ * 求数组差集
+ * - 返回在 `initialList` 中存在，但在 `diffList` 中不存在的元素
+ *
+ * @param initialList 初始数组
+ * @param diffList 对比数组
+ * @param match 匹配函数
+ * @returns 差集数组
+ * @example
+ * ```ts
+ * arrayDifference([1, 2, 3], [2, 3, 4]); // [1]
+ * arrayDifference([{ id: 1 }, { id: 2 }], [{ id: 2 }], (x) => x.id); // [{ id: 1 }]
+ * ```
+ */
+declare function arrayDifference<T>(initialList: readonly T[], diffList: readonly T[], match?: (row: T, index: number) => unknown): T[];
+//#endregion
+//#region src/utils/array/arrayFirst.d.ts
+/**
+ * 获取数组第一项
+ *
+ * @param initialList 初始数组
+ * @param saveValue 安全值
+ * @returns 数组第一项，如果为空则返回安全值
+ * @example
+ * ```ts
+ * arrayFirst([1, 2]); // 1
+ * arrayFirst([], 0); // 0
+ * ```
+ */
+declare function arrayFirst<T>(initialList: readonly T[]): T | undefined;
+declare function arrayFirst<T>(initialList: readonly T[], saveValue: T): T;
+//#endregion
+//#region src/utils/array/arrayFork.d.ts
+/**
+ * 数组分组过滤
+ * - 给定一个数组和一个条件，返回一个由两个数组组成的元组，其中第一个数组包含所有满足条件的项，第二个数组包含所有不满足条件的项
+ *
+ * @param initialList 初始数组
+ * @param match 条件匹配函数
+ * @returns [满足条件的项[], 不满足条件的项[]]
+ * @example
+ * ```ts
+ * arrayFork([1, 2, 3, 4], (n) => n % 2 === 0); // [[2, 4], [1, 3]]
+ * ```
+ */
+declare function arrayFork<T>(initialList: readonly T[], match: (row: T, index: number) => boolean): [T[], T[]];
+//#endregion
+//#region src/utils/array/arrayIntersection.d.ts
+/**
+ * 求数组交集
+ * - 返回在 `initialList` 和 `diffList` 中都存在的元素
+ *
+ * @param initialList 初始数组
+ * @param diffList 对比数组
+ * @param match 匹配函数
+ * @returns 交集数组
+ * @example
+ * ```ts
+ * arrayIntersection([1, 2], [2, 3]); // [2]
+ * arrayIntersection([{ id: 1 }, { id: 2 }], [{ id: 2 }], (x) => x.id); // [{ id: 2 }]
+ * ```
+ */
+declare function arrayIntersection<T>(initialList: readonly T[], diffList: readonly T[], match?: (row: T, index: number) => unknown): T[];
+//#endregion
+//#region src/utils/array/arrayLast.d.ts
+/**
+ * 获取数组最后一项
+ *
+ * @param initialList 初始数组
+ * @param saveValue 安全值
+ * @returns 数组最后一项，如果为空则返回安全值
+ * @example
+ * ```ts
+ * arrayLast([1, 2, 3]); // 3
+ * arrayLast([], 0); // 0
+ * ```
+ */
+declare function arrayLast<T>(initialList: readonly T[]): T | undefined;
+declare function arrayLast<T>(initialList: readonly T[], saveValue: T): T;
+//#endregion
+//#region src/utils/array/arrayMerge.d.ts
+/**
+ * 数组合并
+ * - 如果未提供 `match` 函数，则合并两个数组并去重（Union）
+ * - 如果提供了 `match` 函数，则仅更新 `initialList` 中匹配到的项（Left Join Update），不会追加 `mergeList` 中新增的项
+ *
+ * @param initialList 初始数组
+ * @param mergeList 待合并数组
+ * @param match 匹配函数
+ * @returns 合并后的数组
+ * @example
+ * ```ts
+ * // 基础合并去重
+ * arrayMerge([1, 2], [2, 3]); // [1, 2, 3]
+ *
+ * // 按条件更新
+ * const source = [{ id: 1, val: "a" }, { id: 2, val: "b" }];
+ * const update = [{ id: 2, val: "new" }, { id: 3, val: "c" }];
+ * arrayMerge(source, update, (x) => x.id);
+ * // [{ id: 1, val: "a" }, { id: 2, val: "new" }] -> id:3 被忽略
+ * ```
+ */
+declare function arrayMerge<T>(initialList: readonly T[], mergeList: readonly T[], match?: (item: T, index: number) => unknown): T[];
+//#endregion
+//#region src/utils/array/arrayPick.d.ts
+/**
+ * 数组选择
+ * - 一次性应用 `filter` 和 `map` 操作
+ *
+ * @param initialList 初始数组
+ * @param filter filter 函数
+ * @param mapper map 函数
+ * @returns 处理后的新数组
+ * @example
+ * ```ts
+ * const list = [1, 2, 3, 4];
+ * arrayPick(list, (n) => n % 2 === 0); // [2, 4]
+ * arrayPick(list, (n) => n % 2 === 0, (n) => n * 2); // [4, 8]
+ * ```
+ */
+declare function arrayPick<const T>(initialList: readonly T[], filter: (row: T, index: number) => boolean): T[];
+declare function arrayPick<const T, F = T, M = F>(initialList: readonly T[], filter: (row: T, index: number) => boolean, mapper: ((row: F, index: number) => M)): M[];
+//#endregion
+//#region src/utils/array/arrayReplace.d.ts
+/**
+ * 数组项替换
+ * - 在给定的数组中，替换符合匹配函数结果的项目
+ * - 只替换第一个匹配项
+ *
+ * @param initialList 初始数组
+ * @param newItem 替换项
+ * @param match 匹配函数
+ * @returns 替换后的新数组
+ * @example
+ * ```ts
+ * arrayReplace([1, 2, 3], 4, (n) => n === 2); // [1, 4, 3]
+ * ```
+ */
+declare function arrayReplace<const T>(initialList: readonly T[], newItem: T, match: (row: T, index: number) => boolean): T[];
+//#endregion
+//#region src/utils/array/arrayReplaceMove.d.ts
+type PositionType = "start" | "end" | number;
+/**
+ * 数组项替换并移动
+ * - 在给定的数组中，替换并移动符合匹配函数结果的项目
+ * - 只替换和移动第一个匹配项
+ * - 未匹配时，根据 `position` 在指定位置插入 `newItem`
+ *
+ * @param initialList 初始数组
+ * @param newItem 替换项
+ * @param match 匹配函数
+ * @param position 移动位置，可选 `start` | `end` | 索引位置， 默认为 `end`
+ * @returns
+ * @example
+ * ```ts
+ * arrayReplaceMove([1, 2, 3, 4], 5, (n) => n === 2, 0); // [5, 1, 3, 4]
+ * arrayReplaceMove([1, 2, 3, 4], 5, (n) => n === 2, 2); // [1, 3, 5, 4]
+ * arrayReplaceMove([1, 2, 3, 4], 5, (n) => n === 2, "start"); // [5, 1, 3, 4]
+ * arrayReplaceMove([1, 2, 3, 4], 5, (n) => n === 2); // [1, 3, 4, 5]
+ * ```
+ */
+declare function arrayReplaceMove<const T>(initialList: readonly T[], newItem: T, match: (row: T, index: number) => boolean, position?: PositionType): T[];
+//#endregion
+//#region src/utils/array/arraySplit.d.ts
+/**
+ * 数组切分
+ * - 将数组以指定的长度切分后，组合在高维数组中
+ *
+ * @param initialList 初始数组
+ * @param size 分割尺寸，默认 `10`
+ * @returns 切分后的二维数组
+ * @example
+ * ```ts
+ * arraySplit([1, 2, 3, 4, 5], 2); // [[1, 2], [3, 4], [5]]
+ * ```
+ */
+declare function arraySplit<T>(initialList: readonly T[], size?: number): T[][];
+//#endregion
+//#region src/utils/array/arrayZip.d.ts
+/**
+ * 数组解压
+ * - `arrayZip` 的反向操作
+ *
+ * @param arrays 压缩后的数组
+ * @returns 解压后的二维数组
+ * @example
+ * ```ts
+ * arrayUnzip([[1, "a"], [2, "b"]]); // [[1, 2], ["a", "b"]]
+ * ```
+ */
+declare function arrayUnzip<T>(arrays: readonly (readonly T[])[]): T[][];
+/**
+ * 数组压缩
+ * - 将多个数组的元素按索引组合成元组
+ *
+ * @param arrays 多个数组
+ * @returns 压缩后的元组数组
+ * @example
+ * ```ts
+ * arrayZip([1, 2], ["a", "b"]); // [[1, "a"], [2, "b"]]
+ * ```
+ */
+declare function arrayZip<T1, T2, T3, T4, T5>(array1: readonly T1[], array2: readonly T2[], array3: readonly T3[], array4: readonly T4[], array5: readonly T5[]): [T1, T2, T3, T4, T5][];
+declare function arrayZip<T1, T2, T3, T4>(array1: readonly T1[], array2: readonly T2[], array3: readonly T3[], array4: readonly T4[]): [T1, T2, T3, T4][];
+declare function arrayZip<T1, T2, T3>(array1: readonly T1[], array2: readonly T2[], array3: readonly T3[]): [T1, T2, T3][];
+declare function arrayZip<T1, T2>(array1: readonly T1[], array2: readonly T2[]): [T1, T2][];
+declare function arrayZip(): [];
+//#endregion
+//#region src/utils/array/arrayZipToObject.d.ts
+/**
+ * 数组压缩为对象
+ * - 将键数组和值（数组、函数或静态值）组合成对象
+ *
+ * @param keys 键数组
+ * @param values 值数组、生成值的函数或静态值
+ * @returns 生成的对象
+ * @example
+ * ```ts
+ * arrayZipToObject(["a", "b"], [1, 2]); // { a: 1, b: 2 }
+ * arrayZipToObject(["a", "b"], (k, i) => k + i); // { a: "a0", b: "b1" }
+ * arrayZipToObject(["a", "b"], 1); // { a: 1, b: 1 }
+ * ```
+ */
+declare function arrayZipToObject<const K$1 extends PropertyKey, const V$1>(keys: readonly K$1[], array: readonly V$1[]): Record<K$1, V$1>;
+declare function arrayZipToObject<const K$1 extends PropertyKey, const V$1>(keys: readonly K$1[], match: ((key: K$1, index: number) => V$1)): Record<K$1, V$1>;
+declare function arrayZipToObject<const K$1 extends PropertyKey, const V$1>(keys: readonly K$1[], value: V$1): Record<K$1, V$1>;
+//#endregion
+//#region src/utils/device/isBrowser.d.ts
+declare function isBrowser(): boolean;
+declare function isWebWorker(): boolean;
+//#endregion
+//#region src/utils/device/isMobile.d.ts
+/**
+ * 检测当前设备是否为移动设备
+ *
+ * @param maxWidth - 移动设备最大宽度（默认 768px）
+ * @param dpi - 标准 DPI 基准（默认 160）
+ * @returns 是否为移动设备
+ * @example
+ * ```ts
+ * // 假设 window.innerWidth = 500
+ * isMobile(); // true
+ * ```
+ */
+declare function isMobile(maxWidth?: number, dpi?: number): boolean;
+/**
+ * 检测当前设备是否为IOS移动设备
+ *
+ * @param maxWidth - 移动设备最大宽度（默认 768px）
+ * @param dpi - 标准 DPI 基准（默认 160）
+ * @returns 是否为 iOS 移动设备 (iPhone/iPad/iPod 且非平板)
+ * @example
+ * ```ts
+ * // UA contains iPhone
+ * isIOSMobile(); // true
+ * ```
+ */
+declare function isIOSMobile(maxWidth?: number, dpi?: number): boolean;
+//#endregion
+//#region src/utils/device/isTablet.d.ts
+/**
+ * 检测当前设备是否为平板
+ *
+ * @param minWidth - 平板最小宽度（默认 768px）
+ * @param maxWidth - 平板最大宽度（默认 1200px）
+ * @param dpi - 标准 DPI 基准（默认 160）
+ * @returns 是否为平板设备
+ * @example
+ * ```ts
+ * // 假设 window.innerWidth = 1000
+ * isTablet(); // true
+ * ```
+ */
+declare function isTablet(minWidth?: number, maxWidth?: number, dpi?: number): boolean;
+//#endregion
+//#region src/utils/function/to.d.ts
+/**
+ *将 Promise 转换为 `[err, result]` 格式，方便 async/await 错误处理
+ *
+ * @param promise 待处理的 Promise
+ * @param errorExt 附加到 error 对象的扩展信息（注意：如果原 error 是 Error 实例，扩展属性可能会覆盖或无法正确合并非枚举属性）
+ * @returns `[err, null]` 或 `[null, data]`
+ * @example
+ * ```ts
+ * const [err, data] = await to(someAsyncFunc());
+ * if (err) return;
+ * console.log(data);
+ * ```
+ */
+declare function to<T, U$1 = Error>(promise: Readonly<Promise<T>>, errorExt?: PlainObject): Promise<[U$1, undefined] | [null, T]>;
+//#endregion
+//#region src/utils/math/toMathBignumber.d.ts
+/**
+ * 将任意类型的值转换为 `math.bignumber`
+ *
+ * @param mathJsInstance mathJs 实例
+ * @param value 任意类型的值
+ * @param saveValue 安全值
+ * @returns 转换后的 BigNumber
+ * @example
+ * ```ts
+ * import { create, all } from "mathjs";
+ * const math = create(all);
+ * toMathBignumber(math, "0.1");
+ * ```
+ */
+declare function toMathBignumber(mathJsInstance: MathJsInstance, value: unknown, saveValue?: BigNumber | undefined): BigNumber;
+//#endregion
+//#region src/utils/math/toMathDecimal.d.ts
+/**
+ * 将任意类型的值转换为十进制数字字符串
+ *
+ * @param mathJsInstance mathJs 实例
+ * @param value 任意类型的值
+ * @param precision 精度
+ * @param isFormat 是否格式化为字符串
+ * @returns 格式化后的字符串或 BigNumber
+ * @example
+ * ```ts
+ * toMathDecimal(math, 0.12345, 2); // "0.12"
+ * ```
+ */
+declare function toMathDecimal(mathJsInstance: MathJsInstance, value: unknown, precision?: number | undefined, isFormat?: true): string;
+declare function toMathDecimal(mathJsInstance: MathJsInstance, value: unknown, precision?: number | undefined, isFormat?: false): BigNumber;
+//#endregion
+//#region src/utils/math/toMathEvaluate.d.ts
+/**
+ * 数学表达式求值
+ *
+ * @param mathJsInstance mathJs 实例
+ * @param expr 表达式
+ * @param scope 键值映射
+ * @returns 计算结果的字符串表示
+ * @example
+ * ```ts
+ * toMathEvaluate(math, "a + b", { a: 1, b: 2 }); // "3"
+ * ```
+ */
+declare function toMathEvaluate(mathJsInstance: MathJsInstance, expr: MathExpression | Matrix, scope?: Record<string, BigNumber>): string;
+//#endregion
+//#region src/utils/number/isWithinInterval.d.ts
+/**
+ * 数字区间检查函数
+ *
+ * @param input 待检查数字
+ * @param interval 由两个数字组成的元组 [left, right]
+ * @param includeLeft 是否包含左边界（默认 true）
+ * @param includeRight 是否包含右边界（默认 false）
+ * @returns 是否在区间内
+ * @example
+ * ```ts
+ * isWithinInterval(5, [1, 10]); // true
+ * isWithinInterval(1, [1, 10], false); // false
+ * ```
+ */
+declare function isWithinInterval(input: number, interval: [number, number], includeLeft?: boolean, includeRight?: boolean): boolean;
+//#endregion
+//#region src/utils/object/cloneDeep.d.ts
+interface CloningStrategy {
+  cloneMap: typeof cloneMap;
+  cloneSet: typeof cloneSet;
+  cloneDate: typeof cloneDate;
+  cloneArray: typeof cloneArray;
+  cloneObject: typeof cloneObject;
+  cloneOther: typeof cloneOther;
+}
+declare function cloneMap<K$1, V$1>(input: Map<K$1, V$1>, track: (newParent: Map<K$1, V$1>) => Map<K$1, V$1>, clone: <T>(value: T) => T): Map<K$1, V$1>;
+declare function cloneSet<T>(input: Set<T>, track: (newParent: Set<T>) => Set<T>, clone: <T>(value: T) => T): Set<T>;
+declare function cloneDate(input: Date, track: (newParent: Date) => Date): Date;
+declare function cloneArray<T>(input: readonly T[], track: (newParent: T[]) => T[], clone: <T>(value: T) => T): T[];
+declare function cloneObject<T extends AnyObject>(input: T, track: (newParent: T) => T, clone: <T>(value: T) => T): T;
+declare function cloneOther<T>(input: T, track: (newParent: T) => T): T;
+/**
+ * 深度拷贝对象
+ * - 支持 Array, Object, Map, Set
+ * - 自动处理循环引用
+ *
+ * @param root 需要拷贝的对象
+ * @param customStrategy 自定义拷贝策略
+ * @returns 拷贝后的对象
+ * @example
+ * ```ts
+ * const original = { a: 1, b: { c: 2 } };
+ * const copy = cloneDeep(original);
+ * copy.b.c = 3;
+ * // original.b.c === 2
+ * ```
+ * @reference https://github.com/radashi-org/radashi/blob/main/src/object/cloneDeep.ts
+ */
+declare function cloneDeep<T extends AnyObject>(root: T, customStrategy?: Partial<CloningStrategy>): T;
 //#endregion
 //#region src/utils/object/enumEntries.d.ts
 /**
  * 返回枚举的属性的键/值数组
  *
- * @param enumeration 枚举
+ * @param enumeration 枚举对象
+ * @returns 键值对数组
+ * @example
+ * ```ts
+ * enum A { k = "v" }
+ * enumEntries(A); // [["k", "v"]]
+ * ```
  */
-declare function enumEntries<E extends AnyObject>(enumeration: NonEmptyObject<E>): [keyof E, E[keyof E]][];
+declare function enumEntries<E extends PlainObject>(enumeration: E): [keyof E, E[keyof E]][];
+declare function enumEntries<E extends AnyObject>(enumeration: E): [keyof E, E[keyof E]][];
 //#endregion
 //#region src/utils/object/enumKeys.d.ts
 /**
  * 获取枚举所有属性的键
  *
- * @param enumeration 枚举
+ * @param enumeration 枚举对象
+ * @returns 键数组
+ * @example
+ * ```ts
+ * enum A { k = "v" }
+ * enumKeys(A); // ["k"]
+ * ```
  */
-declare function enumKeys<E extends AnyObject>(enumeration: NonEmptyObject<E>): [keyof E, ...(keyof E)[]];
-//#endregion
-//#region src/utils/object/enumTypeCheck.d.ts
-declare function enumTypeCheck<E extends AnyObject>(enumeration: E): E & Record<PropertyKey, unknown>;
+declare function enumKeys<E extends PlainObject>(enumeration: E): (keyof E)[];
+declare function enumKeys<E extends AnyObject>(enumeration: E): (keyof E)[];
 //#endregion
 //#region src/utils/object/enumValues.d.ts
 /**
  * 获取枚举所有属性的值
  *
- * @param enumeration 枚举
+ * @param enumeration 枚举对象
+ * @returns 值数组
+ * @example
+ * ```ts
+ * enum A { k = "v" }
+ * enumValues(A); // ["v"]
+ * ```
  */
-declare function enumValues<E extends AnyObject>(enumeration: NonEmptyObject<E>): UnionToTuple<ValueOf<E>>;
+declare function enumValues<E extends PlainObject>(enumeration: E): UnionToTuple<ValueOf<E>>;
+declare function enumValues<E extends AnyObject>(enumeration: E): UnionToTuple<ValueOf<E>>;
 //#endregion
 //#region src/utils/object/mapEntries.d.ts
-declare function mapEntries<K$1 extends PropertyKey, V, NK extends PropertyKey, NV>(obj: PlainObject<K$1, V>, toEntry: (key: K$1, value: V) => [NK, NV]): PlainObject<NK, NV>;
+/**
+ * 映射对象条目
+ * - 将对象的键值对映射为新的键值对
+ *
+ * @param obj 对象
+ * @param toEntry 映射函数
+ * @returns 映射后的新对象
+ * @example
+ * ```ts
+ * const obj = { a: 1, b: 2 };
+ * mapEntries(obj, (k, v) => [k, v * 2]); // { a: 2, b: 4 }
+ * ```
+ */
+declare function mapEntries<K$1 extends PropertyKey, V$1, NK extends PropertyKey, NV>(obj: PlainObject<K$1, V$1>, toEntry: (key: K$1, value: V$1) => [NK, NV]): PlainObject<NK, NV>;
 //#endregion
-//#region node_modules/.pnpm/radashi@12.7.1/node_modules/radashi/dist/radashi.d.cts
+//#region node_modules/.pnpm/radashi@12.7.2/node_modules/radashi/dist/radashi.d.cts
 
 interface BigInt {
   /**
@@ -2069,61 +2071,712 @@ TOverride | (IsOptional extends true ? TInitial : never) : Extract<TOverride, ob
  * original.b === cloned.b
  * // => true
  * ```
- * @version 12.1.0
+ * @version 12.1.0
+ */
+//#endregion
+//#region src/utils/object/objectAssign.d.ts
+/**
+ * 递归地将第二个对象合并到第一个对象的副本中
+ * - 只有普通对象才会递归合并
+ *
+ * @param initial 初始对象
+ * @param override 待合并对象
+ * @returns 合并后的新对象
+ * @example
+ * ```ts
+ * const base = { a: 1, b: { c: 2 } };
+ * const override = { b: { d: 3 } };
+ * objectAssign(base, override); // { a: 1, b: { c: 2, d: 3 } }
+ * ```
+ */
+declare function objectAssign<I$1 extends PlainObject, O extends PlainObject>(initial: I$1, override: O): Assign<I$1, O>;
+declare function objectAssign<I$1 extends AnyObject, O extends AnyObject>(initial: I$1, override: O): Assign<I$1, O>;
+//#endregion
+//#region src/utils/object/objectCrush.d.ts
+type Crush<T> = T extends readonly (infer U)[] ? Record<string, U extends object ? unknown : U> : Simplify<UnionToIntersection<keyof T extends infer Prop ? Prop extends keyof T ? T[Prop] extends infer Value ? ([Extract<Value, object>] extends [never] ? never : Record<string, unknown>) | ([Exclude<Value, object>] extends [never] ? never : [Extract<Value, object>] extends [never] ? { [P in Prop]: Value } : Record<string, unknown>) : never : never : never>>;
+/**
+ * 压平对象
+ * - 将多层级的对象转换为单层级的对象，键名使用点号连接
+ *
+ * @param plainObject 平面对象
+ * @returns 压平后的对象
+ * @example
+ * ```ts
+ * const obj = { a: { b: 1 } };
+ * objectCrush(obj); // { "a.b": 1 }
+ * ```
+ */
+declare function objectCrush<T extends PlainObject>(plainObject: T): Crush<T>;
+declare function objectCrush<T extends AnyObject>(anyObject: T): Crush<T>;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Any/Key.d.ts
+/**
+ * Describes index keys for any type
+ */
+declare type Key$1 = string | number | symbol;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/List.d.ts
+/**
+ * A [[List]]
+ * @param A its type
+ * @returns [[List]]
+ * @example
+ * ```ts
+ * type list0 = [1, 2, 3]
+ * type list1 = number[]
+ * ```
+ */
+declare type List<A$1 = any> = ReadonlyArray<A$1>;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Any/Cast.d.ts
+/**
+ * Ask TS to re-check that `A1` extends `A2`.
+ * And if it fails, `A2` will be enforced anyway.
+ * Can also be used to add constraints on parameters.
+ * @param A1 to check against
+ * @param A2 to cast to
+ * @returns `A1 | A2`
+ * @example
+ * ```ts
+ * import {A} from 'ts-toolbelt'
+ *
+ * type test0 = A.Cast<'42', string> // '42'
+ * type test1 = A.Cast<'42', number> // number
+ * ```
+ */
+declare type Cast<A1 extends any, A2 extends any> = A1 extends A2 ? A1 : A2;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Object/_Internal.d.ts
+/**
+ * Describes the permissions/modifiers fields can have
+ * `R`: readonly
+ * `W`: writable
+ * `!`: required
+ * `?`: optional
+ */
+declare type Modx = ['?' | '!', 'W' | 'R'];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Any/Compute.d.ts
+/**
+ * @hidden
+ */
+declare type ComputeRaw<A$1 extends any> = A$1 extends Function ? A$1 : { [K in keyof A$1]: A$1[K] } & unknown;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Any/Extends.d.ts
+/**
+ * Check whether `A1` is part of `A2` or not. The difference with
+ * `extends` is that it forces a [[Boolean]] return.
+ * @param A1
+ * @param A2
+ * @returns [[Boolean]]
+ * @example
+ * ```ts
+ * import {A} from 'ts-toolbelt'
+ *
+ * type test0 = A.Extends<'a' | 'b', 'b'> // Boolean
+ * type test1 = A.Extends<'a', 'a' | 'b'> // True
+ *
+ * type test2 = A.Extends<{a: string}, {a: any}>      // True
+ * type test3 = A.Extends<{a: any}, {a: any, b: any}> // False
+ *
+ * type test4 = A.Extends<never, never> // False
+ * /// Nothing cannot extend nothing, use `A.Equals`
+ * ```
+ */
+declare type Extends<A1 extends any, A2 extends any> = [A1] extends [never] ? 0 : A1 extends A2 ? 1 : 0;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Iteration/Iteration.d.ts
+/**
+ * An entry of `IterationMap`
+ */
+declare type Iteration = [value: number, sign: '-' | '0' | '+', prev: keyof IterationMap, next: keyof IterationMap, oppo: keyof IterationMap];
+declare type IterationMap = {
+  '__': [number, '-' | '0' | '+', '__', '__', '__'];
+  '-100': [-100, '-', '__', '-99', '100'];
+  '-99': [-99, '-', '-100', '-98', '99'];
+  '-98': [-98, '-', '-99', '-97', '98'];
+  '-97': [-97, '-', '-98', '-96', '97'];
+  '-96': [-96, '-', '-97', '-95', '96'];
+  '-95': [-95, '-', '-96', '-94', '95'];
+  '-94': [-94, '-', '-95', '-93', '94'];
+  '-93': [-93, '-', '-94', '-92', '93'];
+  '-92': [-92, '-', '-93', '-91', '92'];
+  '-91': [-91, '-', '-92', '-90', '91'];
+  '-90': [-90, '-', '-91', '-89', '90'];
+  '-89': [-89, '-', '-90', '-88', '89'];
+  '-88': [-88, '-', '-89', '-87', '88'];
+  '-87': [-87, '-', '-88', '-86', '87'];
+  '-86': [-86, '-', '-87', '-85', '86'];
+  '-85': [-85, '-', '-86', '-84', '85'];
+  '-84': [-84, '-', '-85', '-83', '84'];
+  '-83': [-83, '-', '-84', '-82', '83'];
+  '-82': [-82, '-', '-83', '-81', '82'];
+  '-81': [-81, '-', '-82', '-80', '81'];
+  '-80': [-80, '-', '-81', '-79', '80'];
+  '-79': [-79, '-', '-80', '-78', '79'];
+  '-78': [-78, '-', '-79', '-77', '78'];
+  '-77': [-77, '-', '-78', '-76', '77'];
+  '-76': [-76, '-', '-77', '-75', '76'];
+  '-75': [-75, '-', '-76', '-74', '75'];
+  '-74': [-74, '-', '-75', '-73', '74'];
+  '-73': [-73, '-', '-74', '-72', '73'];
+  '-72': [-72, '-', '-73', '-71', '72'];
+  '-71': [-71, '-', '-72', '-70', '71'];
+  '-70': [-70, '-', '-71', '-69', '70'];
+  '-69': [-69, '-', '-70', '-68', '69'];
+  '-68': [-68, '-', '-69', '-67', '68'];
+  '-67': [-67, '-', '-68', '-66', '67'];
+  '-66': [-66, '-', '-67', '-65', '66'];
+  '-65': [-65, '-', '-66', '-64', '65'];
+  '-64': [-64, '-', '-65', '-63', '64'];
+  '-63': [-63, '-', '-64', '-62', '63'];
+  '-62': [-62, '-', '-63', '-61', '62'];
+  '-61': [-61, '-', '-62', '-60', '61'];
+  '-60': [-60, '-', '-61', '-59', '60'];
+  '-59': [-59, '-', '-60', '-58', '59'];
+  '-58': [-58, '-', '-59', '-57', '58'];
+  '-57': [-57, '-', '-58', '-56', '57'];
+  '-56': [-56, '-', '-57', '-55', '56'];
+  '-55': [-55, '-', '-56', '-54', '55'];
+  '-54': [-54, '-', '-55', '-53', '54'];
+  '-53': [-53, '-', '-54', '-52', '53'];
+  '-52': [-52, '-', '-53', '-51', '52'];
+  '-51': [-51, '-', '-52', '-50', '51'];
+  '-50': [-50, '-', '-51', '-49', '50'];
+  '-49': [-49, '-', '-50', '-48', '49'];
+  '-48': [-48, '-', '-49', '-47', '48'];
+  '-47': [-47, '-', '-48', '-46', '47'];
+  '-46': [-46, '-', '-47', '-45', '46'];
+  '-45': [-45, '-', '-46', '-44', '45'];
+  '-44': [-44, '-', '-45', '-43', '44'];
+  '-43': [-43, '-', '-44', '-42', '43'];
+  '-42': [-42, '-', '-43', '-41', '42'];
+  '-41': [-41, '-', '-42', '-40', '41'];
+  '-40': [-40, '-', '-41', '-39', '40'];
+  '-39': [-39, '-', '-40', '-38', '39'];
+  '-38': [-38, '-', '-39', '-37', '38'];
+  '-37': [-37, '-', '-38', '-36', '37'];
+  '-36': [-36, '-', '-37', '-35', '36'];
+  '-35': [-35, '-', '-36', '-34', '35'];
+  '-34': [-34, '-', '-35', '-33', '34'];
+  '-33': [-33, '-', '-34', '-32', '33'];
+  '-32': [-32, '-', '-33', '-31', '32'];
+  '-31': [-31, '-', '-32', '-30', '31'];
+  '-30': [-30, '-', '-31', '-29', '30'];
+  '-29': [-29, '-', '-30', '-28', '29'];
+  '-28': [-28, '-', '-29', '-27', '28'];
+  '-27': [-27, '-', '-28', '-26', '27'];
+  '-26': [-26, '-', '-27', '-25', '26'];
+  '-25': [-25, '-', '-26', '-24', '25'];
+  '-24': [-24, '-', '-25', '-23', '24'];
+  '-23': [-23, '-', '-24', '-22', '23'];
+  '-22': [-22, '-', '-23', '-21', '22'];
+  '-21': [-21, '-', '-22', '-20', '21'];
+  '-20': [-20, '-', '-21', '-19', '20'];
+  '-19': [-19, '-', '-20', '-18', '19'];
+  '-18': [-18, '-', '-19', '-17', '18'];
+  '-17': [-17, '-', '-18', '-16', '17'];
+  '-16': [-16, '-', '-17', '-15', '16'];
+  '-15': [-15, '-', '-16', '-14', '15'];
+  '-14': [-14, '-', '-15', '-13', '14'];
+  '-13': [-13, '-', '-14', '-12', '13'];
+  '-12': [-12, '-', '-13', '-11', '12'];
+  '-11': [-11, '-', '-12', '-10', '11'];
+  '-10': [-10, '-', '-11', '-9', '10'];
+  '-9': [-9, '-', '-10', '-8', '9'];
+  '-8': [-8, '-', '-9', '-7', '8'];
+  '-7': [-7, '-', '-8', '-6', '7'];
+  '-6': [-6, '-', '-7', '-5', '6'];
+  '-5': [-5, '-', '-6', '-4', '5'];
+  '-4': [-4, '-', '-5', '-3', '4'];
+  '-3': [-3, '-', '-4', '-2', '3'];
+  '-2': [-2, '-', '-3', '-1', '2'];
+  '-1': [-1, '-', '-2', '0', '1'];
+  '0': [0, '0', '-1', '1', '0'];
+  '1': [1, '+', '0', '2', '-1'];
+  '2': [2, '+', '1', '3', '-2'];
+  '3': [3, '+', '2', '4', '-3'];
+  '4': [4, '+', '3', '5', '-4'];
+  '5': [5, '+', '4', '6', '-5'];
+  '6': [6, '+', '5', '7', '-6'];
+  '7': [7, '+', '6', '8', '-7'];
+  '8': [8, '+', '7', '9', '-8'];
+  '9': [9, '+', '8', '10', '-9'];
+  '10': [10, '+', '9', '11', '-10'];
+  '11': [11, '+', '10', '12', '-11'];
+  '12': [12, '+', '11', '13', '-12'];
+  '13': [13, '+', '12', '14', '-13'];
+  '14': [14, '+', '13', '15', '-14'];
+  '15': [15, '+', '14', '16', '-15'];
+  '16': [16, '+', '15', '17', '-16'];
+  '17': [17, '+', '16', '18', '-17'];
+  '18': [18, '+', '17', '19', '-18'];
+  '19': [19, '+', '18', '20', '-19'];
+  '20': [20, '+', '19', '21', '-20'];
+  '21': [21, '+', '20', '22', '-21'];
+  '22': [22, '+', '21', '23', '-22'];
+  '23': [23, '+', '22', '24', '-23'];
+  '24': [24, '+', '23', '25', '-24'];
+  '25': [25, '+', '24', '26', '-25'];
+  '26': [26, '+', '25', '27', '-26'];
+  '27': [27, '+', '26', '28', '-27'];
+  '28': [28, '+', '27', '29', '-28'];
+  '29': [29, '+', '28', '30', '-29'];
+  '30': [30, '+', '29', '31', '-30'];
+  '31': [31, '+', '30', '32', '-31'];
+  '32': [32, '+', '31', '33', '-32'];
+  '33': [33, '+', '32', '34', '-33'];
+  '34': [34, '+', '33', '35', '-34'];
+  '35': [35, '+', '34', '36', '-35'];
+  '36': [36, '+', '35', '37', '-36'];
+  '37': [37, '+', '36', '38', '-37'];
+  '38': [38, '+', '37', '39', '-38'];
+  '39': [39, '+', '38', '40', '-39'];
+  '40': [40, '+', '39', '41', '-40'];
+  '41': [41, '+', '40', '42', '-41'];
+  '42': [42, '+', '41', '43', '-42'];
+  '43': [43, '+', '42', '44', '-43'];
+  '44': [44, '+', '43', '45', '-44'];
+  '45': [45, '+', '44', '46', '-45'];
+  '46': [46, '+', '45', '47', '-46'];
+  '47': [47, '+', '46', '48', '-47'];
+  '48': [48, '+', '47', '49', '-48'];
+  '49': [49, '+', '48', '50', '-49'];
+  '50': [50, '+', '49', '51', '-50'];
+  '51': [51, '+', '50', '52', '-51'];
+  '52': [52, '+', '51', '53', '-52'];
+  '53': [53, '+', '52', '54', '-53'];
+  '54': [54, '+', '53', '55', '-54'];
+  '55': [55, '+', '54', '56', '-55'];
+  '56': [56, '+', '55', '57', '-56'];
+  '57': [57, '+', '56', '58', '-57'];
+  '58': [58, '+', '57', '59', '-58'];
+  '59': [59, '+', '58', '60', '-59'];
+  '60': [60, '+', '59', '61', '-60'];
+  '61': [61, '+', '60', '62', '-61'];
+  '62': [62, '+', '61', '63', '-62'];
+  '63': [63, '+', '62', '64', '-63'];
+  '64': [64, '+', '63', '65', '-64'];
+  '65': [65, '+', '64', '66', '-65'];
+  '66': [66, '+', '65', '67', '-66'];
+  '67': [67, '+', '66', '68', '-67'];
+  '68': [68, '+', '67', '69', '-68'];
+  '69': [69, '+', '68', '70', '-69'];
+  '70': [70, '+', '69', '71', '-70'];
+  '71': [71, '+', '70', '72', '-71'];
+  '72': [72, '+', '71', '73', '-72'];
+  '73': [73, '+', '72', '74', '-73'];
+  '74': [74, '+', '73', '75', '-74'];
+  '75': [75, '+', '74', '76', '-75'];
+  '76': [76, '+', '75', '77', '-76'];
+  '77': [77, '+', '76', '78', '-77'];
+  '78': [78, '+', '77', '79', '-78'];
+  '79': [79, '+', '78', '80', '-79'];
+  '80': [80, '+', '79', '81', '-80'];
+  '81': [81, '+', '80', '82', '-81'];
+  '82': [82, '+', '81', '83', '-82'];
+  '83': [83, '+', '82', '84', '-83'];
+  '84': [84, '+', '83', '85', '-84'];
+  '85': [85, '+', '84', '86', '-85'];
+  '86': [86, '+', '85', '87', '-86'];
+  '87': [87, '+', '86', '88', '-87'];
+  '88': [88, '+', '87', '89', '-88'];
+  '89': [89, '+', '88', '90', '-89'];
+  '90': [90, '+', '89', '91', '-90'];
+  '91': [91, '+', '90', '92', '-91'];
+  '92': [92, '+', '91', '93', '-92'];
+  '93': [93, '+', '92', '94', '-93'];
+  '94': [94, '+', '93', '95', '-94'];
+  '95': [95, '+', '94', '96', '-95'];
+  '96': [96, '+', '95', '97', '-96'];
+  '97': [97, '+', '96', '98', '-97'];
+  '98': [98, '+', '97', '99', '-98'];
+  '99': [99, '+', '98', '100', '-99'];
+  '100': [100, '+', '99', '__', '-100'];
+};
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Iteration/Prev.d.ts
+/**
+ * Move `I`'s position backwards
+ * @param I to move
+ * @returns [[Iteration]]
+ * @example
+ * ```ts
+ * import {I} from 'ts-toolbelt'
+ *
+ * type i = I.IterationOf<'20'>
+ *
+ * type test0 = I.Pos<i>         // 20
+ * type test1 = I.Pos<I.Prev<i>> // 19
+ * ```
+ */
+declare type Prev<I$1 extends Iteration> = IterationMap[I$1[2]];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Iteration/IterationOf.d.ts
+/**
+ * Transform a number into an [[Iteration]]
+ * (to use [[Prev]], [[Next]], & [[Pos]])
+ * @param N to transform
+ * @returns [[Iteration]]
+ * @example
+ * ```ts
+ * import {I} from 'ts-toolbelt'
+ *
+ * type i = I.IterationOf<0> // ["-1", "1", "0", 0, "0"]
+ *
+ * type next = I.Next<i>       // ["0", "2", "1", 1, "+"]
+ * type prev = I.Prev<i>       // ["-2", "0", "-1", -1, "-"]
+ *
+ * type nnext = I.Pos<next>    // +1
+ * type nprev = I.Pos<prev>    // -1
+ * ```
+ */
+declare type IterationOf<N extends number> = `${N}` extends keyof IterationMap ? IterationMap[`${N}`] : IterationMap['__'];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Iteration/Pos.d.ts
+/**
+ * Get the position of `I` (**number**)
+ * @param I to query
+ * @returns `number`
+ * @example
+ * ```ts
+ * import {I} from 'ts-toolbelt'
+ *
+ * type i = I.IterationOf<'20'>
+ *
+ * type test0 = I.Pos<i>         // 20
+ * type test1 = I.Pos<I.Next<i>> // 21
+ * ```
+ */
+declare type Pos<I$1 extends Iteration> = I$1[0];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/Tail.d.ts
+/**
+ * Remove the first item out of a [[List]]
+ * @param L
+ * @returns [[List]]
+ * @example
+ * ```ts
+ * ```
+ */
+declare type Tail$1<L extends List> = L extends readonly [] ? L : L extends readonly [any?, ...infer LTail] ? LTail : L;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Union/IntersectOf.d.ts
+/**
+ * Transform a [[Union]] to an * *intersection**
+ * @param U to transform
+ * @returns `&`
+ * @example
+ * ```ts
+ * ```
+ */
+declare type IntersectOf<U$1 extends any> = (U$1 extends unknown ? (k: U$1) => void : never) extends ((k: infer I) => void) ? I : never;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Object/Overwrite.d.ts
+/**
+ * Update the fields of `O` with the ones of `O1`
+ * (only the existing fields will be updated)
+ * @param O to update
+ * @param O1 to update with
+ * @returns [[Object]]
+ * @example
+ * ```ts
+ * ```
+ */
+declare type Overwrite<O extends object, O1 extends object> = { [K in keyof O]: K extends keyof O1 ? O1[K] : O[K] } & {};
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/_Internal.d.ts
+/**
+ * Remove `?` & `readonly` from a [[List]]
+ */
+declare type Naked<L extends List> = Overwrite<Required<L>, L>;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/Prepend.d.ts
+/**
+ * Add an element `A` at the beginning of `L`
+ * @param L to append to
+ * @param A to be added to
+ * @returns [[List]]
+ * @example
+ * ```ts
+ * ```
+ */
+declare type Prepend<L extends List, A$1 extends any> = [A$1, ...L];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Iteration/_Internal.d.ts
+/**
+ * Describes how to perform iterations
+ */
+declare type Way = '->' | '<-';
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/Append.d.ts
+/**
+ * Add an element `A` at the end of `L`.
+ * @param L to append to
+ * @param A to be added to
+ * @returns [[List]]
+ * @example
+ * ```ts
+ * import {L} from 'ts-toolbelt'
+ *
+ * type test0 = L.Append<[1, 2, 3], 4> // [1, 2, 3, 4]
+ * type test1 = L.Append<[], 'a'> // ['a']
+ * type test2 = L.Append<readonly ['a', 'b'], 'c'> // ['a', 'b', 'c']
+ * type test3 = L.Append<[1, 2], [3, 4]> // [1, 2, [3, 4]]
+ * ```
+ */
+declare type Append<L extends List, A$1 extends any> = [...L, A$1];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Object/Record.d.ts
+/**
+ * Create an object filled with `A` for the fields `K`
+ * @param K to choose fields
+ * @param A (?=`unknown`) to fill fields with
+ * @param modx (?=`['!', 'W']`) to set modifiers
+ * @returns [[Object]]
+ * @example
+ * ```ts
+ * ```
+ */
+declare type Record$1<K$1 extends Key$1, A$1 extends any = unknown, modx extends Modx = ['!', 'W']> = {
+  '!': {
+    'R': { readonly [P in K$1]: A$1 };
+    'W': { [P in K$1]: A$1 };
+  };
+  '?': {
+    'R': { readonly [P in K$1]?: A$1 };
+    'W': { [P in K$1]?: A$1 };
+  };
+}[modx[0]][modx[1]];
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/Object/Invert.d.ts
+/**
+ * @hidden
+ */
+declare type _Invert<O extends Record$1<Key$1, Key$1>> = ComputeRaw<IntersectOf<{ [K in keyof O]: Record$1<O[K], K> }[keyof O]>>;
+/**
+ * Swaps the keys and values of an [[Object]] (if applicable)
+ * @param O
+ * @returns [[Object]]
+ * @example
+ * ```ts
+ * import {O} from 'ts-toolbelt'
+ *
+ * enum E {
+ *  A = 'Av',
+ *  B = 'Bv',
+ *  C = 'Cv',
+ *  D = 'Dv',
+ *  X = 1
+ * }
+ *
+ * type O = {
+ *  A: 'Av'
+ *  B: 'Bv'
+ *  C: 'Cv'
+ *  D: 'Dv'
+ *  X: 1
+ * }
+ *
+ * type test0 = O.Invert<typeof E>
+ * type test1 = O.Invert<O>
+ * ```
+ */
+declare type Invert<O extends Record$1<keyof O, Key$1>> = O extends unknown ? _Invert<O> : never;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/Drop.d.ts
+/**
+ * @hidden
+ */
+declare type DropForth<L extends List, N extends Iteration> = {
+  0: DropForth<Tail$1<L>, Prev<N>>;
+  1: L;
+}[Extends<0, Pos<N>>];
+/**
+ * @hidden
+ */
+declare type DropBack<L extends List, N extends Iteration, I$1 extends Iteration = Prev<N>, LN extends List = []> = {
+  0: DropBack<L, N, Prev<I$1>, Prepend<LN, L[Pos<I$1>]>>;
+  1: LN;
+}[Extends<-1, Pos<I$1>>];
+/**
+ * @hidden
+ */
+declare type __Drop<L extends List, N extends Iteration, way extends Way> = {
+  '->': DropForth<L, N>;
+  '<-': DropBack<L, N>;
+}[way];
+/**
+ * @hidden
+ */
+declare type _Drop<L extends List, N extends number, way extends Way = '->'> = __Drop<Naked<L>, IterationOf<N>, way> extends infer X ? Cast<X, List> : never;
+/**
+ * Remove `N` entries out of `L`
+ * @param L to remove from
+ * @param N to remove out
+ * @param way (?=`'->'`) from front: '->', from end: '<-'
+ * @returns [[List]]
+ * @example
+ * ```ts
+ * ```
+ */
+declare type Drop<L extends List, N extends number, way extends Way = '->'> = L extends unknown ? N extends unknown ? _Drop<L, N, way> : never : never;
+//#endregion
+//#region node_modules/.pnpm/ts-toolbelt@9.6.0/node_modules/ts-toolbelt/out/List/Take.d.ts
+/**
+ * starts in reverse from `N` till `N` = 0
+ * @hidden
+ */
+declare type TakeForth<L extends List, N extends Iteration, I$1 extends Iteration = Prev<N>, LN extends List = []> = {
+  0: TakeForth<L, N, Prev<I$1>, Prepend<LN, L[Pos<I$1>]>>;
+  1: LN;
+}[Extends<-1, Pos<I$1>>];
+/**
+ * starts in reverse from the end till `N` = 0
+ * @hidden
+ */
+declare type TakeBack<L extends List, N extends Iteration> = {
+  0: TakeBack<Tail$1<L>, Prev<N>>;
+  1: L;
+}[Extends<0, Pos<N>>];
+/**
+ * @hidden
+ */
+declare type __Take<L extends List, N extends Iteration, way extends Way> = {
+  '->': TakeForth<L, N>;
+  '<-': TakeBack<L, N>;
+}[way];
+/**
+ * @hidden
+ */
+declare type _Take<L extends List, N extends number, way extends Way = '->'> = __Take<L, IterationOf<N>, way> extends infer X ? Cast<X, List> : never;
+/**
+ * Extract `N` entries out of `L`
+ * @param L to extract from
+ * @param N to extract out
+ * @param way (?=`'->'`) to extract from end
+ * @returns [[List]]
+ * @example
+ * ```ts
+ * ```
  */
+declare type Take<L extends List, N extends number, way extends Way = '->'> = L extends unknown ? N extends unknown ? _Take<L, N, way> : never : never;
 //#endregion
-//#region src/utils/object/objectAssign.d.ts
+//#region src/types/index.type.d.ts
+type AnyArray<A$1 = any> = readonly A$1[];
+type Range<Start extends number, End extends number> = Exclude<keyof TupleOf<End>, keyof TupleOf<Start>>;
+type TupleToEntries<A$1 extends readonly unknown[]> = If<IsAny<A$1>, unknown, { [Key in keyof A$1]: [Key, A$1[Key]] }>;
+type Groups<L extends AnyArray, LN extends AnyArray = [], D extends number[] = []> = D["length"] extends 40 ? LN : {
+  0: Groups<Drop<L, 1>, Append<LN, [`${LN["length"]}`, Take<L, 1>]>, [...D, 0]>;
+  1: LN;
+}[Extends<L, AnyArray<never>>];
+type TupleToGroups<L extends AnyArray> = Groups<L> extends infer X ? Cast<X, AnyArray> : never;
+//#endregion
+//#region src/utils/object/objectEntries.d.ts
 /**
- * 递归地将第二个对象合并到第一个对象的副本中
- * - 只有普通对象才会递归合并
+ * 返回对象的可枚举属性的键/值数组
  *
- * @param initial 初始对象
- * @param override 待合并对象
+ * @param value 对象
+ * @returns 键值对数组
+ * @example
+ * ```ts
+ * objectEntries({ a: 1 }); // [["a", 1]]
+ * ```
  */
-declare function objectAssign<I$1 extends PlainObject, O extends PlainObject>(initial: I$1, override: O): Assign<I$1, O>;
-//#endregion
-//#region src/utils/object/objectCrush.d.ts
-type Crush<T> = T extends readonly (infer U)[] ? Record<string, U extends object ? unknown : U> : Simplify<UnionToIntersection<keyof T extends infer Prop ? Prop extends keyof T ? T[Prop] extends infer Value ? ([Extract<Value, object>] extends [never] ? never : Record<string, unknown>) | ([Exclude<Value, object>] extends [never] ? never : [Extract<Value, object>] extends [never] ? { [P in Prop]: Value } : Record<string, unknown>) : never : never : never>>;
-declare function objectCrush<T extends PlainObject>(value: T): Crush<T>;
+declare function objectEntries<const S extends string>(string: S): TupleToEntries<Split<S, "">>;
+declare function objectEntries<const A$1 extends readonly unknown[]>(array: A$1): TupleToGroups<A$1>;
+declare function objectEntries<const O extends PlainObject>(plainObject: O): [string & keyof O, O[keyof O]][];
+declare function objectEntries<const O extends AnyObject>(anyObject: O): [string & keyof O, O[keyof O]][];
 //#endregion
-//#region src/utils/object/objectEntries.d.ts
+//#region src/utils/object/objectInvert.d.ts
 /**
- * 返回对象的可枚举属性的键/值数组
+ * 尽可能地交换对象的键和值
+ *
+/**
+ * 尽可能地交换对象的键和值
  *
  * @param obj 对象
+ * @returns 键值互换后的对象
+ * @example
+ * ```ts
+ * const obj = { a: "1", b: 2 };
+ * objectInvert(obj); // { "1": "a", 2: "b" }
+ * ```
  */
-declare function objectEntries<O extends AnyObject>(obj: O): [string & keyof O, O[keyof O]][];
+declare function objectInvert<const O extends Record<keyof O, PropertyKey>>(plainObject: O): Invert<O>;
+declare function objectInvert<const O extends AnyObject>(anyObject: O): Invert<O>;
 //#endregion
 //#region src/utils/object/objectKeys.d.ts
 /**
- * 返回对象的可枚举属性和方法的名称
+ * 返回对象可枚举属性和方法的名称
  * - `Object.keys` 始终返回 `string[]` 类型，此函数可以返回具体类型
  *
- * @param obj 对象
+ * @param value 对象
+ * @returns 键数组
+ * @example
+ * ```ts
+ * objectKeys({ a: 1, b: 2 }); // ["a", "b"]
+ * ```
  */
-declare function objectKeys<O extends AnyObject>(obj: O): (keyof O)[];
+declare function objectKeys<const S extends string>(string: S): UnionToTuple<Range<0, Split<S, "">["length"]>>;
+declare function objectKeys<const A$1 extends ArrayLike<unknown>>(array: A$1): UnionToTuple<Range<0, A$1["length"]>>;
+declare function objectKeys<O extends PlainObject>(plainObject: O): `${Extract<keyof O, string | number>}`[];
+declare function objectKeys<O extends AnyObject>(anyObject: O): `${Extract<keyof O, string | number>}`[];
 //#endregion
-//#region src/utils/object/objectPick.d.ts
-declare function objectPick<O extends AnyObject, K$1 extends keyof O>(obj: O, keys: readonly K$1[]): Pick<O, K$1>;
+//#region src/utils/object/objectOmit.d.ts
+/**
+ * 排除对象的指定属性
+ *
+ * @param plainObject 对象
+ * @param keys 要排除的属性键数组
+ * @returns 排除指定属性后的新对象
+ * @example
+ * ```ts
+ * objectOmit({ a: 1, b: 2 }, ["a"]); // { b: 2 }
+ * ```
+ */
+declare function objectOmit<O extends PlainObject, K$1 extends keyof O>(plainObject: O, keys: readonly K$1[]): Omit<O, K$1>;
+declare function objectOmit<O extends AnyObject, K$1 extends keyof O>(anyObject: O, keys: readonly K$1[]): Omit<O, K$1>;
 //#endregion
-//#region src/utils/object/objectSwitch.d.ts
+//#region src/utils/object/objectPick.d.ts
 /**
- * 对象反转
- * - 返回交换了对象的可枚举属性的值/键对象
+ * 选取对象的指定属性
  *
- * @param obj 对象
+ * @param plainObject 对象
+ * @param keys 要选取的属性键数组
+ * @returns 包含指定属性的新对象
+ * @example
+ * ```ts
+ * objectPick({ a: 1, b: 2 }, ["a"]); // { a: 1 }
+ * ```
  */
-declare function objectSwitch<O extends AnyObject>(obj: NonEmptyObject<O>): Record<O[keyof O], keyof O>;
+declare function objectPick<O extends PlainObject, K$1 extends keyof O>(plainObject: O, keys: readonly K$1[]): Pick<O, K$1>;
+declare function objectPick<O extends AnyObject, K$1 extends keyof O>(anyObject: O, keys: readonly K$1[]): Pick<O, K$1>;
 //#endregion
 //#region src/utils/object/objectValues.d.ts
 /**
- * 返回对象的可枚举属性的值数组
+ * 返回对象可枚举属性的值的数组
  *
- * @param obj 对象
+ * @param value 对象
+ * @returns 值数组
+ * @example
+ * ```ts
+ * objectValues({ a: 1, b: 2 }); // [1, 2]
+ * ```
  */
-declare function objectValues<O extends AnyObject>(obj: O): UnionToTuple<ValueOf<O>>;
+declare function objectValues<S extends string>(string: S): Split<S, "">;
+declare function objectValues<A$1 extends ArrayLike<unknown>>(array: A$1): A$1;
+declare function objectValues<O extends PlainObject>(plainObject: O): UnionToTuple<ValueOf<O>>;
+declare function objectValues<O extends AnyObject>(anyObject: O): UnionToTuple<ValueOf<O>>;
 //#endregion
 //#region src/utils/string/stringInitialCase.d.ts
+/**
+ * 字符串首字母大小写
+ * - 包含非西欧字母字符时，不处理
+ * - 纯字母且全大写时，不处理
+ * - 纯字母且非全大写时，首字母小写，其余保留
+ * - 纯字母且非全大写时，首字母大写，其余保留
+ *
 /**
  * 字符串首字母大小写
  * - 包含非西欧字母字符时，不处理
@@ -2133,10 +2786,20 @@ declare function objectValues<O extends AnyObject>(obj: O): UnionToTuple<ValueOf
  *
  * @param input 待处理字符串
  * @param caseType 大小写类型
+ * @returns 处理后的字符串
+ * @example
+ * ```ts
+ * stringInitialCase("Hello", "lower"); // "hello"
+ * stringInitialCase("hello", "upper"); // "Hello"
+ * ```
  */
 declare function stringInitialCase(input: string, caseType?: "lower" | "upper" | undefined): string;
 //#endregion
 //#region src/utils/string/stringReplace.d.ts
+/**
+ * 字符串替换
+ * - 替换第一个匹配项
+ *
 /**
  * 字符串替换
  * - 替换第一个匹配项
@@ -2144,33 +2807,65 @@ declare function stringInitialCase(input: string, caseType?: "lower" | "upper" |
  * @param input 待处理字符串
  * @param search 匹配项
  * @param replacement 替换项
+ * @returns 替换后的字符串
+ * @example
+ * ```ts
+ * stringReplace("hello world", "world", "context"); // "hello context"
+ * ```
  */
 declare function stringReplace<I$1 extends string, S extends string, R$1 extends string>(input: I$1, search: S, replacement: R$1): Replace<I$1, S, R$1>;
 //#endregion
 //#region src/utils/string/stringTemplate.d.ts
+/**
+ * 字符串模板替换
+ *
 /**
  * 字符串模板替换
  *
  * @param input 待处理字符串
  * @param template 模板对象
- * @param regex 模板匹配正则
+ * @param regex 模板匹配正则 (默认: `\{\{(.+?)\}\}`)
+ * @returns 替换后的字符串
+ * @example
+ * ```ts
+ * stringTemplate("Hello {{name}}", { name: "World" }); // "Hello World"
+ * ```
  */
 declare function stringTemplate(input: string, template: PlainObject, regex?: RegExp): string;
 //#endregion
 //#region src/utils/string/stringToJson.d.ts
+/**
+ * 处理 JSON 字符串
+ *
 /**
  * 处理 JSON 字符串
  *
  * @param input 待处理字符串
- * @param safeValue 安全值
+ * @param safeValue 安全值 (当解析失败或输入无效时返回)
+ * @returns 解析后的对象 或 安全值
+ * @example
+ * ```ts
+ * stringToJson('{"a": 1}', {}); // { a: 1 }
+ * stringToJson('invalid', {}); // {}
+ * ```
  */
-declare function stringToJson<R$1 extends AnyObject = AnyObject, D extends R$1 = R$1>(input: string | null | undefined, safeValue: D): R$1;
+declare function stringToJson<D extends AnyObject = AnyObject>(input: string | null | undefined, safeValue: D): D;
 //#endregion
 //#region src/utils/string/stringToNumber.d.ts
 /**
  * 从字符串中提取数字字符串
  *
+/**
+ * 从字符串中提取数字字符串
+ * - 移除非数字字符，保留符号和小数点
+ *
  * @param input 待处理字符串
+ * @returns 提取出的数字字符串
+ * @example
+ * ```ts
+ * stringToNumber("$1,234.56"); // "1234.56"
+ * stringToNumber("abc-123"); // "-123"
+ * ```
  */
 declare function stringToNumber(input: string): string;
 //#endregion
@@ -2178,18 +2873,35 @@ declare function stringToNumber(input: string): string;
 /**
  * 将路径转换为 POSIX 风格
  *
+/**
+ * 将路径转换为 POSIX 风格
+ * - 统一使用正斜杠
+ * - 处理 Windows 盘符
+ *
  * @param input 待处理字符串
  * @param removeLeadingSlash 是否移除开头斜杠，默认为 `false`
+ * @returns 转换后的路径
+ * @example
+ * ```ts
+ * stringToPosix("C:\\Windows\\System32"); // "/Windows/System32"
+ * ```
  */
 declare function stringToPosix(input: string | null | undefined, removeLeadingSlash?: boolean): string;
 //#endregion
 //#region src/utils/string/stringToValues.d.ts
 /**
  * 字符串分割为数组
+ * - 按指定分隔符分割字符串，并转换类型
  *
  * @param input 待处理字符串
- * @param valueType 数组中每一项的类型
+ * @param valueType 数组中每一项的类型，默认为 "number"
  * @param splitSymbol 分隔符，默认为 `,`
+ * @returns 分割后的数组
+ * @example
+ * ```ts
+ * stringToValues("1,2,3"); // [1, 2, 3]
+ * stringToValues("a-b-c", "string", "-"); // ["a", "b", "c"]
+ * ```
  */
 declare function stringToValues(input: string | null | undefined, valueType?: "number" | undefined, splitSymbol?: string | undefined): number[];
 declare function stringToValues(input: string | null | undefined, valueType: "string", splitSymbol?: string | undefined): string[];
@@ -2200,20 +2912,47 @@ declare function stringToValues(input: string | null | undefined, valueType: "st
  *
  * @param input 待处理字符串
  * @param charsToTrim 裁切字符，默认为 `" "`
+ * @returns 裁切后的字符串
+ * @example
+ * ```ts
+ * stringTrim("  hello  "); // "hello"
+ * stringTrim("__hello__", "_"); // "hello"
+ * ```
  */
 declare function stringTrim(input: string | null | undefined, charsToTrim?: string): string;
 //#endregion
 //#region src/utils/string/stringTruncate.d.ts
+/**
 /**
  * 截取字符串
- * - 支持中英文混排，不会在汉字中间截断
+ * - 支持自定义省略符，不会截断在汉字中间（因为JS字符串本身按字符处理）
  *
  * @param input 待处理字符串
- * @param maxLength 最大长度
+ * @param maxLength 最大长度 (包含省略符)
  * @param ellipsis 省略符，默认为 `...`
+ * @returns 截取后的字符串
+ * @example
+ * ```ts
+ * stringTruncate("hello world", 8); // "hello..."
+ * ```
  */
 declare function stringTruncate(input: string, maxLength: number, ellipsis?: string): string;
 //#endregion
+//#region src/utils/time/timeZone.d.ts
+/**
+ * 获取当前时区信息
+ *
+ * @returns 时区信息对象 (UTC偏移和时区名称)
+ * @example
+ * ```ts
+ * getTimeZone(); // { UTC: "UTC+8", timeZone: "Asia/Shanghai" }
+ * ```
+ */
+declare function getTimeZone(): {
+  UTC: string;
+  timeZone: string;
+};
+//#endregion
 //#region src/utils/tree/types.d.ts
 type RowKey = "id";
 type ParentIdKey = "parentId";
@@ -2232,6 +2971,22 @@ interface BaseOptions<T, CK extends string> {
 //#region src/utils/tree/treeFilter.d.ts
 type TreeFilterOptions<T extends AnyObject, CK extends string = ChildrenKey> = BaseOptions<T, CK>;
 type TreeFilterCallback<T extends AnyObject> = (row: T, meta: BaseCallbackMeta<T>) => boolean;
+/**
+ * 过滤树节点
+ * - 返回新的树结构，包含所有回调返回 true 的节点
+ * - 如果父节点被过滤，则其子节点也会被过滤 (pre 策略下)
+ *
+ * @param tree 树结构数据
+ * @param callback 回调函数
+ * @param options 配置项 (childrenKey, strategy等)
+ * @returns 过滤后的树结构数组
+ * @example
+ * ```ts
+ * const tree = [{ id: 1, visible: true, children: [{ id: 2, visible: false }] }];
+ * treeFilter(tree, (node) => node.visible);
+ * // [{ id: 1, visible: true, children: [] }]
+ * ```
+ */
 declare function treeFilter<T extends AnyObject, CK extends string = ChildrenKey>(tree: T[], callback: TreeFilterCallback<T>, options?: TreeFilterOptions<T, CK>): T[];
 declare function treeFilter<T extends AnyObject, CK extends string = ChildrenKey>(tree: T, callback: TreeFilterCallback<T>, options?: TreeFilterOptions<T, CK>): T;
 //#endregion
@@ -2239,18 +2994,58 @@ declare function treeFilter<T extends AnyObject, CK extends string = ChildrenKey
 type TreeFindOptions<T extends AnyObject, CK extends string = ChildrenKey> = BaseOptions<T, CK>;
 type TreeFindCallback<T extends AnyObject> = (row: T, meta: BaseCallbackMeta<T>) => boolean;
 /**
- * 查找树节点，找到第一个返回非空值的节点
+ * 查找树节点
+ * - 返回第一个回调返回 true 的节点
+ *
+ * @param tree 树结构数据
+ * @param callback 回调函数
+ * @param options 配置项
+ * @returns 找到的节点，未找到则返回 undefined
+ * @example
+ * ```ts
+ * const tree = [{ id: 1, children: [{ id: 2 }] }];
+ * treeFind(tree, (node) => node.id === 2); // { id: 2, ... }
+ * ```
  */
 declare function treeFind<T extends AnyObject, CK extends string = ChildrenKey>(tree: T | T[], callback: TreeFindCallback<T>, options?: TreeFindOptions<T, CK>): T | undefined;
 //#endregion
 //#region src/utils/tree/treeForEach.d.ts
 type TreeForeachOptions<T extends AnyObject, CK extends string = ChildrenKey> = BaseOptions<T, CK>;
 type TreeForeachCallback<T extends AnyObject> = (row: T, meta: BaseCallbackMeta<T>) => void;
+/**
+ * 遍历树节点
+ *
+ * @param tree 树结构数据
+ * @param callback 回调函数
+ * @param options 配置项
+ * @example
+ * ```ts
+ * const tree = [{ id: 1, children: [{ id: 2 }] }];
+ * const ids: number[] = [];
+ * treeForEach(tree, (node) => ids.push(node.id));
+ * // ids: [1, 2] (pre-order default)
+ * ```
+ */
 declare function treeForEach<T extends AnyObject, CK extends string = ChildrenKey>(tree: T | T[], callback: TreeForeachCallback<T>, options?: TreeForeachOptions<T, CK>): void;
 //#endregion
 //#region src/utils/tree/treeMap.d.ts
 type TreeMapOptions<T extends AnyObject, CK extends string> = BaseOptions<T, CK>;
 type TreeMapCallback<R$1 extends AnyObject, T extends AnyObject> = (row: T, meta: BaseCallbackMeta<T>) => R$1;
+/**
+ * 映射树节点
+ * - 返回新的树结构，保持层级关系
+ *
+ * @param tree 树结构数据
+ * @param callback 回调函数 (返回映射后的节点内容)
+ * @param options 配置项
+ * @returns 映射后的树结构数组
+ * @example
+ * ```ts
+ * const tree = [{ id: 1, val: 10, children: [{ id: 2, val: 20 }] }];
+ * treeMap(tree, (node) => ({ ...node, val: node.val * 2 }));
+ * // [{ id: 1, val: 20, children: [{ id: 2, val: 40 }] }]
+ * ```
+ */
 declare function treeMap<R$1 extends AnyObject, T extends AnyObject, CK extends string = ChildrenKey>(tree: T[], callback: TreeMapCallback<R$1, T>, options?: TreeMapOptions<T, CK>): TreeLike<R$1, CK>[];
 declare function treeMap<R$1 extends AnyObject, T extends AnyObject, CK extends string = ChildrenKey>(tree: T, callback: TreeMapCallback<R$1, T>, options?: TreeMapOptions<T, CK>): TreeLike<R$1, CK>;
 //#endregion
@@ -2262,6 +3057,20 @@ interface RowsToTreeOptions<RK extends string = RowKey, PK extends string = Pare
 }
 /**
  * 行结构 转 树结构
+ * - 将平铺的数组转换为树形结构
+ *
+ * @param rows 行数据数组
+ * @param options 配置项
+ * @returns 树结构数组
+ * @example
+ * ```ts
+ * const rows = [
+ *   { id: 1, parentId: null },
+ *   { id: 2, parentId: 1 },
+ * ];
+ * rowsToTree(rows);
+ * // [{ id: 1, parentId: null, children: [{ id: 2, parentId: 1 }] }]
+ * ```
  */
 declare function rowsToTree<T extends AnyObject = AnyObject, CK extends string = ChildrenKey, R$1 = TreeLike<T, CK>, RK extends string = RowKey, PK extends string = ParentIdKey>(rows: T[], options?: RowsToTreeOptions<RK, PK, CK> | undefined): R$1[];
 //#endregion
@@ -2269,68 +3078,212 @@ declare function rowsToTree<T extends AnyObject = AnyObject, CK extends string =
 type TreeToRowsOptions<T extends AnyObject, CK extends string = ChildrenKey> = TreeForeachOptions<T, CK>;
 /**
  * 树结构 转 行结构
+ * - 将树形结构扁平化为数组
+ *
+ * @param tree 树结构数据 (单个节点或节点数组)
+ * @param options 配置项
+ * @returns 扁平化后的数组
+ * @example
+ * ```ts
+ * const tree = [{ id: 1, children: [{ id: 2 }] }];
+ * treeToRows(tree);
+ * // [{ id: 1, children: undefined }, { id: 2, children: undefined }]
+ * ```
  */
 declare function treeToRows<T extends AnyObject, CK extends string = ChildrenKey, R$1 extends AnyObject = SetOptional<T, CK>>(tree: T | T[], options?: TreeToRowsOptions<T, CK>): R$1[];
 //#endregion
 //#region src/utils/typeof/isAbortSignal.d.ts
+/**
+ * 检查 value 是否为 AbortSignal
+ * @param value 待检查值
+ * @returns 是否为 AbortSignal
+ */
 declare function isAbortSignal(value: unknown): value is AbortSignal;
 //#endregion
 //#region src/utils/typeof/isArray.d.ts
 type TypedArray = Int8Array | Uint8Array | Uint8ClampedArray | Int16Array | Uint16Array | Int32Array | Uint32Array | Float32Array | Float64Array | BigInt64Array | BigUint64Array;
+/**
+ * 检查 value 是否为数组
+ *
+ * @param value 待检查值
+ * @returns 是否为数组
+ * @example
+ * ```ts
+ * isArray([]); // true
+ * ```
+ */
 declare function isArray(value: unknown): value is unknown[];
+/**
+ * 检查 value 是否为 TypedArray
+ *
+ * @param value 待检查值
+ * @returns 是否为 TypedArray
+ * @example
+ * ```ts
+ * isTypedArray(new Int8Array()); // true
+ * ```
+ */
 declare function isTypedArray(value: unknown): value is TypedArray;
 //#endregion
 //#region src/utils/typeof/isBigInt.d.ts
+/**
+ * 检查 value 是否为 BigInt
+ * @param value 待检查值
+ * @returns 是否为 BigInt
+ */
 declare function isBigInt(value: unknown): value is bigint;
 //#endregion
 //#region src/utils/typeof/isBlob.d.ts
+/**
+ * 检查 value 是否为 Blob
+ * @param value 待检查值
+ * @returns 是否为 Blob
+ */
 declare function isBlob(value: unknown): value is Blob;
+declare function isFile(value: unknown): value is File;
 //#endregion
 //#region src/utils/typeof/isBoolean.d.ts
+/**
+ * 检查 value 是否为 Boolean
+ * @param value 待检查值
+ * @returns 是否为 Boolean
+ */
 declare function isBoolean(value: unknown): value is boolean;
 //#endregion
 //#region src/utils/typeof/isClass.d.ts
+/**
+ * 检查 value 是否为 Class
+ *
+ * @param value 待检查值
+ * @returns 是否为 Class
+ * @example
+ * ```ts
+ * class A {}
+ * isClass(A); // true
+ * isClass(() => {}); // false
+ * ```
+ */
 declare function isClass(value: unknown): value is Class<AnyObject>;
 //#endregion
 //#region src/utils/typeof/isDate.d.ts
-declare function isDate(value: unknown): value is Date;
+/**
+ * 检查 value 是否为 Date 对象
+ *
+ * @param value 待检查值
+ * @param invalidCheck 是否要求日期有效（非 Invalid Date）。默认 true
+ *   - true: 仅当是有效 Date 对象时返回 true（排除 new Date('invalid')）
+ *   - false: 只要 [[Prototype]] 是 Date 即返回 true（包含 Invalid Date）
+ * @returns 是否为 Date 对象，根据 invalidCheck 返回不同语义的 Date 判定
+ *
+ * @example
+ * ```ts
+ * isDate(new Date()); // true
+ * isDate(new Date('invalid')); // false
+ * isDate(new Date('invalid'), false); // true
+ * isDate(null); // false
+ * isDate({}); // false
+ * ```
+ */
+declare function isDate(value: unknown, invalidCheck?: boolean): value is Date;
+//#endregion
+//#region src/utils/typeof/isEnumeration.d.ts
+/**
+ * 判断一个值是否为有效的枚举
+ * - 枚举不能为空
+ * - 枚举所有的值必须是 string 或 number
+ *
+ * @param enumeration 待检查值
+ * @returns 是否为有效的枚举
+ */
+declare function isEnumeration(enumeration: unknown): [boolean, boolean];
 //#endregion
 //#region src/utils/typeof/isEqual.d.ts
 /**
- * 检查给定的值是否相等
- * @reference https://github.com/radashi-org/radashi/blob/main/src/typed/isEqual.ts
+ * 深度比较两个值是否相等
  *
- * @param {T} x
- * @param {T} y
+ * @param value 待比较值 A
+ * @param other 待比较值 B
+ * @returns 是否相等
+ * @example
+ * ```ts
+ * isEqual({ a: 1 }, { a: 1 }); // true
+ * ```
  */
-declare function isEqual<T>(x: T, y: T): boolean;
+declare function isEqual(x: unknown, y: unknown): boolean;
 //#endregion
 //#region src/utils/typeof/isError.d.ts
+/**
+ * 检查 value 是否为 Error 对象
+ * @param value 待检查值
+ * @returns 是否为 Error
+ */
 declare function isError(value: unknown): value is Error;
 //#endregion
 //#region src/utils/typeof/isFalsy.d.ts
-declare function isFalsy(value: unknown): boolean;
+/**
+ * 检查 value 是否为 Falsy 值 (false, 0, "", null, undefined, NaN)
+ * @param value 待检查值
+ * @returns 是否为 Falsy
+ */
+declare function isFalsy(value: unknown): value is false | 0 | "" | null | undefined;
 declare function isFalsyLike(value: unknown): boolean;
 //#endregion
-//#region src/utils/typeof/isFile.d.ts
-declare function isFile(value: unknown): value is File;
-//#endregion
 //#region src/utils/typeof/isFunction.d.ts
+/**
+ * 检查 value 是否为 Function
+ * @param value 待检查值
+ * @returns 是否为 Function
+ */
 declare function isFunction(value: unknown): value is AnyFunction;
+/**
+ * 检查 value 是否为 AsyncFunction
+ * @param value 待检查值
+ * @returns 是否为 AsyncFunction
+ */
 declare function isAsyncFunction(value: unknown): value is AnyAsyncFunction;
+/**
+ * 检查 value 是否为 GeneratorFunction
+ * @param value 待检查值
+ * @returns 是否为 GeneratorFunction
+ */
 declare function isGeneratorFunction(value: unknown): value is AnyGeneratorFunction;
+/**
+ * 检查 value 是否为 AsyncGeneratorFunction
+ * @param value 待检查值
+ * @returns 是否为 AsyncGeneratorFunction
+ */
 declare function isAsyncGeneratorFunction(value: unknown): value is AnyAsyncGeneratorFunction;
 //#endregion
 //#region src/utils/typeof/isIterable.d.ts
+/**
+ * 检查 value 是否为可迭代对象 (Iterable)
+ * @param value 待检查值
+ * @returns 是否为 Iterable
+ */
 declare function isIterable(value: unknown): value is {
   [Symbol.iterator]: () => Iterator<unknown>;
 };
 //#endregion
 //#region src/utils/typeof/isMap.d.ts
+/**
+ * 检查 value 是否为 Map
+ * @param value 待检查值
+ * @returns 是否为 Map
+ */
 declare function isMap(value: unknown): value is Map<unknown, unknown>;
+/**
+ * 检查 value 是否为 WeakMap
+ * @param value 待检查值
+ * @returns 是否为 WeakMap
+ */
 declare function isWeakMap(value: unknown): value is WeakMap<AnyObject, unknown>;
 //#endregion
 //#region src/utils/typeof/isNull.d.ts
+/**
+ * 检查 value 是否为 null
+ * @param value 待检查值
+ * @returns 是否为 null
+ */
 declare function isNull(value: unknown): value is null;
 //#endregion
 //#region src/utils/typeof/isNumber.d.ts
@@ -2338,13 +3291,21 @@ declare function isNull(value: unknown): value is null;
  * 检查 value 是否为 number 类型
  *
  * @param value 待检查值
- * @param checkNaN 是否排除 `NaN`，默认为 `true`
+ * @param NaNCheck 是否排除 `NaN`，默认为 `true`
+ * @returns 是否为 number
+ * @example
+ * ```ts
+ * isNumber(1); // true
+ * isNumber(NaN); // false (default)
+ * isNumber(NaN, false); // true
+ * ```
  */
-declare function isNumber(value: unknown, checkNaN?: boolean): value is number;
+declare function isNumber(value: unknown, NaNCheck?: boolean): value is number;
 /**
  * 检查 value 是否为 NaN
  *
  * @param value 待检查值
+ * @returns 是否为 NaN
  */
 declare function isNaN(value: unknown): value is number;
 /**
@@ -2352,6 +3313,7 @@ declare function isNaN(value: unknown): value is number;
  *
  * @param value 待检查值
  * @param safeCheck 是否附加安全数检查
+ * @returns 是否为整数
  */
 declare function isInteger(value: unknown, safeCheck?: boolean): value is number;
 /**
@@ -2392,11 +3354,28 @@ declare function isInfinityLike(value: unknown): boolean;
  *
  * @param value 待检查值
  * @param prototypeCheck 是否进行原型检查，默认 `true`
+ * @returns 是否为 Plain Object (当 checkPrototype=true) 或 object
+ * @example
+ * ```ts
+ * isObject({}); // true
+ * isObject(new Date()); // false (because prototype is not Object.prototype)
+ * isObject(new Date(), false); // true (is object type)
+ * ```
  */
 declare function isObject(value: unknown, prototypeCheck?: boolean): value is Record<PropertyKey, unknown>;
 //#endregion
 //#region src/utils/typeof/isPromise.d.ts
+/**
+ * 检查 value 是否为 Promise
+ * @param value 待检查值
+ * @returns 是否为 Promise
+ */
 declare function isPromise(value: unknown): value is Promise<unknown>;
+/**
+ * 检查 value 是否为 PromiseLike (thenable)
+ * @param value 待检查值
+ * @returns 是否为 PromiseLike
+ */
 declare function isPromiseLike(value: unknown): value is PromiseLike<unknown>;
 //#endregion
 //#region src/utils/typeof/isReadableStream.d.ts
@@ -2409,13 +3388,33 @@ declare function isPromiseLike(value: unknown): value is PromiseLike<unknown>;
  *
  * ⚠️ Note: In older Node.js (<18) or with non-compliant polyfills, this may return false positives or negatives.
  */
+/**
+ * 检查 value 是否为 ReadableStream
+ * @param value 待检查值
+ * @returns 是否为 ReadableStream
+ */
 declare function isReadableStream(value: unknown): value is ReadableStream;
 //#endregion
 //#region src/utils/typeof/isRegExp.d.ts
+/**
+ * 检查 value 是否为 RegExp
+ * @param value 待检查值
+ * @returns 是否为 RegExp
+ */
 declare function isRegExp(value: unknown): value is RegExp;
 //#endregion
 //#region src/utils/typeof/isSet.d.ts
+/**
+ * 检查 value 是否为 Set
+ * @param value 待检查值
+ * @returns 是否为 Set
+ */
 declare function isSet(value: unknown): value is Set<unknown>;
+/**
+ * 检查 value 是否为 WeakSet
+ * @param value 待检查值
+ * @returns 是否为 WeakSet
+ */
 declare function isWeakSet(value: unknown): value is WeakSet<AnyObject>;
 //#endregion
 //#region src/utils/typeof/isString.d.ts
@@ -2424,23 +3423,55 @@ declare function isWeakSet(value: unknown): value is WeakSet<AnyObject>;
  *
  * @param value 待检查值
  * @param checkEmpty 是否排除空字符串
+ * @returns 是否为字符串
+ * @example
+ * ```ts
+ * isString("abc"); // true
+ * isString(""); // true
+ * isString("", true); // false
+ * ```
  */
 declare function isString(value: unknown, checkEmpty?: boolean): value is string;
 //#endregion
 //#region src/utils/typeof/isSymbol.d.ts
+/**
+ * 检查 value 是否为 Symbol
+ * @param value 待检查值
+ * @returns 是否为 Symbol
+ */
 declare function isSymbol(value: unknown): value is symbol;
 //#endregion
 //#region src/utils/typeof/isUndefined.d.ts
+/**
+ * 检查 value 是否为 undefined
+ * @param value 待检查值
+ * @returns 是否为 undefined
+ */
 declare function isUndefined(value: unknown): value is undefined;
 //#endregion
 //#region src/utils/typeof/isURLSearchParams.d.ts
+/**
+ * 检查 value 是否为 URLSearchParams
+ * @param value 待检查值
+ * @returns 是否为 URLSearchParams
+ */
 declare function isURLSearchParams(value: unknown): value is URLSearchParams;
 //#endregion
 //#region src/utils/typeof/isWebSocket.d.ts
+/**
+ * 检查 value 是否为 WebSocket
+ * @param value 待检查值
+ * @returns 是否为 WebSocket
+ */
 declare function isWebSocket(value: unknown): value is WebSocket;
 //#endregion
 //#region src/utils/typeof/isWindow.d.ts
+/**
+ * 检查 value 是否为 Window
+ * @param value 待检查值
+ * @returns 是否为 Window
+ */
 declare function isWindow(value: unknown): value is Window;
 //#endregion
-export { arrayCast, arrayCompete, arrayCounting, arrayDifference, arrayFirst, arrayFork, arrayIntersection, arrayLast, arrayMerge, arrayPick, arrayReplace, arraySplit, cloneDeep, enumEntries, enumKeys, enumTypeCheck, enumValues, isAbortSignal, isArray, isAsyncFunction, isAsyncGeneratorFunction, isBigInt, isBlob, isBoolean, isClass, isDate, isEqual, isError, isFalsy, isFalsyLike, isFile, isFunction, isGeneratorFunction, isInfinity, isInfinityLike, isInteger, isIterable, isMap, isNaN, isNegativeInteger, isNull, isNumber, isObject, isPositiveInteger, isPromise, isPromiseLike, isReadableStream, isRegExp, isSet, isString, isSymbol, isTypedArray, isURLSearchParams, isUndefined, isWeakMap, isWeakSet, isWebSocket, isWindow, mapEntries, objectAssign, objectCrush, objectEntries, objectKeys, objectPick, objectSwitch, objectValues, rowsToTree, stringInitialCase, stringReplace, stringTemplate, stringToJson, stringToNumber, stringToPosix, stringToValues, stringTrim, stringTruncate, to, toMathBignumber, toMathDecimal, toMathEvaluate, treeFilter, treeFind, treeForEach, treeMap, treeToRows };
+export { arrayCast, arrayCompete, arrayCounting, arrayDifference, arrayFirst, arrayFork, arrayIntersection, arrayLast, arrayMerge, arrayPick, arrayReplace, arrayReplaceMove, arraySplit, arrayUnzip, arrayZip, arrayZipToObject, cloneDeep, enumEntries, enumKeys, enumValues, getTimeZone, isAbortSignal, isArray, isAsyncFunction, isAsyncGeneratorFunction, isBigInt, isBlob, isBoolean, isBrowser, isClass, isDate, isEnumeration, isEqual, isError, isFalsy, isFalsyLike, isFile, isFunction, isGeneratorFunction, isIOSMobile, isInfinity, isInfinityLike, isInteger, isIterable, isMap, isMobile, isNaN, isNegativeInteger, isNull, isNumber, isObject, isPositiveInteger, isPromise, isPromiseLike, isReadableStream, isRegExp, isSet, isString, isSymbol, isTablet, isTypedArray, isURLSearchParams, isUndefined, isWeakMap, isWeakSet, isWebSocket, isWebWorker, isWindow, isWithinInterval, mapEntries, objectAssign, objectCrush, objectEntries, objectInvert, objectKeys, objectOmit, objectPick, objectValues, rowsToTree, stringInitialCase, stringReplace, stringTemplate, stringToJson, stringToNumber, stringToPosix, stringToValues, stringTrim, stringTruncate, to, toMathBignumber, toMathDecimal, toMathEvaluate, treeFilter, treeFind, treeForEach, treeMap, treeToRows };
 //# sourceMappingURL=index.d.ts.map