type-plus 7.6.2 → 8.0.0-beta.2

package/esm/tuple/is_not_tuple.d.ts

@@ -0,0 +1,78 @@
+import type { NotAssignable } from '../predicates/not_assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate that `T` is not a tuple, excluding array.
+ *
+ * ```ts
+ * type R = IsNotTuple<[]>       // false
+ * type R = IsNotTuple<[1]>      // false
+ *
+ * type R = IsNotTuple<number[]> // true
+ * type R = IsNotTuple<string>   // true
+ * type R = IsNotTuple<never>    // true
+ * type R = IsNotTuple<unknown>  // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not a `tuple`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotTuple<[], { selection: 'filter' }> // never
+ * type R = IsNotTuple<[1], { selection: 'filter' }> // never
+ *
+ * type R = IsNotTuple<never, { selection: 'filter' }> // never
+ * type R = IsNotTuple<unknown, { selection: 'filter' }> // unknown
+ * type R = IsNotTuple<[] | boolean, { selection: 'filter' }> // boolean
+ * type R = IsNotTuple<[1] | bigint> // bigint
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsNotTuple<[] | 1> // boolean
+ * type R = IsNotTuple<[] | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotTuple<bigint, IsNotTuple.$Branch> // $Then
+ * type R = IsNotTuple<[], IsNotTuple.$Branch> // $Else
+ * ```
+ */
+export type IsNotTuple<T, $O extends IsNotTuple.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Then]>;
+    $else: IsNotTuple.$<T, $O>;
+}>>;
+export declare namespace IsNotTuple {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is `bigint` or `bigint` literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $IsDistributive<$O, {
+        $then: T extends readonly any[] ? (number extends T['length'] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>) : $ResolveBranch<T, $O, [$Then]>;
+        $else: [T] extends [readonly any[]] ? (number extends T['length'] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>) : $ResolveBranch<T, $O, [$Then]>;
+    }>;
+    type $UtilOptions = NotAssignable.$UtilOptions;
+}
+//# sourceMappingURL=is_not_tuple.d.ts.map

package/esm/tuple/is_not_tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_tuple.d.ts","sourceRoot":"","sources":["../../src/tuple/is_not_tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,MAAM,MAAM,UAAU,CACrB,CAAC,EACD,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAChC,YAAY,CAAC,CAAC,EACjB,aAAa,CAAC,EAAE,EACf;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC1B,CACD,CACD,CAAA;AAED,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAGrE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,EAAE,EAAE;QAC/D,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAC7B,CACD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAChC,GACC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACjC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,GACjC,CACD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAChC,GACC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAChC,CAAC,CAAA;IAEF,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}

package/esm/tuple/is_not_tuple.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=is_not_tuple.js.map

package/esm/tuple/is_not_tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_tuple.js","sourceRoot":"","sources":["../../src/tuple/is_not_tuple.ts"],"names":[],"mappings":""}

package/esm/tuple/is_tuple.d.ts

@@ -0,0 +1,76 @@
+import type { Assignable } from '../predicates/assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate that `T` is a tuple, excluding array.
+ *
+ * ```ts
+ * type R = IsTuple<[]>       // true
+ *
+ * type R = IsTuple<number[]> // false
+ * type R = IsTuple<string>   // false
+ * type R = IsTuple<never>    // false
+ * type R = IsTuple<unknown>  // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is a `tuple`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsTuple<[], { selection: 'filter' }> // []
+ * type R = IsTuple<[1], { selection: 'filter' }> // [1]
+ *
+ * type R = IsTuple<never, { selection: 'filter' }> // never
+ * type R = IsTuple<unknown, { selection: 'filter' }> // never
+ * type R = IsTuple<[] | boolean, { selection: 'filter' }> // []
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsTuple<[1] | 1> // boolean
+ * type R = IsTuple<[] | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsTuple<[], IsTuple.$Branch> // $Then
+ * type R = IsTuple<string, IsTuple.$Branch> // $Else
+ * ```
+ */
+export type IsTuple<T, $O extends IsTuple.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Else]>;
+    $else: IsTuple.$<T, $O>;
+}>>;
+export declare namespace IsTuple {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is `tuple`.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $IsDistributive<$O, {
+        $then: T extends readonly any[] ? (number extends T['length'] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>) : $ResolveBranch<T, $O, [$Else]>;
+        $else: [T] extends [readonly any[]] ? (number extends T['length'] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>) : $ResolveBranch<T, $O, [$Else]>;
+    }>;
+    type $UtilOptions = Assignable.$UtilOptions;
+}
+//# sourceMappingURL=is_tuple.d.ts.map

