type-plus 7.6.2 → 8.0.0-beta.10

package/cjs/$type/special/$never.d.ts

@@ -0,0 +1,52 @@
+import type { $Branch } from '../branch/$branch.js';
+/**
+ * Branch selector for type `never`.
+ */
+export type $Never = $Branch<'$never'>;
+declare const $never: '$never';
+export declare namespace $Never {
+    type $Key = '$never';
+    /**
+     * Options to specifically handles the `never` type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options extends $Never.$Options> = ...
+     * ```
+     */
+    type $Options = {
+        [$never]?: unknown;
+    };
+    /**
+     * Branch option to specifically handles the `never` type.
+     *
+     * Use this to finely customize the behavior of your type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options $Never.$Options> = ...
+     *
+     * type R = YourType<T, $Never.$Branch> extends $Never ? HandleNever : HandleOthers
+
+     * ```
+     */
+    type $Branch = {
+        [$never]: $Never;
+    };
+    /**
+     * Default option for the `$never` branch.
+     *
+     * Unsurprisingly, defaulting `$never` to `never`.
+     */
+    type $Default = {
+        [$never]: never;
+    };
+}
+/**
+ * Branch selector for type is not `never`.
+ *
+ * It is used in [`IsNever`](../../never/is_never.ts).
+ */
+export type $NotNever = $Branch<'$not_never'>;
+export {};
+//# sourceMappingURL=$never.d.ts.map

package/cjs/$type/special/$never.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$never.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;AAEtC,OAAO,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAA;AAE9B,yBAAiB,MAAM,CAAC;IACvB,KAAY,IAAI,GAAG,QAAQ,CAAA;IAE3B;;;;;;;OAOG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IAE7C;;;;;;;;;;;;OAYG;IACH,KAAY,OAAO,GAAG;QAAE,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAE1C;;;;OAIG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;KAAE,CAAA;CAC1C;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA"}

package/cjs/$type/special/$never.js

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

package/cjs/$type/special/$never.js.map

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

package/cjs/$type/special/$special.d.ts

@@ -0,0 +1,31 @@
+import type { $BranchOptions } from '../branch/$branch.js';
+import type { $InputOptions } from '../branch/$input_options.js';
+import type { $ResolveBranch } from '../branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../branch/$selection.js';
+import type { $Any } from './$any.js';
+import type { $Never } from './$never.js';
+import type { $Unknown } from './$unknown.js';
+import type { $Void } from './$void.js';
+/**
+ * A type to handle special types: `any`, `unknown`, `never`, and `void`.
+ *
+ * @example
+ * ```ts
+ * type YourType<T, $Options extends $Special.Options> = Special<T,
+ * {
+ *   $any: $ResolveBranch<$Options, [$Any, ...], T>
+ *   $unknown: $ResolveBranch<$Options, [$Unknown, ...], T>
+ *   $never: $ResolveBranch<$Options, [$Never, ...], T>
+ *   $void: $ResolveBranch<$Options, [$Void, ...], T>
+ *   $then: $ResolveBranch<$Options, [...], T>
+ *   $else: $ResolveBranch<$Options, [...], T>
+ * }>
+ *
+ * @since 🏷️ 8.0.0
+ */
+export type $Special<T, $O extends $Special.Options = {}> = 0 extends 1 & T ? $ResolveBranch<$O, [$Any, $Then], T> : [T, unknown] extends [unknown, T] ? $ResolveBranch<$O, [$Unknown, $Then], T> : [T, never] extends [never, T] ? $ResolveBranch<$O, [$Never, $Then], T> : [T, void] extends [void, T] ? $ResolveBranch<$O, [$Void, $Then], T> : $ResolveBranch<$O, [$Else]>;
+export declare namespace $Special {
+    type Options = $Selection.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type Branch = $Selection.Branch & $BranchOptions<$Any | $Unknown | $Never | $Void>;
+}
+//# sourceMappingURL=$special.d.ts.map

package/cjs/$type/special/$special.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$special.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$special.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAClE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AACvE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,OAAO,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GACxE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACpC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAChC,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACxC,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACtC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAC1B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACrC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAEjC,yBAAiB,QAAQ,CAAC;IACzB,KAAY,OAAO,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAC1F,KAAY,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,cAAc,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;CACzF"}

