type-plus 8.0.0-beta.3 → 8.0.0-beta.5

package/cjs/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,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC5E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,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,CAC1D,EAAE,EACF;QACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAC5B,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACjC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,GAChC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KACjC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}

package/cjs/tuple/is_not_tuple.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=is_not_tuple.js.map

package/cjs/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/cjs/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/cjs/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,CAAC,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACtE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACvB,CACD,CACD,CAAA;AAED,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,CAC1D,EAAE,EACF;QACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAC5B,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACjC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,GAChC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KACjC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}

package/cjs/tuple/is_tuple.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=is_tuple.js.map

package/cjs/tuple/is_tuple.js.map

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

package/cjs/tuple/tail.d.ts

@@ -0,0 +1,6 @@
+import type { UnionOfValues } from '../array/union_of_values.js';
+/**
+ * Gets the types of a tuple except the first entry.
+ */
+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/cjs/tuple/tail.d.ts.map

@@ -0,0 +1 @@
+{"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,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GACtC,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,GAC9B,IAAI,GACJ,KAAK,GACN,CAAC,CAAA"}

package/cjs/tuple/tail.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tail.js.map

package/cjs/tuple/tail.js.map

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

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

@@ -0,0 +1,32 @@
+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';
+/**
+ * ⚗️ *transform*
+ * 🔢 *customization*
+ *
+ * Gets the common property keys of the elements in tuple `T`.
+ *
+ * @example
+ * ```ts
+ * import { type TuplePlus } from 'type-plus'
+ *
+ * type R = TuplePlus.CommonPropKeys<[{ a: number }, { b: number }]> // never
+ * type R = TuplePlus.CommonPropKeys<[{ a: number, c: 1 }, { b: number, c: 2 }]> // 'c'
+ * ```
+ *
+ * @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> = 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 $Never.$Options {
+    }
+    interface DefaultOptions extends $Never.$Default {
+    }
+}
+//# sourceMappingURL=tuple_plus.common_prop_keys.d.ts.map

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

@@ -0,0 +1 @@
+{"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,CAAA;IACxB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACzB,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,MAAM,CAAC,CAAC,CAAC,CAAC,GACV,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,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,CAAA;CAC5D,CACD,CAAA;AAED,yBAAiB,cAAc,CAAC;IAC/B,UAAiB,OAAQ,SAAQ,MAAM,CAAC,QAAQ;KAAG;IAEnD,UAAiB,cAAe,SAAQ,MAAM,CAAC,QAAQ;KAAG;CAC1D"}

package/cjs/tuple/tuple_plus.common_prop_keys.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tuple_plus.common_prop_keys.js.map

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

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

package/cjs/tuple/tuple_plus.d.ts

@@ -0,0 +1,6 @@
+export type { CommonPropKeys } from './tuple_plus.common_prop_keys.js';
+export type { DropMatch } from './tuple_plus.drop_match.js';
+export type { Filter } from './tuple_plus.filter.js';
+export type { Find } from './tuple_plus.find.js';
+export type { PadStart } from './tuple_plus.pad_start.js';
+//# sourceMappingURL=tuple_plus.d.ts.map

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

@@ -0,0 +1 @@
+{"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/cjs/tuple/tuple_plus.drop_match.d.ts

@@ -0,0 +1,6 @@
+import type { IsEqual } from '../equal/equal.js';
+export type DropMatch<A extends Readonly<Array<unknown>>, Criteria> = A['length'] extends 0 ? A : A extends readonly [infer Head, ...infer Tail] ? Tail['length'] extends 0 ? undefined extends Criteria ? DropMatch.ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : DropMatch.ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : Exclude<Head, Criteria> extends never ? DropMatch<Tail, Criteria> : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>] : never[];
+export declare namespace DropMatch {
+    type ExcludeUnionOfEmptyTuple<A> = IsEqual<A, []> extends true ? A : Exclude<A, []>;
+}
+//# sourceMappingURL=tuple_plus.drop_match.d.ts.map

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

@@ -0,0 +1 @@
+{"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,GAEzF,CAAC,GACA,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAExB,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,GACzD,KAAK,EAAE,CAAA;AAEX,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/cjs/tuple/tuple_plus.drop_match.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tuple_plus.drop_match.js.map

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

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

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

@@ -0,0 +1,13 @@
+/**
+ * ⚗️ *transform*
+ *
+ * Filter entries matching `Criteria` in tuple `T`.
+ *
+ * @example
+ * ```ts
+ * type R = Filter<[1, 2, '3'], number> // [1, 2]
+ * type R = Filter<[1, 2, '3'], true> // []
+ * ```
+ */
+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/cjs/tuple/tuple_plus.filter.d.ts.map

@@ -0,0 +1 @@
+{"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,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,IAAI,SAAS,QAAQ,GACpB,CAAC,IAAI,CAAC,GACN,EAAE,GACH,IAAI,SAAS,QAAQ,GACpB,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACjC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,GACxB,KAAK,CAAA"}