package/esm/tuple/is_tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_tuple.d.ts","sourceRoot":"","sources":["../../src/tuple/is_tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,MAAM,MAAM,OAAO,CAClB,CAAC,EACD,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAEhC,YAAY,CAAC,CAAC,EACb,aAAa,CAAC,EAAE,EACf;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACvB,CACD,CACD,CAAA;AAEF,yBAAiB,OAAO,CAAC;IACxB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,EAAE,EAAE;QAC/D,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAC7B,CACD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAChC,GACC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACjC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,GACjC,CACD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAChC,GACC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAChC,CAAC,CAAA;IAEF,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}

package/esm/tuple/is_tuple.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=is_tuple.js.map

package/esm/tuple/is_tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_tuple.js","sourceRoot":"","sources":["../../src/tuple/is_tuple.ts"],"names":[],"mappings":""}

package/esm/tuple/tail.d.ts

@@ -2,5 +2,5 @@ import type { UnionOfValues } from '../array/union_of_values.js';
 /**
  * Gets the types of a tuple except the first entry.
  */
-export type Tail<T extends any[]> = T['length'] extends 0 ? never : T extends [any, ...infer Tail] ? Tail extends UnionOfValues<T>[] ? Tail : never : T;
+export type Tail<T extends readonly unknown[]> = T['length'] extends 0 ? never : (T extends readonly [any, ...infer Tail] ? Tail extends UnionOfValues<T>[] ? Tail : never : T);
 //# sourceMappingURL=tail.d.ts.map