package/cjs/$type/special/$special.js

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

package/cjs/$type/special/$special.js.map

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

package/cjs/$type/special/$unknown.d.ts

@@ -0,0 +1,37 @@
+import type { $Branch } from '../branch/$branch.js';
+/**
+ * Branch selector for type `unknown`.
+ */
+export type $Unknown = $Branch<'$unknown'>;
+declare const $unknown: '$unknown';
+export declare namespace $Unknown {
+    type $Key = '$unknown';
+    /**
+     * Options to specifically handles the `unknown` type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options extends $Unknown.$Options> = ...
+     * ```
+     */
+    type $Options = {
+        [$unknown]?: unknown;
+    };
+    /**
+     * Branch option to specifically handles the `unknown` type.
+     *
+     * Use this to finely customize the behavior of your type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options $Unknown.$Options> = ...
+     *
+     * type R = YourType<T, $Unknown.$Branch> extends $Unknown ? HandleUnknown : HandleOthers
+     * ```
+     */
+    type $Branch = {
+        [$unknown]: $Unknown;
+    };
+}
+export {};
+//# sourceMappingURL=$unknown.d.ts.map

package/cjs/$type/special/$unknown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$unknown.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;AAE1C,OAAO,CAAC,MAAM,QAAQ,EAAE,UAAU,CAAA;AAElC,yBAAiB,QAAQ,CAAC;IACzB,KAAY,IAAI,GAAG,UAAU,CAAA;IAC7B;;;;;;;OAOG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IAE/C;;;;;;;;;;;OAWG;IACH,KAAY,OAAO,GAAG;QAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;KAAE,CAAA;CAC9C"}

package/cjs/$type/special/$unknown.js

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

package/cjs/$type/special/$unknown.js.map

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

package/cjs/$type/special/$void.d.ts

@@ -0,0 +1,46 @@
+import type { $Branch } from '../branch/$branch.js';
+/**
+ * Branch selector for type `void`.
+ */
+export type $Void = $Branch<'$void'>;
+declare const $void: '$void';
+export declare namespace $Void {
+    type $Key = '$void';
+    /**
+     * Options to specifically handles the `void` type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options extends $Void.$Options> = ...
+     * ```
+     */
+    type $Options = {
+        [$void]?: unknown;
+    };
+    /**
+     * Branch option to specifically handles the `void` type.
+     *
+     * Use this to finely customize the behavior of your type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options $Void.$Options> = ...
+     *
+     * type R = YourType<T, $Void.$Branch> extends $Void ? HandleNever : HandleOthers
+
+     * ```
+     */
+    type $Branch = {
+        [$void]: $Void;
+    };
+    /**
+     * Default option for the `$void` branch.
+     *
+     * Unsurprisingly, defaulting `$void` to `void`.
+     */
+    type $Default = {
+        [$void]: void;
+    };
+}
+export {};
+//# sourceMappingURL=$void.d.ts.map

package/cjs/$type/special/$void.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$void.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;AAEpC,OAAO,CAAC,MAAM,KAAK,EAAE,OAAO,CAAA;AAE5B,yBAAiB,KAAK,CAAC;IACtB,KAAY,IAAI,GAAG,OAAO,CAAA;IAE1B;;;;;;;OAOG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IAE5C;;;;;;;;;;;;OAYG;IACH,KAAY,OAAO,GAAG;QAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,CAAA;IAExC;;;;OAIG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAA;KAAE,CAAA;CACxC"}

package/cjs/$type/special/$void.js

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

package/cjs/$type/special/$void.js.map

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

package/cjs/$type/utils/$merge_options.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Merge type options.
+ *
+ * This is used in the type to merge the user provided options with the default options.
+ *
+ * @typeparam $O - The type of the options, typically provided by the user.
+ * @typeparam $P - The type of the default options.
+ */
+export type $MergeOptions<$O extends Record<string, any>, $P extends {
+    [k in keyof $O]?: unknown;
+}> = {
+    [k in Exclude<keyof $O, keyof $P>]: $O[k];
+} & $P;
+//# sourceMappingURL=$merge_options.d.ts.map