package/cjs/tuple/tuple_plus.filter.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tuple_plus.filter.js.map

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

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

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

@@ -0,0 +1,67 @@
+import type { ElementMatch } from '../array/array_plus.element_match.js';
+import type { $Never } from '../never/never.js';
+import type { TypePlusOptions } from '../utils/options.js';
+import type { IsTuple } from './is_tuple.js';
+/**
+ * 🦴 *utilities*
+ * 🔢 *customizable*
+ *
+ * Find the first type in tuple `A` that matches `Criteria`.
+ *
+ * @example
+ * ```ts
+ * type R = TuplePlus.Find<[true, 1, 'x', 3], string> // 'x'
+ * type R = TuplePlus.Find<[true, 1, 'x', 3], number> // 1
+ * type R = TuplePlus.Find<[string, number, 1], 1> // widen: 1 | undefined
+ * type R = TuplePlus.Find<[true, number | string], string> // unionMiss: string | undefined
+ *
+ * type R = TuplePlus.Find<[true, 1, 'x'], 2> // never
+ * ```
+ *
+ * @typeParam Options['widen'] performs widen match.
+ * Default to `true`.
+ * 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['$widen']`
+ *
+ * @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['$never'] return type when `A` is `never`. Default to `never`.
+ *
+ * @typeParam Options['$notMatch'] Return value when `T` does not match `Criteria`.
+ * Default to `never`.
+ *
+ * @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['$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,
+ * you can override it to return `undefined`.
+ *
+ * Since it is a union, the result will be joined to the matched branch as union.
+ */
+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 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, $Never.$Options {
+        $array?: unknown;
+        $emptyTuple?: unknown;
+    }
+    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/cjs/tuple/tuple_plus.find.d.ts.map

@@ -0,0 +1 @@
+{"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,CACP,CAAC,EACD;IACC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC7E,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;CAClB,CACD,GACA,KAAK,CAAA;AACR,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,SAAS,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC7G,OAAO,CAAC,WAAW,CAAC,GACpB,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7C,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;KAAE,EAAE,OAAO,CAAC,CAAC,GAC5G,KAAK,CAAA;IACT,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ;QACrE,MAAM,CAAC,EAAE,OAAO,CAAA;QAChB,WAAW,CAAC,EAAE,OAAO,CAAA;KACrB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ;QACvG,MAAM,EAAE,6EAA6E,CAAA;QACrF,WAAW,EAAE,KAAK,CAAA;KAClB;CACD"}

package/cjs/tuple/tuple_plus.find.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tuple_plus.find.js.map

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

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

package/cjs/tuple/tuple_plus.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tuple_plus.js.map

package/cjs/tuple/tuple_plus.js.map

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

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

@@ -0,0 +1,25 @@
+/**
+ * Pad `T` with `PadWith` at the start of the tuple.
+ *
+ * If the `MaxLength` is less than the length of the tuple,
+ * the `Tuple` will be returned unchanged.
+ *
+ * ⚗️ *transform*
+ *
+ * @example
+ * ```ts
+ * PadStart<[1, 2, 3], 5, 0> // [0, 0, 1, 2, 3]
+ *
+ * // Ignore if MaxLength is less than the length of the tuple
+ * PadStart<[1, 2, 3], 2> // [1, 2, 3]
+ *
+ * // Default to unknown
+ * PadStart<[1, 2, 3], 5> // [unknown, unknown, 1, 2, 3]
+ * ```
+ */
+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 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 readonly [...infer Head, infer Tail] ? Device<Head, MaxLength, PadWith, [Tail, ...Result]> : Source;
+}
+//# sourceMappingURL=tuple_plus.pad_start.d.ts.map

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

@@ -0,0 +1 @@
+{"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,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,EAAE,SAAS,SAAS,MAAM,EAAE,OAAO,GAAG,OAAO,IAAI,QAAQ,CAAC,MAAM,CACpH,KAAK,EACL,SAAS,EACT,OAAO,EACP;CAAE,CACF,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,MAAM,CACjB,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,IACrB,MAAM,CAAC,QAAQ,CAAC,SAAS,SAAS,GACnC,MAAM,SAAS,EAAE,GAChB,MAAM,GACN,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GAClD,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,MAAM,CAAC,SAAS,OAAO,EAAE,GAClD,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GACrC,KAAK,GACN,KAAK,GACP,MAAM,SAAS,EAAE,GAChB,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GACxD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GAClD,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,GACnD,MAAM,CAAA;CACX"}

package/cjs/tuple/tuple_plus.pad_start.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tuple_plus.pad_start.js.map

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

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

package/cjs/type/failed.d.ts