package/esm/tuple/tail.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tail.d.ts","sourceRoot":"","sources":["../../ts/tuple/tail.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAEhE;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtD,KAAK,GACL,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9B,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,GAC9B,IAAI,GACJ,KAAK,GACN,CAAC,CAAA"}
+{"version":3,"file":"tail.d.ts","sourceRoot":"","sources":["../../src/tuple/tail.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAEhE;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnE,KAAK,GACL,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GACvC,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,KAAK,GAC9C,CAAC,CAAC,CAAA"}

package/esm/tuple/tail.js.map

@@ -1 +1 @@
-{"version":3,"file":"tail.js","sourceRoot":"","sources":["../../ts/tuple/tail.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tail.js","sourceRoot":"","sources":["../../src/tuple/tail.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.common_prop_keys.d.ts

@@ -1,4 +1,5 @@
-import type { NeverType } from '../never/never_type.js';
+import type { IsNever } from '../never/is_never.js';
+import type { $Never } from '../never/never.js';
 import type { KeyTypes } from '../object/KeyTypes.js';
 import type { Tail } from './tail.js';
 /**
@@ -15,14 +16,17 @@ import type { Tail } from './tail.js';
  * type R = TuplePlus.CommonPropKeys<[{ a: number, c: 1 }, { b: number, c: 2 }]> // 'c'
  * ```
  *
- * @typeParam Options['caseNever'] Return type when `T` is `never`.
+ * @typeParam Options['$never'] Return type when `T` is `never`.
  * Default to `never`.
  */
-export type CommonPropKeys<T extends Record<KeyTypes, unknown>[], Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions> = NeverType<T, Options['caseNever'], (T['length'] extends 0 ? never : (T['length'] extends 1 ? keyof T[0] : (T['length'] extends 2 ? keyof T[0] & keyof T[1] : keyof T[0] & keyof T[1] & CommonPropKeys<Tail<Tail<T>>>)))>;
+export type CommonPropKeys<T extends Record<KeyTypes, unknown>[], Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions> = IsNever<T, {
+    $then: Options['$never'];
+    $else: (T['length'] extends 0 ? never : (T['length'] extends 1 ? keyof T[0] : (T['length'] extends 2 ? keyof T[0] & keyof T[1] : keyof T[0] & keyof T[1] & CommonPropKeys<Tail<Tail<T>>>)));
+}>;
 export declare namespace CommonPropKeys {
-    interface Options extends NeverType.Options {
+    interface Options extends $Never.$Options {
     }
-    interface DefaultOptions extends NeverType.DefaultOptions {
+    interface DefaultOptions extends $Never.$Default {
     }
 }
 //# sourceMappingURL=tuple_plus.common_prop_keys.d.ts.map

package/esm/tuple/tuple_plus.common_prop_keys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.common_prop_keys.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CACzB,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EACrC,OAAO,SAAS,cAAc,CAAC,OAAO,GAAG,cAAc,CAAC,cAAc,IACnE,SAAS,CACZ,CAAC,EACD,OAAO,CAAC,WAAW,CAAC,EACpB,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,KAAK,GACL,CACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CAAC,CAAC,CAAC,CAAC,GACV,CACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GACvB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD,CACD,CAAC,CACH,CAAA;AAED,yBAAiB,cAAc,CAAC;IAC/B,UAAiB,OAAQ,SAAQ,SAAS,CAAC,OAAO;KACjD;IAED,UAAiB,cAAe,SAAQ,SAAS,CAAC,cAAc;KAC/D;CACD"}
+{"version":3,"file":"tuple_plus.common_prop_keys.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CACzB,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EACrC,OAAO,SAAS,cAAc,CAAC,OAAO,GAAG,cAAc,CAAC,cAAc,IACnE,OAAO,CACV,CAAC,EACD;IACC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzB,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC1B,KAAK,GACL,CACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CAAC,CAAC,CAAC,CAAC,GACV,CACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GACvB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD,CACD,CAAC,CAAA;CACH,CACD,CAAA;AAED,yBAAiB,cAAc,CAAC;IAC/B,UAAiB,OAAQ,SAAQ,MAAM,CAAC,QAAQ;KAC/C;IAED,UAAiB,cAAe,SAAQ,MAAM,CAAC,QAAQ;KACtD;CACD"}

package/esm/tuple/tuple_plus.common_prop_keys.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.common_prop_keys.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.common_prop_keys.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.common_prop_keys.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.common_prop_keys.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,YAAY,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,YAAY,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AACpD,YAAY,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAChD,YAAY,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA"}
+{"version":3,"file":"tuple_plus.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACtE,YAAY,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,YAAY,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AACpD,YAAY,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAChD,YAAY,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA"}

package/esm/tuple/tuple_plus.drop_match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.drop_match.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.drop_match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAE1F,CAAC,GACC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAE1B,SAAS,SAAS,QAAQ,GACxB,SAAS,CAAC,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GACvE,SAAS,CAAC,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAEzE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,KAAK,GACnC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACvD,KAAK,EAAE,CAAA;AAEV,yBAAiB,SAAS,CAAC;IAC1B,KAAY,wBAAwB,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC1F"}
+{"version":3,"file":"tuple_plus.drop_match.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.drop_match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAE1F,CAAC,GACC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAE1B,SAAS,SAAS,QAAQ,GACxB,SAAS,CAAC,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GACvE,SAAS,CAAC,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAEzE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,KAAK,GACnC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACvD,KAAK,EAAE,CAAA;AAEV,yBAAiB,SAAS,CAAC;IAC1B,KAAY,wBAAwB,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC1F"}

package/esm/tuple/tuple_plus.drop_match.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.drop_match.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.drop_match.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.drop_match.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.drop_match.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.filter.d.ts

@@ -9,5 +9,5 @@
  * type R = Filter<[1, 2, '3'], true> // []
  * ```
  */
-export type Filter<T extends unknown[], Criteria> = T['length'] extends 0 ? [] : (T extends [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (Head extends Criteria ? [Head] : []) : (Head extends Criteria ? [Head, ...Filter<Tail, Criteria>] : Filter<Tail, Criteria>)) : never);
+export type Filter<T extends readonly unknown[], Criteria = true> = T['length'] extends 0 ? [] : (T extends readonly [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (Head extends Criteria ? [Head] : []) : (Head extends Criteria ? [Head, ...Filter<Tail, Criteria>] : Filter<Tail, Criteria>)) : never);
 //# sourceMappingURL=tuple_plus.filter.d.ts.map

package/esm/tuple/tuple_plus.filter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.filter.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtE,EAAE,GACF,CACD,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACnC,CACD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtB,CACD,IAAI,SAAS,QAAQ,GACnB,CAAC,IAAI,CAAC,GACN,EAAE,CAAC,GACJ,CACD,IAAI,SAAS,QAAQ,GACnB,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACjC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CACxB,CACD,GACC,KAAK,CACP,CAAA"}
+{"version":3,"file":"tuple_plus.filter.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,GAAG,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtF,EAAE,GACF,CACD,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC5C,CACD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtB,CACD,IAAI,SAAS,QAAQ,GACnB,CAAC,IAAI,CAAC,GACN,EAAE,CAAC,GACJ,CACD,IAAI,SAAS,QAAQ,GACnB,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACjC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CACxB,CACD,GACC,KAAK,CACP,CAAA"}

package/esm/tuple/tuple_plus.filter.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.filter.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.filter.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.filter.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.filter.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.find.d.ts

@@ -1,7 +1,7 @@
 import type { ElementMatch } from '../array/array_plus.element_match.js';
-import type { NeverType } from '../never/never_type.js';
-import type { MergeOptions } from '../utils/options.js';
-import type { TupleType } from './tuple_type.js';
+import type { $Never } from '../never/never.js';
+import type { TypePlusOptions } from '../utils/options.js';
+import type { IsTuple } from './is_tuple.js';
 /**
  * 🦴 *utilities*
  * 🔢 *customizable*
@@ -23,23 +23,23 @@ import type { TupleType } from './tuple_type.js';
  * With widen match, a narrowed type will match its widen type.
  * e.g. matching `1` against `number` yields `1 | undefined`
  *
- * The widen behavior can be customized by `Options['caseWiden']`
+ * The widen behavior can be customized by `Options['$widen']`
  *
- * @typeParam Options['caseArray'] return type when `A` is an array. Default to `not supported` message.
+ * @typeParam Options['$array'] return type when `A` is an array. Default to `not supported` message.
  *
  * @typeParam Options['caseEmptyTuple'] return type when `A` is an empty tuple.
  * Default to `never`.
  *
- * @typeParam Options['caseNever'] return type when `A` is `never`. Default to `never`.
+ * @typeParam Options['$never'] return type when `A` is `never`. Default to `never`.
  *
- * @typeParam Options['caseNotMatch'] Return value when `T` does not match `Criteria`.
+ * @typeParam Options['$notMatch'] Return value when `T` does not match `Criteria`.
  * Default to `never`.
  *
- * @typeParam Options['caseWiden'] return type when `T` in `A` is a widen type of `Criteria`.
+ * @typeParam Options['$widen'] return type when `T` in `A` is a widen type of `Criteria`.
  * Default to `Criteria | undefined`.
  * Set it to `never` for a more type-centric behavior
  *
- * @typeParam Options['caseUnionNotMatch'] Return value when a branch of the union `T` does not match `Criteria`.
+ * @typeParam Options['$unionNotMatch'] Return value when a branch of the union `T` does not match `Criteria`.
  * Default to `never`.
  *
  * If you want the type to behave more like JavaScript,
@@ -47,18 +47,21 @@ import type { TupleType } from './tuple_type.js';
  *
  * Since it is a union, the result will be joined to the matched branch as union.
  */
-export type Find<A extends unknown[], Criteria, Options extends Find.Options = Find.DefaultOptions<Criteria>> = MergeOptions<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options ? TupleType<A, A['length'] extends 0 ? O['caseEmptyTuple'] : Find.Device<A, Criteria, O>, O['caseArray'], O> : never;
+export type Find<A extends readonly unknown[], Criteria, Options extends Find.Options = Find.DefaultOptions<Criteria>> = TypePlusOptions.Merge<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options ? IsTuple<A, {
+    $then: A['length'] extends 0 ? O['$emptyTuple'] : Find.Device<A, Criteria, O>;
+    $else: O['$array'];
+}> : never;
 export declare namespace Find {
-    type Device<A extends unknown[], Criteria, Options extends Find.Options> = A['length'] extends 0 ? Options['caseNotMatch'] : (A extends [infer Head, ...infer Tail] ? ElementMatch<Head, Criteria, MergeOptions<{
-        caseNotMatch: Device<Tail, Criteria, Options>;
+    type Device<A extends readonly unknown[], Criteria, Options extends Find.Options> = A['length'] extends 0 ? Options['$notMatch'] : (A extends readonly [infer Head, ...infer Tail] ? ElementMatch<Head, Criteria, TypePlusOptions.Merge<{
+        $notMatch: Device<Tail, Criteria, Options>;
     }, Options>> : never);
-    interface Options extends ElementMatch.Options, NeverType.Options {
-        caseArray?: unknown;
-        caseEmptyTuple?: unknown;
+    interface Options extends ElementMatch.Options, $Never.$Options {
+        $array?: unknown;
+        $emptyTuple?: unknown;
     }
-    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, NeverType.DefaultOptions {
-        caseArray: 'does not support array. Please use `FindFirst` or `ArrayPlus.Find` instead.';
-        caseEmptyTuple: never;
+    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, $Never.$Default {
+        $array: 'does not support array. Please use `FindFirst` or `ArrayPlus.Find` instead.';
+        $emptyTuple: never;
     }
 }
 //# sourceMappingURL=tuple_plus.find.d.ts.map

package/esm/tuple/tuple_plus.find.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.find.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAA;AACxE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,OAAO,EAAE,EACnB,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IACzD,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,GAC1F,SAAS,CACV,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,CAAC,CAAC,gBAAgB,CAAC,GACnB,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAC7B,CAAC,CAAC,WAAW,CAAC,EACd,CAAC,CACD,GACC,KAAK,CAAA;AACR,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CACjB,CAAC,SAAS,OAAO,EAAE,EACnB,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,IACzB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtB,OAAO,CAAC,cAAc,CAAC,GACvB,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,YAAY,CACb,IAAI,EACJ,QAAQ,EACR,YAAY,CAAC;QAAE,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;KAAE,EAAE,OAAO,CAAC,CACxE,GACC,KAAK,CAAC,CAAA;IACV,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO;QACvE,SAAS,CAAC,EAAE,OAAO,CAAC;QACpB,cAAc,CAAC,EAAE,OAAO,CAAC;KACzB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,cAAc;QAChH,SAAS,EAAE,6EAA6E,CAAC;QACzF,cAAc,EAAE,KAAK,CAAC;KACtB;CACD"}
+{"version":3,"file":"tuple_plus.find.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IACzD,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,GACnG,OAAO,CACR,CAAC,EACD;IACC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC1B,CAAC,CAAC,aAAa,CAAC,GAChB,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;CAClB,CACD,GACC,KAAK,CAAA;AACR,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CACjB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,IACzB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtB,OAAO,CAAC,WAAW,CAAC,GACpB,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,YAAY,CACb,IAAI,EACJ,QAAQ,EACR,eAAe,CAAC,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;KAAE,EAAE,OAAO,CAAC,CAC9E,GACC,KAAK,CAAC,CAAA;IACV,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ;QACrE,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,WAAW,CAAC,EAAE,OAAO,CAAC;KACtB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ;QACvG,MAAM,EAAE,6EAA6E,CAAC;QACtF,WAAW,EAAE,KAAK,CAAC;KACnB;CACD"}

package/esm/tuple/tuple_plus.find.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.find.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.find.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.find.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.find.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.pad_start.d.ts

@@ -17,12 +17,12 @@
  * PadStart<[1, 2, 3], 5> // [unknown, unknown, 1, 2, 3]
  * ```
  */
-export type PadStart<Tuple extends unknown[], MaxLength extends number, PadWith = unknown> = PadStart.Device<Tuple, MaxLength, PadWith, [
+export type PadStart<Tuple extends readonly unknown[], MaxLength extends number, PadWith = unknown> = PadStart.Device<Tuple, MaxLength, PadWith, [
 ]>;
 export declare namespace PadStart {
-    type Device<Source extends unknown[], MaxLength extends number, PadWith, Result extends unknown[]> = Result['length'] extends MaxLength ? (Source extends [] ? Result : (Source extends [...infer Head, infer Tail] ? ([
+    type Device<Source extends readonly unknown[], MaxLength extends number, PadWith, Result extends unknown[]> = Result['length'] extends MaxLength ? (Source extends [] ? Result : (Source extends readonly [...infer Head, infer Tail] ? ([
         Tail,
         ...Result
-    ] extends infer R extends unknown[] ? Device<Head, R['length'], PadWith, R> : never) : never)) : (Source extends [] ? Device<Source, MaxLength, PadWith, [PadWith, ...Result]> : (Source extends [...infer Head, infer Tail] ? Device<Head, MaxLength, PadWith, [Tail, ...Result]> : Source));
+    ] extends infer R extends unknown[] ? Device<Head, R['length'], PadWith, R> : never) : never)) : (Source extends [] ? Device<Source, MaxLength, PadWith, [PadWith, ...Result]> : (Source extends readonly [...infer Head, infer Tail] ? Device<Head, MaxLength, PadWith, [Tail, ...Result]> : Source));
 }
 //# sourceMappingURL=tuple_plus.pad_start.d.ts.map

package/esm/tuple/tuple_plus.pad_start.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.pad_start.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,OAAO,EAAE,EAAE,SAAS,SAAS,MAAM,EAAE,OAAO,GAAG,OAAO,IAAI,QAAQ,CAAC,MAAM,CAC3G,KAAK,EACL,SAAS,EACT,OAAO,EACP;CAAE,CACF,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,MAAM,CACjB,MAAM,SAAS,OAAO,EAAE,EACxB,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,IAExB,MAAM,CAAC,QAAQ,CAAC,SAAS,SAAS,GAChC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,GACN,CACD,MAAM,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACxC,CACD;QAAC,IAAI;QAAE,GAAG,MAAM;KAAC,SAAS,MAAM,CAAC,SAAS,OAAO,EAAE,GACjD,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GACrC,KAAK,CACP,GACC,KAAK,CACP,CACD,GACC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GACxD,CACD,MAAM,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACxC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,GACnD,MAAM,CACR,CACD,CAAA;CAEF"}
+{"version":3,"file":"tuple_plus.pad_start.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CACnB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IAAI,QAAQ,CAAC,MAAM,CACnC,KAAK,EACL,SAAS,EACT,OAAO,EACP;CAAE,CACF,CAAA;AAEF,yBAAiB,QAAQ,CAAC;IACzB,KAAY,MAAM,CACjB,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,IAExB,MAAM,CAAC,QAAQ,CAAC,SAAS,SAAS,GAChC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,GACN,CACD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACjD,CACD;QAAC,IAAI;QAAE,GAAG,MAAM;KAAC,SAAS,MAAM,CAAC,SAAS,OAAO,EAAE,GACjD,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GACrC,KAAK,CACP,GACC,KAAK,CACP,CACD,GACC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GACxD,CACD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACjD,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,GACnD,MAAM,CACR,CACD,CAAA;CAEF"}

package/esm/tuple/tuple_plus.pad_start.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.pad_start.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.pad_start.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":""}

package/esm/type/failed.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failed.d.ts","sourceRoot":"","sources":["../../ts/type/failed.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,SAAS,MAAM;IACzC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,EAAE;IAC9C,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb"}
+{"version":3,"file":"failed.d.ts","sourceRoot":"","sources":["../../src/type/failed.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,SAAS,MAAM;IACzC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,EAAE;IAC9C,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb"}

package/esm/type/failed.js.map

@@ -1 +1 @@
-{"version":3,"file":"failed.js","sourceRoot":"","sources":["../../ts/type/failed.ts"],"names":[],"mappings":""}
+{"version":3,"file":"failed.js","sourceRoot":"","sources":["../../src/type/failed.ts"],"names":[],"mappings":""}

package/esm/type/no_infer.d.ts

@@ -1,6 +1,7 @@
-import type { IsNull } from '../null/null_type.js';
+import type { IsNull } from '../null/is_null.js';
 import type { Or } from '../predicates/logical.js';
-import type { IsUndefined } from '../undefined/undefined_type.js';
+import type { $SelectionPredicate } from '../type_plus/branch/$selection.js';
+import type { IsUndefined } from '../undefined/is_undefined.js';
 /**
  * Prevents inference of a type parameter `T`.
  *
@@ -23,5 +24,5 @@ import type { IsUndefined } from '../undefined/undefined_type.js';
  * A build-in `NoInfer` is coming soon.
  * @see https://github.com/microsoft/TypeScript/pull/52968
  */
-export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T>, T, T & {}>;
+export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T, $SelectionPredicate>, T, T & {}>;
 //# sourceMappingURL=no_infer.d.ts.map

package/esm/type/no_infer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../ts/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}
+{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../src/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAA;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}

package/esm/type/no_infer.js.map

@@ -1 +1 @@
-{"version":3,"file":"no_infer.js","sourceRoot":"","sources":["../../ts/type/no_infer.ts"],"names":[],"mappings":""}
+{"version":3,"file":"no_infer.js","sourceRoot":"","sources":["../../src/type/no_infer.ts"],"names":[],"mappings":""}

package/esm/type-guard/is_type.d.ts

@@ -17,7 +17,7 @@ export declare namespace isType {
  * Check is the type `never`
  * @deprecated use `isType<T>()` or `testType.never<T>()` instead
  */
-declare function isNever<S extends never>(): unknown;
+declare function isNever<_S extends never>(): unknown;
 /**
  * Check is the value is type `never`
  * @deprecated use `isType<T>()` or `testType.never<T>()` instead

package/esm/type-guard/is_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_type.d.ts","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;yBAAvE,MAAM;;;;;;AAmBtB;;;GAGG;AACH,iBAAS,OAAO,CAAC,CAAC,SAAS,KAAK,KAAK,OAAO,CAAA;AAC5C;;;GAGG;AACH,iBAAS,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,CAAA"}
+{"version":3,"file":"is_type.d.ts","sourceRoot":"","sources":["../../src/type-guard/is_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;yBAAvE,MAAM;;;;;;AAetB;;;GAGG;AACH,iBAAS,OAAO,CAAC,EAAE,SAAS,KAAK,KAAK,OAAO,CAAA;AAC7C;;;GAGG;AACH,iBAAS,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,CAAA"}

package/esm/type-guard/is_type.js

@@ -4,15 +4,11 @@ export function isType(subject, validator) {
 /**
  * @deprecated use `isType<T>()` or `testType.true<T>()` instead
  */
-isType.t = function (subject) {
-    return subject === undefined || subject === true;
-};
+isType.t = (subject) => subject === undefined || subject === true;
 /**
  * @deprecated use `isType<T>()` or `testType.false<T>()` instead
  */
-isType.f = function (subject) {
-    return subject === undefined || subject === false;
-};
+isType.f = (subject) => subject === undefined || subject === false;
 function isNever(_subject) {
     return true;
 }
@@ -24,5 +20,5 @@ isType.never = isNever;
  *
  * @deprecated use `testType.equal()` instead
  */
-isType.equal = function () { };
+isType.equal = () => { };
 //# sourceMappingURL=is_type.js.map

package/esm/type-guard/is_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AACjD,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAChD,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAClD,CAAC,CAAA;AAYD,SAAS,OAAO,CAAC,QAAkB;IAClC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,cAA6C,CAAC,CAAA"}
+{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../src/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,CAAiB,OAAW,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AAErF;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,CAAkB,OAAW,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAYvF,SAAS,OAAO,CAAC,QAAkB;IAClC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,GAAmC,EAAE,GAAE,CAAC,CAAA"}

package/esm/type_plus/$equality.d.ts

@@ -0,0 +1,12 @@
+import type { $Any } from '../any/any.js';
+import type { $Never } from '../never/never.js';
+import type { $Unknown } from '../unknown/unknown.js';
+import type { $DistributiveOptions } from './branch/$distributive.js';
+import type { $InputOptions } from './branch/$input_options.js';
+import type { $SelectionBranch } from './branch/$selection.js';
+import type { $SelectionOptions } from './branch/$selection_options.js';
+export declare namespace $Equality {
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>;
+    type $Branch<$O extends $SelectionOptions = {}> = $SelectionBranch<$O>;
+}
+//# sourceMappingURL=$equality.d.ts.map

package/esm/type_plus/$equality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$equality.d.ts","sourceRoot":"","sources":["../../src/type_plus/$equality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAEvE,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,iBAAiB,GACvC,oBAAoB,GACpB,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IACxC,KAAY,OAAO,CAAC,EAAE,SAAS,iBAAiB,GAAG,EAAE,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;CAC7E"}

package/esm/type_plus/$equality.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=$equality.js.map

package/esm/type_plus/$equality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$equality.js","sourceRoot":"","sources":["../../src/type_plus/$equality.ts"],"names":[],"mappings":""}

package/esm/type_plus/$error.d.ts

@@ -0,0 +1,8 @@
+import type { $Type } from './$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * A basic type-level error.
+ */
+export type $Error<M extends string, T = unknown> = M extends any ? $Type<'error', M, T> : never;
+//# sourceMappingURL=$error.d.ts.map

package/esm/type_plus/$error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$error.d.ts","sourceRoot":"","sources":["../../src/type_plus/$error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA"}

package/esm/type_plus/$error.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=$error.js.map

package/esm/type_plus/$error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$error.js","sourceRoot":"","sources":["../../src/type_plus/$error.ts"],"names":[],"mappings":""}

package/esm/type_plus/$infer_error.d.ts

@@ -0,0 +1,21 @@
+import type { $Type } from './$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * An error for unexpected failure of infer type.
+ *
+ * In your type,
+ * you can use `T extends infer U extends V` to specify the type of the inferred type `U`.
+ *
+ * But doing so means you have to do an extra conditional type.
+ *
+ * This type can be use in the else case to indicate unexpected failure to infer the type.
+ *
+ * ```ts
+ * type F<T> = T extends infer U extends V
+ *   ? ...your type logic...
+ *   : InferError<'some message', T>
+ * ```
+ */
+export type $InferError<M extends string, T = unknown> = M extends any ? $Type<'error', `Unable to infer: ${M}`, T> : never;
+//# sourceMappingURL=$infer_error.d.ts.map

package/esm/type_plus/$infer_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$infer_error.d.ts","sourceRoot":"","sources":["../../src/type_plus/$infer_error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA"}

package/esm/type_plus/$infer_error.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=$infer_error.js.map

package/esm/type_plus/$infer_error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$infer_error.js","sourceRoot":"","sources":["../../src/type_plus/$infer_error.ts"],"names":[],"mappings":""}

package/esm/type_plus/$merge_options.d.ts

@@ -0,0 +1,11 @@
+/**
+ * 🧰 *type util*
+ *
+ * Merge type options.
+ */
+export type $MergeOptions<$O extends Record<string, any>, $V extends {
+    [k in keyof $O]?: unknown;
+}> = {
+    [k in Exclude<keyof $O, keyof $V>]: $O[k];
+} & $V;
+//# sourceMappingURL=$merge_options.d.ts.map

package/esm/type_plus/$merge_options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$merge_options.d.ts","sourceRoot":"","sources":["../../src/type_plus/$merge_options.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACxB,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,EAAE,SAAS;KAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO;CAAE,IACrC;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAA"}

package/esm/type_plus/$merge_options.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=$merge_options.js.map

package/esm/type_plus/$merge_options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$merge_options.js","sourceRoot":"","sources":["../../src/type_plus/$merge_options.ts"],"names":[],"mappings":""}