package/cjs/$type/utils/$merge_options.d.ts.map

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

package/cjs/$type/utils/$merge_options.js

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

package/cjs/$type/utils/$merge_options.js.map

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

package/cjs/any/is_any.d.ts

@@ -0,0 +1,58 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+/**
+ * 🎭 **predicate**
+ *
+ * Validate if `T` is `any`.
+ *
+ * @example
+ * ```ts
+ * type R = IsAny<any> // true
+ *
+ * type R = IsAny<never> // false
+ * type R = IsAny<unknown> // false
+ * type R = IsAny<string | boolean> // false
+ * ```
+ *
+ * 🌪️ **filter**
+ *
+ * Filter to ensure `T` is `any`.
+ *
+ * @example
+ * ```ts
+ * type R = IsAny<any, { selection: 'filter' }> // any
+ * type R = IsAny<never, { selection: 'filter' }> // never
+ * type R = IsAny<unknown, { selection: 'filter' }> // never
+ * type R = IsAny<string | boolean, { selection: 'filter' }> // never
+ * ```
+ *
+ * 🔱 **branching**
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsAny<any, $Selection.Branch> // $Then
+ * type R = IsAny<string, $Selection.Branch> // $Else
+ * type R = IsAny<unknown, IsAny.$Branch> // $Unknown
+ * type R = IsAny<never, IsAny.$Branch> // $Never
+ * type R = IsAny<void, IsAny.$Branch> // $Void
+ * ```
+ */
+export type IsAny<T, $O extends IsAny.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Then], T>;
+    $unknown: $ResolveBranch<$O, [$Unknown, $Else]>;
+    $never: $ResolveBranch<$O, [$Never, $Else]>;
+    $void: $ResolveBranch<$O, [$Void, $Else]>;
+    $else: $ResolveBranch<$O, [$Else]>;
+}>;
+export declare namespace IsAny {
+    type $Options = $Selection.Options & $InputOptions<$Unknown | $Never | $Void>;
+    type $Branch = $Selection.Branch & $Unknown.$Branch & $Never.$Branch & $Void.$Branch;
+}
+//# sourceMappingURL=is_any.d.ts.map

package/cjs/any/is_any.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_any.d.ts","sourceRoot":"","sources":["../../src/any/is_any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,EAAE,SAAS,KAAK,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC9D,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACpC,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/C,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC3C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IACzC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAClC,CACD,CAAA;AAED,yBAAiB,KAAK,CAAC;IACtB,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IACpF,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,GAAG,QAAQ,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;CAC3F"}

package/cjs/any/is_any.js

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

package/cjs/any/is_any.js.map

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

package/cjs/any/is_not_any.d.ts

@@ -0,0 +1,56 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is not `any`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotAny<any> // false
+ *
+ * type R = IsNotAny<never> // true
+ * type R = IsNotAny<unknown> // true
+ * type R = IsNotAny<string | boolean> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not `any`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotAny<any, { selection: 'filter' }> // never
+ *
+ * type R = IsNotAny<never, { selection: 'filter' }> // never
+ * type R = IsNotAny<unknown, { selection: 'filter' }> // unknown
+ * type R = IsNotAny<string | boolean, { selection: 'filter' }> // string | boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotAny<any, $SelectionBranch> // $Else
+ * type R = IsNotAny<string, $SelectionBranch> // $Then
+ * ```
+ */
+export type IsNotAny<T, $O extends IsNotAny.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Else]>;
+    $never: $ResolveBranch<$O, [$Never, $Then], T>;
+    $unknown: $ResolveBranch<$O, [$Unknown, $Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Then], T>;
+    $else: $ResolveBranch<$O, [$Then], T>;
+}>;
+export declare namespace IsNotAny {
+    type $Options = $Selection.Options & $InputOptions<$Unknown | $Never | $Void>;
+    type $Branch = $Selection.Branch & $Unknown.$Branch & $Never.$Branch & $Void.$Branch;
+}
+//# sourceMappingURL=is_not_any.d.ts.map

package/cjs/any/is_not_any.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_any.d.ts","sourceRoot":"","sources":["../../src/any/is_not_any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACpE,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAClD,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IACpF,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,GAAG,QAAQ,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;CAC3F"}

package/cjs/any/is_not_any.js

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

package/cjs/any/is_not_any.js.map

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

package/cjs/array/array.at.d.ts

@@ -1,6 +1,6 @@
-import type { IsStrictNumber } from '../number/strict_number_type.js';
-import type { TupleType } from '../tuple/tuple_type.js';
-import type { IndexAt } from './array_index.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
+import type { IndexAt } from './array_plus.index_at.js';
 /**
  * 🦴 *utilities*
  *
@@ -16,5 +16,12 @@ import type { IndexAt } from './array_index.js';
  * type R = At<[1, 2, 3], -1> // 3
  * ```
  */