@@ -0,0 +1,32 @@
+declare const uniSym: unique symbol;
+/**
+ * A failed type with message.
+ *
+ * This is analogous to the `Error` class in JavaScript.
+ *
+ * It can be used in type-level programming to failed an error message.
+ *
+ * If you want to add additional type information,
+ * use `FailedT` or create your own failed type instead.
+ *
+ * ```ts
+ * type T = Failed<'error message'>
+ * ```
+ */
+export interface Failed<Msg extends string> {
+    [uniSym]: Msg;
+}
+/**
+ * A failed type with message and one additional type.
+ *
+ * Use this to add a generic type to the failed type.
+ *
+ * e.g. `FailedT<'missing', number | string>`
+ *
+ * It's recommended to create custom failed types instead of using this to provide better message.
+ */
+export interface FailedT<Msg extends string, _T> {
+    [uniSym]: Msg;
+}
+export {};
+//# sourceMappingURL=failed.d.ts.map

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

@@ -0,0 +1 @@
+{"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/cjs/type/failed.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=failed.js.map

package/cjs/type/failed.js.map

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

package/cjs/type/no_infer.d.ts

@@ -0,0 +1,28 @@
+import type { IsNull } from '../null/is_null.js';
+import type { Or } from '../predicates/logical.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`.
+ *
+ * 🦴 *utilities*
+ *
+ * @ajafff original version author
+ * @see https://github.com/microsoft/TypeScript/issues/14829#issuecomment-298425341
+ *
+ * @example
+ * ```ts
+ * function assertEqual<T>(a: T, b: NoInfer<T>) {
+ *   return a === b
+ * }
+ *
+ * assertEqual(123, 324) // OK
+ * assertEqual(123, 'abc') // Error
+ * assertEqual({ x: 1 }, { x: 1, y: 2 }) // Error
+ * ```
+ *
+ * A build-in `NoInfer` is coming soon.
+ * @see https://github.com/microsoft/TypeScript/pull/52968
+ */
+export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T, $SelectionPredicate>, T, T & {}>;
+//# sourceMappingURL=no_infer.d.ts.map

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

@@ -0,0 +1 @@
+{"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/cjs/type/no_infer.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=no_infer.js.map

package/cjs/type/no_infer.js.map

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

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

@@ -0,0 +1,27 @@
+import type { IsEqual } from '../equal/equal.js';
+/**
+ * Is the subject of type T
+ */
+export declare function isType<T>(subject: T): subject is T;
+/**
+ * Is the subject of type T, satisfying the supplied validator
+ */
+export declare function isType<T>(subject: unknown, validator: (s: T) => unknown): subject is T;
+export declare namespace isType {
+    var t: <T extends true>(subject?: T | undefined) => boolean;
+    var f: <T extends false>(subject?: T | undefined) => boolean;
+    var never: typeof isNever;
+    var equal: <_C extends IsEqual<A, B>, A, B>() => void;
+}
+/**
+ * Check is the type `never`
+ * @deprecated use `isType<T>()` or `testType.never<T>()` instead
+ */
+declare function isNever<_S extends never>(): unknown;
+/**
+ * Check is the value is type `never`
+ * @deprecated use `isType<T>()` or `testType.never<T>()` instead
+ */
+declare function isNever(subject: never): subject is never;
+export {};
+//# sourceMappingURL=is_type.d.ts.map

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

@@ -0,0 +1 @@
+{"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/cjs/type-guard/is_type.js

@@ -0,0 +1,28 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isType = void 0;
+function isType(subject, validator) {
+    return validator ? !!validator(subject) : true;
+}
+exports.isType = isType;
+/**
+ * @deprecated use `isType<T>()` or `testType.true<T>()` instead
+ */
+isType.t = (subject) => subject === undefined || subject === true;
+/**
+ * @deprecated use `isType<T>()` or `testType.false<T>()` instead
+ */
+isType.f = (subject) => subject === undefined || subject === false;
+function isNever(_subject) {
+    return true;
+}
+isType.never = isNever;
+/**
+ * Are types A and B equals/not equals.
+ * Easier to use than `isType.t<>()` and `isType.f<>()`,
+ * when doing type level only equality comparison as you don't have to import `Equal<>`.
+ *
+ * @deprecated use `testType.equal()` instead
+ */
+isType.equal = () => { };
+//# sourceMappingURL=is_type.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../src/type-guard/is_type.ts"],"names":[],"mappings":";;;AAUA,SAAgB,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;AAFD,wBAEC;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/cjs/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/cjs/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,GAAG,oBAAoB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IACzG,KAAY,OAAO,CAAC,EAAE,SAAS,iBAAiB,GAAG,EAAE,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;CAC7E"}

package/cjs/type_plus/$equality.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=$equality.js.map

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

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

package/cjs/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/cjs/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/cjs/type_plus/$error.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=$error.js.map

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

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

package/cjs/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/cjs/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,GACnE,KAAK,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAAE,EAAE,CAAC,CAAC,GAC1C,KAAK,CAAA"}

package/cjs/type_plus/$infer_error.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=$infer_error.js.map

package/cjs/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/cjs/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