type-plus 8.0.0-beta.2 → 8.0.0-beta.4

package/cjs/testing/test_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../src/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAA;AACzE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAEhD,yBAAiB,QAAQ,CAAC;IACzB,UAAiB,QAAQ;QACxB;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;QAC1D;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;QACvC;;;;;;;;;;;;;;;;;;;;WAoBG;QACH,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9C;;;;;;;;;;;;;WAaG;QACH,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC7E;;;;WAIG;QACH,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC7B;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE;YAAE,KAAK,EAAE,IAAI,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAClD;;;;WAIG;QACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAC;YAAC,KAAK,EAAE,IAAI,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC/E;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC5D;;;;WAIG;QACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAC;YAAC,KAAK,EAAE,IAAI,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QACjF;;;;WAIG;QACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC9D;;;;WAIG;QACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QACxD;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC1D;;;;WAIG;QACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC5E;;;;WAIG;QACH,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAChE;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACjC;;;;WAIG;QACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QACxD;;;;WAIG;QACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAC;YAAC,KAAK,EAAE,IAAI,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC/E;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC5D;;;;;;WAMG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC5D;;;;WAIG;QACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAC;YAAC,KAAK,EAAE,IAAI,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC/E;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC5D;;;;WAIG;QACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC5D;;;;WAIG;QACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAC1D;;;;WAIG;QACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QAElE;;;;WAIG;QACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACrC;;;;WAIG;QACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE;YAAE,YAAY,EAAE,KAAK,CAAA;SAAE,CAAC,GAAG,CAAC,CAAA;QACxD;;;;;;;;;;;;;;;;;;;;;;WAsBG;QACH,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,CAAC,CAAA;KACxD;IAED,KAAY,aAAa,CAAC,CAAC,IAAI;QAC9B,IAAI,EAAE,CAAC,CAAA;QACP,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;QACxC,WAAW,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAA;QACzC,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAA;QACjD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;QAC3C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;QAC7C,iBAAiB,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,KAAK,CAAA;QACrD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;QAC3C,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAA;QACjD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;QAC3C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;QAC7C,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;QAC/C,SAAS,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;QACrC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;QAC/C,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;QACvC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;QAC/C,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAA;QACvC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;QAC/C,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;QAC/C,gBAAgB,EAAE,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,KAAK,CAAA;QACnD,qBAAqB,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;QACzD,mBAAmB,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;QAChD,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACjB,SAAS,EAAE,CAAC,GAAG,GAAG,CAAA;QAClB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAA;QAC1B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAA;QACpB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAA;QACtB,eAAe,EAAE,CAAC,GAAG,SAAS,CAAA;QAC9B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAA;QACpB,aAAa,EAAE,CAAC,GAAG,OAAO,CAAA;QAC1B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAA;QACpB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAA;QACtB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAA;QACxB,OAAO,EAAE,CAAC,GAAG,CAAC,CAAA;QACd,YAAY,EAAE,CAAC,GAAG,MAAM,CAAA;QACxB,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAA;QAChB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAA;QACxB,OAAO,EAAE,CAAC,GAAG,GAAG,CAAA;QAChB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAA;QACxB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAA;QACxB,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAA;QAC5B,mBAAmB,EAAE,CAAC,GAAG,OAAO,EAAE,CAAA;QAClC,iBAAiB,EAAE,CAAC,GAAG,EAAE,CAAA;QACzB,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACrB,aAAa,EAAE,CAAC,GAAG,GAAG,CAAA;QACtB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAA;QAC9B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAA;QACxB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAA;QAC1B,mBAAmB,EAAE,CAAC,GAAG,SAAS,CAAA;QAClC,cAAc,EAAE,CAAC,GAAG,IAAI,CAAA;QACxB,iBAAiB,EAAE,CAAC,GAAG,OAAO,CAAA;QAC9B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAA;QACxB,eAAe,EAAE,CAAC,GAAG,KAAK,CAAA;QAC1B,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAA;QAC5B,WAAW,EAAE,CAAC,GAAG,CAAC,CAAA;QAClB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAA;QAC5B,YAAY,EAAE,CAAC,GAAG,EAAE,CAAA;QACpB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAA;QAC5B,WAAW,EAAE,CAAC,GAAG,GAAG,CAAA;QACpB,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAA;QAC5B,gBAAgB,EAAE,CAAC,GAAG,MAAM,CAAA;QAC5B,kBAAkB,EAAE,CAAC,GAAG,QAAQ,CAAA;QAChC,uBAAuB,EAAE,CAAC,GAAG,OAAO,EAAE,CAAA;QACtC,qBAAqB,EAAE,CAAC,GAAG,EAAE,CAAA;KAC7B,CAAA;CACD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,mBAInB,CAAA"}

