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

package/cjs/testing/test_type.d.ts

@@ -0,0 +1,350 @@
+import type { IsAny } from '../any/is_any.js';
+import type { IsArray } from '../array/is_array.js';
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsBoolean } from '../boolean/is_boolean.js';
+import type { IsFalse } from '../boolean/is_false.js';
+import type { IsTrue } from '../boolean/is_true.js';
+import type { IsEqual } from '../equal/equal.js';
+import type { IsFunction } from '../function/is_function.js';
+import type { IsStrictFunction } from '../function/is_strict_function.js';
+import type { IsNever } from '../never/is_never.js';
+import type { IsNull } from '../null/is_null.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { IsObject } from '../object/is_object.js';
+import type { Assignable } from '../predicates/assignable.js';
+import type { IsString } from '../string/is_string.js';
+import type { IsSymbol } from '../symbol/is_symbol.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
+import type { IsUndefined } from '../undefined/is_undefined.js';
+import type { IsUnknown } from '../unknown/is_unknown.js';
+import type { IsVoid } from '../void/is_void.js';
+export declare namespace testType {
+    interface TestType {
+        /**
+         * Check if type `A` is equal to type `B` and `C`.
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        equal<A, B, C>(expected: IsEqual<A, B> & IsEqual<A, C>): A;
+        /**
+         * Check if type `A` is equal to type `B`.
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        equal<A, B>(expected: IsEqual<A, B>): A;
+        /**
+         * Check if `A` can assign to `B`.
+         *
+         * If `A` is a union,
+         * the check is distributive.
+         *
+         * Meaning the result can be `boolean`,
+         * meaning both `true` and `false` will pass.
+         *
+         * If you want to avoid the distributivity,
+         * use `testType.strictCanAssign()` instead.
+         *
+         * @example
+         * ```ts
+         * testType.canAssign<123, number> // true
+         *
+         * testType.canAssign<number | string, number> // boolean
+         * ```
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        canAssign<A, B>(expected: Assignable<A, B>): A;
+        /**
+         * Check if `A` can fully assign to `B`.
+         *
+         * This checks all branches in an union `A` are assignable to `B`.
+         *
+         * @example
+         * ```ts
+         * testType.strictCanAssign<number | string, number | string> // true
+         *
+         * testType.strictCanAssign<number | string, number> // false
+         * ```
+         *
+         * @return `expected` as `A` for type inspection.
+         */
+        strictCanAssign<A, B>(expected: Assignable<A, B, {
+            distributive: false;
+        }>): A;
+        /**
+         * Check if type `T` is exactly `any`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        any<T>(expected: IsAny<T>): T;
+        /**
+         * Check if type `T` is exactly `array`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        array<T>(expected: IsArray<T, {
+            exact: true;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `bigint`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictBigint<T>(expected: IsBigint<T, {
+            distributive: false;
+            exact: true;
+        }>): T;
+        /**
+         * Check if type `T` is `bigint` or bigint literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        bigint<T>(expected: IsBigint<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `boolean`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictBoolean<T>(expected: IsBoolean<T, {
+            distributive: false;
+            exact: true;
+        }>): T;
+        /**
+         * Check if type `T` is `boolean` and boolean literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        boolean<T>(expected: IsBoolean<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `true`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        true<T>(expected: IsTrue<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `false`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        false<T>(expected: IsFalse<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `boolean`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictFunction<T>(expected: IsStrictFunction<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is `boolean` and boolean literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        function<T>(expected: IsFunction<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `never`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        never<T>(expected: IsNever<T>): T;
+        /**
+         * Check if type `T` is exactly `null`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        null<T>(expected: IsNull<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `number`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictNumber<T>(expected: IsNumber<T, {
+            distributive: false;
+            exact: true;
+        }>): T;
+        /**
+         * Check if type `T` is `number` or number literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        number<T>(expected: IsNumber<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is `object`.
+         *
+         * Note that `Function`, `Array`, and *tuple* are also `object`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        object<T>(expected: IsObject<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `string`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        strictString<T>(expected: IsString<T, {
+            distributive: false;
+            exact: true;
+        }>): T;
+        /**
+         * Check if type `T` is `string` or string literals.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        string<T>(expected: IsString<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is a `symbol`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        symbol<T>(expected: IsSymbol<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is a *tuple*.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        tuple<T>(expected: IsTuple<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `undefined`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        undefined<T>(expected: IsUndefined<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * Check if type `T` is exactly `unknown`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        unknown<T>(expected: IsUnknown<T>): T;
+        /**
+         * Check if type `T` is exactly `void`.
+         *
+         * @return `expected` as `T` for type inspection.
+         */
+        void<T>(expected: IsVoid<T, {
+            distributive: false;
+        }>): T;
+        /**
+         * A quick way to inspect a type.
+         *
+         * The handler receives a `InspectedType` object.
+         * It contains `value` which is typed to `T`,
+         * and many other properties to inspect the behavior of `T`.
+         *
+         * The handler is not being call,
+         * it is use to hold the type in value for inspection.
+         *
+         * 🧪 *testing*
+         * 🦴 *utilities*
+         *
+         * @example
+         * ```ts
+         * testType.inspect<SomeType>(t => {
+         *   type T = typeof t.value // resolve and inspect the type `T`
+         *   t.extend_boolean // result of `T extends boolean`
+         * })
+         * ```
+         *
+         * After trying out the type, remove the line.
+         */
+        inspect<T>(handler: (t: InspectedType<T>) => unknown): T;
+    }
+    type InspectedType<T> = {
+        type: T;
+        extends<R>(): T extends R ? true : false;
+        extends_any: T extends any ? true : false;
+        extends_unknown: T extends unknown ? true : false;
+        extends_void: T extends void ? true : false;
+        extends_never: T extends never ? true : false;
+        extends_undefined: T extends undefined ? true : false;
+        extends_null: T extends null ? true : false;
+        extends_boolean: T extends boolean ? true : false;
+        extends_true: T extends true ? true : false;
+        extends_false: T extends false ? true : false;
+        extends_number: T extends number ? true : false;
+        extends_1: T extends 1 ? true : false;
+        extends_bigint: T extends bigint ? true : false;
+        extends_1n: T extends 1n ? true : false;
+        extends_string: T extends string ? true : false;
+        extends_a: T extends 'a' ? true : false;
+        extends_symbol: T extends symbol ? true : false;
+        extends_object: T extends object ? true : false;
+        extends_function: T extends Function ? true : false;
+        extends_array_unknown: T extends unknown[] ? true : false;
+        extends_tuple_empty: T extends [] ? true : false;
+        union<R>(): T | R;
+        union_any: T | any;
+        union_unknown: T | unknown;
+        union_void: T | void;
+        union_never: T | never;
+        union_undefined: T | undefined;
+        union_null: T | null;
+        union_boolean: T | boolean;
+        union_true: T | true;
+        union_false: T | false;
+        union_number: T | number;
+        union_1: T | 1;
+        union_bigint: T | bigint;
+        union_1n: T | 1n;
+        union_string: T | string;
+        union_a: T | 'a';
+        union_symbol: T | symbol;
+        union_object: T | object;
+        union_function: T | Function;
+        union_array_unknown: T | unknown[];
+        union_tuple_empty: T | [];
+        intersect<R>(): T & R;
+        intersect_any: T & any;
+        intersect_unknown: T & unknown;
+        intersect_void: T & void;
+        intersect_never: T & never;
+        intersect_undefined: T & undefined;
+        intersect_null: T & null;
+        intersect_boolean: T & boolean;
+        intersect_true: T & true;
+        intersect_false: T & false;
+        intersect_number: T & number;
+        intersect_1: T & 1;
+        intersect_bigint: T & bigint;
+        intersect_1n: T & 1n;
+        intersect_string: T & string;
+        intersect_a: T & 'a';
+        intersect_symbol: T & symbol;
+        intersect_object: T & object;
+        intersect_function: T & Function;
+        intersect_array_unknown: T & unknown[];
+        intersect_tuple_empty: T & [];
+    };
+}
+/**
+ * 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.
+ */
+export declare const testType: testType.TestType;
+//# sourceMappingURL=test_type.d.ts.map

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,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.drop = void 0;
+/**
+ * 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);
+}
+exports.drop = drop;
+//# 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":";;;AAmHA;;;;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;AAFD,oBAEC"}

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