-export type At<A extends unknown[], N extends number, Fail = never> = IndexAt<A, N, Fail, Fail, Fail> extends infer I ? I extends number ? TupleType<A, IsStrictNumber<I, A[I] | undefined, A[I]>, A[I] | undefined> : Fail : never;
+export type At<A extends readonly unknown[], N extends number, Fail = never> = IndexAt<A, N, Fail, Fail, Fail> extends infer I ? I extends number ? IsTuple.$<A, {
+    $then: IsNumber.$<I, {
+        exact: true;
+        $then: A[I] | undefined;
+        $else: A[I];
+    }>;
+    $else: A[I] | undefined;
+}> : Fail : never;
 //# sourceMappingURL=array.at.d.ts.map

package/cjs/array/array.at.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array.at.d.ts","sourceRoot":"","sources":["../../ts/array/array.at.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/C;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAC5E,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,IAAI,CACJ,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,MAAM,GACf,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,GACzE,IAAI,GACL,KAAK,CAAA"}
+{"version":3,"file":"array.at.d.ts","sourceRoot":"","sources":["../../src/array/array.at.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAEvD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACrF,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,IAAI,CACJ,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,MAAM,GACf,OAAO,CAAC,CAAC,CACT,CAAC,EACD;IACC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAChB,CAAC,EACD;QACC,KAAK,EAAE,IAAI,CAAA;QACX,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;QACvB,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;KACX,CACD,CAAA;IACD,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;CACvB,CACD,GACA,IAAI,GACL,KAAK,CAAA"}

package/cjs/array/array.at.js.map

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

package/cjs/array/array.entries.d.ts

@@ -1,4 +1,4 @@
-import type { IsTuple } from '../tuple/tuple_type.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
 /**
  * Returns an array of key-value pairs for every entry in the array or tuple.
  *
@@ -11,8 +11,11 @@ import type { IsTuple } from '../tuple/tuple_type.js';
  * ArrayPlus.Entries<[1, 2, 3]> // [[0, 1], [1, 2], [2, 3]]
  * ```
  */
-export type Entries<A extends unknown[]> = IsTuple<A, Entries.Device<A, []>, A extends Array<infer T> ? Array<[number, T]> : never>;
+export type Entries<A extends readonly unknown[]> = IsTuple<A, {
+    $then: Entries.Device<A, []>;
+    $else: A extends Array<infer T> ? Array<[number, T]> : never;
+}>;
 export declare namespace Entries {
-    type Device<A extends unknown[], R extends unknown[]> = A['length'] extends 0 ? R : A extends [...infer F, infer N] ? Device<F, [[F['length'], N], ...R]> : never;
+    type Device<A extends readonly unknown[], R extends unknown[]> = A['length'] extends 0 ? R : A extends readonly [...infer F, infer N] ? Device<F, [[F['length'], N], ...R]> : never;
 }
 //# sourceMappingURL=array.entries.d.ts.map

package/cjs/array/array.entries.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array.entries.d.ts","sourceRoot":"","sources":["../../ts/array/array.entries.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,OAAO,CACjD,CAAC,EACD,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EACrB,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CACrD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAClF,CAAC,GACD,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GACnC,KAAK,CAAA;CACP"}
+{"version":3,"file":"array.entries.d.ts","sourceRoot":"","sources":["../../src/array/array.entries.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,OAAO,CAC1D,CAAC,EACD;IACC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC5B,KAAK,EAAE,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;CAC5D,CACD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,MAAM,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC1F,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACvC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GACnC,KAAK,CAAA;CACT"}

package/cjs/array/array.entries.js.map

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

package/cjs/array/array.find_last.d.ts

@@ -1,4 +1,4 @@
-import type { TupleType } from '../tuple/tuple_type.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
 /**
  * 🦴 *utilities*
  *
@@ -15,5 +15,8 @@ import type { TupleType } from '../tuple/tuple_type.js';
  * ArrayPlus.Find<[true, 123, 'x', 321], number> // 321
  * ```
  */
-export type FindLast<A extends Array<any>, Criteria> = TupleType<A, A['length'] extends 0 ? never : A extends [...infer Heads, infer Last] ? Last extends Criteria ? Last : FindLast<Heads, Criteria> : never, A extends Array<infer T> ? (T extends Criteria ? T | undefined : never) : never>;
+export type FindLast<A extends readonly unknown[], Criteria> = IsTuple<A, {
+    $then: A['length'] extends 0 ? never : A extends readonly [...infer Heads, infer Last] ? Last extends Criteria ? Last : FindLast<Heads, Criteria> : never;
+    $else: A extends Readonly<Array<infer T>> ? (T extends Criteria ? T | undefined : never) : never;
+}>;
 //# sourceMappingURL=array.find_last.d.ts.map

package/cjs/array/array.find_last.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array.find_last.d.ts","sourceRoot":"","sources":["../../ts/array/array.find_last.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AAEvD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,IAAI,SAAS,CAC/D,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAClB,KAAK,GACL,CAAC,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,MAAM,IAAI,CAAC,GACtC,IAAI,SAAS,QAAQ,GACpB,IAAI,GACJ,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,GAC1B,KAAK,EACR,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,GAAG,KAAK,CAC/E,CAAA"}
+{"version":3,"file":"array.find_last.d.ts","sourceRoot":"","sources":["../../src/array/array.find_last.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,OAAO,CACrE,CAAC,EACD;IACC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACzB,KAAK,GACL,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,MAAM,IAAI,CAAC,GAC9C,IAAI,SAAS,QAAQ,GACpB,IAAI,GACJ,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,GAC1B,KAAK,CAAA;IACT,KAAK,EAAE,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;CAChG,CACD,CAAA"}

package/cjs/array/array.find_last.js.map

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

package/cjs/array/array.reverse.d.ts

@@ -1,2 +1,6 @@
-export type Reverse<A extends unknown[]> = A extends [infer First, ...infer Rest] ? [...Reverse<Rest>, First] : A;
+import type { IsReadonly } from './array_plus.is_readonly.js';
+export type Reverse<A extends readonly unknown[]> = Reverse._<A> extends infer R ? (IsReadonly<A> extends true ? Readonly<R> : R) : never;
+export declare namespace Reverse {
+    type _<A extends readonly unknown[]> = A extends readonly [infer First, ...infer Rest] ? [..._<Rest>, First] : A;
+}
 //# sourceMappingURL=array.reverse.d.ts.map

package/cjs/array/array.reverse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array.reverse.d.ts","sourceRoot":"","sources":["../../ts/array/array.reverse.ts"],"names":[],"mappings":"AAaA,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9E,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GACzB,CAAC,CAAA"}
+{"version":3,"file":"array.reverse.d.ts","sourceRoot":"","sources":["../../src/array/array.reverse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAe7D,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAC/C,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAA;AAEtF,yBAAiB,OAAO,CAAC;IACxB,KAAY,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC1F,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GACnB,CAAC,CAAA;CACJ"}

package/cjs/array/array.reverse.js.map

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

package/cjs/array/array.some.d.ts

@@ -1,4 +1,4 @@
-import type { IsEqual } from '../equal/equal.js';
+import type { IsEqual } from '../equal/is_equal.js';
 import type { CanAssign } from '../index.js';
 import type { Tail } from '../tuple/tail.js';
 import type { UnionOfValues } from './union_of_values.js';
@@ -21,13 +21,13 @@ import type { UnionOfValues } from './union_of_values.js';
  * Some<['a', true], boolean, 'strict'> // false
  * ```
  */
-export type Some<A extends any[], Criteria, Mode extends 'strict' | 'loose' = 'loose', Then = true, Else = false> = Mode extends 'strict' ? Some.Strict<A, Criteria, Then, Else> : Some.Loose<A, Criteria, Then, Else>;
+export type Some<A extends readonly unknown[], Criteria, Mode extends 'strict' | 'loose' = 'loose', Then = true, Else = false> = Mode extends 'strict' ? Some.Strict<A, Criteria, Then, Else> : Some.Loose<A, Criteria, Then, Else>;
 export declare namespace Some {
-    type Strict<A extends unknown[], Criteria, Then, Else> = number extends A['length'] ? StrictArray<A, Criteria, Then, Else> : StrictTuple<A, Criteria, Then, Else>;
-    type StrictArray<A extends unknown[], Criteria, Then, Else> = IsEqual<UnionOfValues<A>, Criteria, Then, Else>;
-    type StrictTuple<A extends unknown[], Criteria, Then, Else> = A['length'] extends 0 ? Else : IsEqual<A[0], Criteria> extends true ? Then : StrictTuple<Tail<A>, Criteria, Then, Else>;
-    type Loose<A extends unknown[], Criteria, Then, Else> = number extends A['length'] ? LooseArray<A, Criteria, Then, Else> : LooseTuple<A, Criteria, Then, Else>;
-    type LooseArray<A extends unknown[], Criteria, Then, Else> = CanAssign<UnionOfValues<A>, Criteria, Then, Else>;
-    type LooseTuple<A extends unknown[], Criteria, Then, Else> = A['length'] extends 0 ? Else : A[0] extends Criteria ? Then : LooseTuple<Tail<A>, Criteria, Then, Else>;
+    type Strict<A extends readonly unknown[], Criteria, Then, Else> = number extends A['length'] ? StrictArray<A, Criteria, Then, Else> : StrictTuple<A, Criteria, Then, Else>;
+    type StrictArray<A extends readonly unknown[], Criteria, Then, Else> = IsEqual<UnionOfValues<A>, Criteria, Then, Else>;
+    type StrictTuple<A extends readonly unknown[], Criteria, Then, Else> = A['length'] extends 0 ? Else : IsEqual<A[0], Criteria> extends true ? Then : StrictTuple<Tail<A>, Criteria, Then, Else>;
+    type Loose<A extends readonly unknown[], Criteria, Then, Else> = number extends A['length'] ? LooseArray<A, Criteria, Then, Else> : LooseTuple<A, Criteria, Then, Else>;
+    type LooseArray<A extends readonly unknown[], Criteria, Then, Else> = CanAssign<UnionOfValues<A>, Criteria, Then, Else>;
+    type LooseTuple<A extends readonly unknown[], Criteria, Then, Else> = A['length'] extends 0 ? Else : A[0] extends Criteria ? Then : LooseTuple<Tail<A>, Criteria, Then, Else>;
 }
 //# sourceMappingURL=array.some.d.ts.map

package/cjs/array/array.some.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array.some.d.ts","sourceRoot":"","sources":["../../ts/array/array.some.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEzD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,GAAG,EAAE,EACf,QAAQ,EACR,IAAI,SAAS,QAAQ,GAAG,OAAO,GAAG,OAAO,EACzC,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACT,IAAI,SAAS,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEtG,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACvF,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GACpC,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAEvC,KAAY,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,OAAO,CAC3E,aAAa,CAAC,CAAC,CAAC,EAChB,QAAQ,EACR,IAAI,EACJ,IAAI,CACJ,CAAA;IAED,KAAY,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvF,IAAI,GACJ,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GACpC,IAAI,GACJ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAE7C,KAAY,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACtF,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GACnC,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAEtC,KAAY,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,SAAS,CAC5E,aAAa,CAAC,CAAC,CAAC,EAChB,QAAQ,EACR,IAAI,EACJ,IAAI,CACJ,CAAA;IAED,KAAY,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtF,IAAI,GACJ,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACrB,IAAI,GACJ,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;CAC5C"}
+{"version":3,"file":"array.some.d.ts","sourceRoot":"","sources":["../../src/array/array.some.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEzD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,IAAI,SAAS,QAAQ,GAAG,OAAO,GAAG,OAAO,EACzC,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACT,IAAI,SAAS,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEtG,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAChG,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GACpC,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAEvC,KAAY,WAAW,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,OAAO,CACpF,aAAa,CAAC,CAAC,CAAC,EAChB,QAAQ,EACR,IAAI,EACJ,IAAI,CACJ,CAAA;IAED,KAAY,WAAW,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAChG,IAAI,GACJ,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GACnC,IAAI,GACJ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAE9C,KAAY,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC/F,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GACnC,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAEtC,KAAY,UAAU,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,SAAS,CACrF,aAAa,CAAC,CAAC,CAAC,EAChB,QAAQ,EACR,IAAI,EACJ,IAAI,CACJ,CAAA;IAED,KAAY,UAAU,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC/F,IAAI,GACJ,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACpB,IAAI,GACJ,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;CAC7C"}

package/cjs/array/array.some.js.map

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

package/cjs/array/array_plus.common_prop_keys.d.ts

@@ -1,4 +1,5 @@
-import type { NeverType } from '../never/never_type.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { IsNever } from '../never/is_never.js';
 import type { KeyTypes } from '../object/KeyTypes.js';
 /**
  * ⚗️ *transform*
@@ -14,14 +15,17 @@ import type { KeyTypes } from '../object/KeyTypes.js';
  * type R = ArrayPlus.CommonPropKeys<Array<{ a: 1, b: 1 } | { a: 1, c: 1 }>> // 'a'
  * ```
  *
- * @typeParam Options['caseNever'] Return type when `T` is `never`.
+ * @typeParam Options['$never'] Return type when `T` is `never`.
  * Default to `never`.
  */
-export type CommonPropKeys<A extends Record<KeyTypes, unknown>[], Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions> = NeverType<A, Options['caseNever'], A extends Array<infer R extends Record<KeyTypes, unknown>> ? keyof R : never>;
+export type CommonPropKeys<A extends readonly Record<KeyTypes, unknown>[], Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions> = IsNever<A, {
+    $then: Options['$never'];
+    $else: A extends Readonly<Array<infer R extends Record<KeyTypes, unknown>>> ? keyof R : never;
+}>;
 export declare namespace CommonPropKeys {
-    interface Options extends NeverType.Options {
+    interface Options extends $Never.$Options {
     }
-    interface DefaultOptions extends NeverType.DefaultOptions {
+    interface DefaultOptions extends $Never.$Default {
     }
 }
 //# sourceMappingURL=array_plus.common_prop_keys.d.ts.map

package/cjs/array/array_plus.common_prop_keys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array_plus.common_prop_keys.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAErD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CACzB,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EACrC,OAAO,SAAS,cAAc,CAAC,OAAO,GAAG,cAAc,CAAC,cAAc,IACnE,SAAS,CAAC,CAAC,EACd,OAAO,CAAC,WAAW,CAAC,EACpB,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,KAAK,CAC5E,CAAA;AAED,yBAAiB,cAAc,CAAC;IAC/B,UAAiB,OAAQ,SAAQ,SAAS,CAAC,OAAO;KACjD;IAED,UAAiB,cAAe,SAAQ,SAAS,CAAC,cAAc;KAC/D;CACD"}
+{"version":3,"file":"array_plus.common_prop_keys.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAErD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CACzB,CAAC,SAAS,SAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,EAC9C,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,SAAS,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,KAAK,CAAA;CAC7F,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/array/array_plus.common_prop_keys.js.map

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

package/cjs/array/array_plus.concat.d.ts

@@ -12,5 +12,5 @@
  * type R = Concat<[1], [2, 3]> // [1, 2, 3]
  * ```
  */
-export type Concat<A extends unknown[], B extends unknown[]> = [...A, ...B];
+export type Concat<A extends Readonly<unknown[]>, B extends Readonly<unknown[]>> = [...A, ...B];
 //# sourceMappingURL=array_plus.concat.d.ts.map

package/cjs/array/array_plus.concat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array_plus.concat.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.concat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA"}
+{"version":3,"file":"array_plus.concat.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.concat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,SAAS,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA"}