package/cjs/testing/test_type.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.testType = void 0;
+/**
+ * Test utilities for types.
+ *
+ * This is designed specifically for testing.
+ * The return value is the input `expected` parameter asserted as the first type parameter,
+ * so that the type can be further inspected.
+ */
+exports.testType = new Proxy({}, {
+    get(_target, _prop, _receiver) {
+        return (expected) => expected;
+    },
+});
+//# sourceMappingURL=test_type.js.map

package/cjs/testing/test_type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../src/testing/test_type.ts"],"names":[],"mappings":";;;AA6SA;;;;;;GAMG;AACU,QAAA,QAAQ,GAAG,IAAI,KAAK,CAAC,EAAuB,EAAE;IAC1D,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS;QAC5B,OAAO,CAAC,QAAiB,EAAE,EAAE,CAAC,QAAQ,CAAA;IACvC,CAAC;CACD,CAAC,CAAA"}

package/cjs/tuple/common_prop_keys.d.ts

@@ -0,0 +1,34 @@
+import type { CommonPropKeys as ArrayCommonPropKeys } from '../array/array_plus.common_prop_keys.js';
+import type { KeyTypes } from '../object/KeyTypes.js';
+import type { CommonPropKeys as TupleCommonPropKeys } from './tuple_plus.common_prop_keys.js';
+/**
+ * ⚗️ *transform*
+ * 🔢 *customization*
+ *
+ * Gets the common property keys of the elements in tuple or array `T`.
+ *
+ * @example
+ * ```ts
+ * import { CommonPropKeys } from 'type-plus'
+ *
+ * type R = CommonPropKeys<[{ a: number }, { b: number }]> // never
+ * type R = 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> = number extends T['length'] ? ArrayCommonPropKeys<T> : TupleCommonPropKeys<T, Options>;
+export declare namespace CommonPropKeys {
+    interface Options extends TupleCommonPropKeys.Options {
+    }
+    interface DefaultOptions extends TupleCommonPropKeys.DefaultOptions {
+    }
+}
+/**
+ * Gets the common property keys of the elements in `A`.
+ *
+ * @deprecated Please use `CommonPropKeys` instead.
+ */
+export type CommonKeys<A extends Record<KeyTypes, any>[]> = CommonPropKeys<A>;
+//# sourceMappingURL=common_prop_keys.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"common_prop_keys.d.ts","sourceRoot":"","sources":["../../src/tuple/common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,yCAAyC,CAAA;AACpG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,kCAAkC,CAAA;AAE7F;;;;;;;;;;;;;;;;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,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AAEzF,yBAAiB,cAAc,CAAC;IAC/B,UAAiB,OAAQ,SAAQ,mBAAmB,CAAC,OAAO;KAAG;IAE/D,UAAiB,cAAe,SAAQ,mBAAmB,CAAC,cAAc;KAAG;CAC7E;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,IAAI,cAAc,CAAC,CAAC,CAAC,CAAA"}

package/cjs/tuple/common_prop_keys.js

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

package/cjs/tuple/common_prop_keys.js.map

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

package/cjs/tuple/create_tuple.d.ts

@@ -0,0 +1,28 @@
+import type { DigitArray } from '../math/numeric_struct.js';
+import type { IsInteger } from '../numeric/is_integer.js';
+import type { IsPositive } from '../numeric/is_positive.js';
+/**
+ * Creates `Tuple<T>` with `L` number of elements.
+ * @note Other cool implementations by @lazytype, @jcalz:
+ * @see https://github.com/microsoft/TypeScript/issues/26223#issuecomment-674514787
+ * @see https://github.com/microsoft/TypeScript/issues/47874#issuecomment-1039157322
+ */
+export type CreateTuple<L extends number, T = unknown, Fail = never> = number extends L ? T[] : IsPositive<L> extends true ? IsInteger<L> extends true ? ToTuple<[], DigitArray.FromString<`${L}`>, T> : Fail : Fail;
+export type ToTuple<R extends any[], S extends number[], X = any> = S['length'] extends 0 ? R : S['length'] extends 1 ? [...R, ...DigitToTuple<X>[S[0]]] : S extends [any, ...infer T] ? T extends any[] ? ToTuple<Multi10<[...R, ...DigitToTuple<X>[S[0]]]>, T> : never : never;
+type DigitToTuple<T = 1> = {
+    [k in number]: any[];
+} & {
+    0: [];
+    1: [T];
+    2: [T, T];
+    3: [T, T, T];
+    4: [T, T, T, T];
+    5: [T, T, T, T, T];
+    6: [T, T, T, T, T, T];
+    7: [T, T, T, T, T, T, T];
+    8: [T, T, T, T, T, T, T, T];
+    9: [T, T, T, T, T, T, T, T, T];
+};
+type Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C];
+export {};
+//# sourceMappingURL=create_tuple.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"create_tuple.d.ts","sourceRoot":"","sources":["../../src/tuple/create_tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GACpF,CAAC,EAAE,GACH,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7C,IAAI,GACL,IAAI,CAAA;AACR,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtF,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,GAAG,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,GAC1B,CAAC,SAAS,GAAG,EAAE,GACd,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACrD,KAAK,GACN,KAAK,CAAA;AAEV,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI;KACzB,CAAC,IAAI,MAAM,GAAG,GAAG,EAAE;CACpB,GAAG;IACH,CAAC,EAAE,EAAE,CAAA;IACL,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACT,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACZ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACf,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC9B,CAAA;AACD,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA"}

package/cjs/tuple/create_tuple.js

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

package/cjs/tuple/create_tuple.js.map

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

package/cjs/tuple/drop.d.ts

@@ -0,0 +1,91 @@
+import type { DropMatch as ArrayDropMatch } from '../array/array_plus.drop_match.js';
+import type { DropMatch as TupleDropMatch } from './tuple_plus.drop_match.js';
+/**
+ * ⚗️ *transform*
+ * 🔢 *customizable*
+ *
+ * Drops the first entry in the tuple `T`.
+ *
+ * If the type is an array, the same array will be returned.
+ *
+ * @example
+ * ```ts
+ * type R = DropFirst<[1, 2, 3]> // [2, 3]
+ * type R = DropFirst<[string]> // []
+ * type R = DropFirst<[]> // []
+ * type R = DropFirst<string[]> // string[]
+ * ```
+ *
+ * @typeParam Options['$array'] Return type when `T` is `Array`.
+ * Default to `T`.
+ *
+ * @typeParam Options['caseEmptyTuple'] Return type when `T` is an empty tuple.
+ * Default to `[]`.
+ */
+export type DropFirst<T extends unknown[], Options extends DropFirst.Options = DropFirst.DefaultOptions<T>> = number extends T['length'] ? Options['$array'] : T['length'] extends 0 ? Options['caseEmptyTuple'] : T['length'] extends 1 ? [] : T extends [any, ...infer Tail] ? Tail : never;
+export declare namespace DropFirst {
+    interface Options {
+        $array?: unknown;
+        caseEmptyTuple?: unknown;
+    }
+    interface DefaultOptions<T> {
+        $array: T;
+        caseEmptyTuple: [];
+    }
+}
+/**
+ * ⚗️ *transform*
+ * 🔢 *customizable*
+ *
+ * Drops the last entry in the tuple `T`.
+ *
+ * If the type is an array, the same array will be returned.
+ *
+ * @example
+ * ```ts
+ * type R = DropLast<[1, 2, 3]> // [2, 3]
+ * type R = DropLast<[string]> // []
+ * type R = DropLast<[]> // []
+ * type R = DropLast<string[]> // string[]
+ * ```
+ *
+ * @typeParam Options['$array'] Return type when `T` is `Array`.
+ * Default to `T`.
+ *
+ * @typeParam Options['caseEmptyTuple'] Return type when `T` is an empty tuple.
+ * Default to `[]`.
+ */
+export type DropLast<T extends unknown[], Cases extends DropLast.Options = DropLast.DefaultOptions<T>> = number extends T['length'] ? Cases['$array'] : T['length'] extends 0 ? Cases['caseEmptyTuple'] : T['length'] extends 1 ? [] : T extends [...infer Heads, any] ? Heads : never;
+export declare namespace DropLast {
+    interface Options {
+        $array?: unknown;
+        caseEmptyTuple?: unknown;
+    }
+    interface DefaultOptions<T> {
+        $array: T;
+        caseEmptyTuple: [];
+    }
+}
+/**
+ * ⚗️ *transform*
+ *
+ * Drops entries matching `Criteria` in array or tuple `A`.
+ *
+ * @example
+ * ```ts
+ * type R = DropMatch<Array<string | undefined>, undefined> // string[]
+ * type R = DropMatch<Array<string>, string> // never[]
+ * type R = DropMatch<Array<1 | 2>, number> // never[]
+ * ```
+ */
+export type DropMatch<A extends Readonly<Array<unknown>>, Criteria> = number extends A['length'] ? ArrayDropMatch<A, Criteria> : TupleDropMatch<A, Criteria>;
+export type DropNull<A extends Array<any>> = DropMatch<A, null>;
+export type DropNullable<A extends Array<any>> = DropMatch<A, null | undefined>;
+export type DropUndefined<A extends Array<any>> = DropMatch<A, undefined>;
+/**
+ * drop a particular value from an array.
+ *
+ * 💀 *deprecated* the type does not sufficiently cover the use cases.
+ */
+export declare function drop<A extends Readonly<unknown[]>, const C>(array: A, value: C): DropMatch<A, C>;
+//# sourceMappingURL=drop.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"drop.d.ts","sourceRoot":"","sources":["../../src/tuple/drop.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,IAAI,cAAc,EAAE,MAAM,mCAAmC,CAAA;AACpF,OAAO,KAAK,EAAE,SAAS,IAAI,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,SAAS,CACpB,CAAC,SAAS,OAAO,EAAE,EACnB,OAAO,SAAS,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,IAC5D,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC3B,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,OAAO,CAAC,gBAAgB,CAAC,GACzB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,EAAE,GACF,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7B,IAAI,GACJ,KAAK,CAAA;AAEX,yBAAiB,SAAS,CAAC;IAC1B,UAAiB,OAAO;QACvB,MAAM,CAAC,EAAE,OAAO,CAAA;QAChB,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IACD,UAAiB,cAAc,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,CAAA;QACT,cAAc,EAAE,EAAE,CAAA;KAClB;CACD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,QAAQ,CACnB,CAAC,SAAS,OAAO,EAAE,EACnB,KAAK,SAAS,QAAQ,CAAC,OAAO,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IACxD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC3B,KAAK,CAAC,QAAQ,CAAC,GACf,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,CAAC,gBAAgB,CAAC,GACvB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,EAAE,GACF,CAAC,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,GAAG,CAAC,GAC9B,KAAK,GACL,KAAK,CAAA;AAEX,yBAAiB,QAAQ,CAAC;IACzB,UAAiB,OAAO;QACvB,MAAM,CAAC,EAAE,OAAO,CAAA;QAChB,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IACD,UAAiB,cAAc,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,CAAA;QACT,cAAc,EAAE,EAAE,CAAA;KAClB;CACD;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC7F,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,GAC3B,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE9B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC/D,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAA;AAC/E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAEzE;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAEhG"}

package/cjs/tuple/drop.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.drop = drop;
+/**
+ * drop a particular value from an array.
+ *
+ * 💀 *deprecated* the type does not sufficiently cover the use cases.
+ */
+function drop(array, value) {
+    return array.filter((v) => v !== value);
+}
+//# sourceMappingURL=drop.js.map

package/cjs/tuple/drop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../src/tuple/drop.ts"],"names":[],"mappings":";;AAwHA,oBAEC;AAPD;;;;GAIG;AACH,SAAgB,IAAI,CAAyC,KAAQ,EAAE,KAAQ;IAC9E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAoB,CAAA;AAC3D,CAAC"}

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