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

package/cjs/array/is_array.d.ts

@@ -0,0 +1,89 @@
+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 { $Exact } from '../type_plus/branch/$exact.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 an array.
+ *
+ * @example
+ * ```ts
+ * type R = IsArray<number[]> // true
+ * type R = IsArray<[1]> // true
+ *
+ * type R = IsArray<number> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is an array, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsArray<number[], { selection: 'filter' }> // number[]
+ * type R = IsArray<number, { selection: 'filter' }> // never
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Disable distribution of union types.
+ *
+ * @example
+ * ```ts
+ * type R = IsArray<number[] | 1> // boolean
+ * type R = IsArray<number[] | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Check if `T` is exactly an array, excluding tuple.
+ *
+ * @example
+ * ```ts
+ * type R = IsArray<[]> // true
+ * type R = IsArray<[], { exact: true }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsArray<number[], IsArray.$Branch> // $Then
+ * type R = IsArray<number, IsArray.$Branch> // $Else
+ * ```
+ */
+export type IsArray<T, $O extends IsArray.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Else]>;
+    $else: IsArray.$<T, $O>;
+}>>;
+export declare namespace IsArray {
+    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is an array.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $Exact.$IsExact<$O, {
+        $then: $IsDistributive<$O, {
+            $then: T extends readonly any[] ? number extends T['length'] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+            $else: [T] extends [readonly any[]] ? number extends T['length'] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+        }>;
+        $else: $IsDistributive<$O, {
+            $then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+            $else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+        }>;
+    }>;
+    type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options;
+}
+//# sourceMappingURL=is_array.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"is_array.d.ts","sourceRoot":"","sources":["../../src/array/is_array.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,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;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,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,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,MAAM,CAAC,QAAQ,CAC1D,EAAE,EACF;QACC,KAAK,EAAE,eAAe,CACrB,EAAE,EACF;YACC,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;YACjC,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;SACjC,CACD,CAAA;QACD,KAAK,EAAE,eAAe,CACrB,EAAE,EACF;YACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;YACjG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;SACrG,CACD,CAAA;KACD,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;CACpE"}

package/cjs/array/is_array.js

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

package/cjs/array/is_array.js.map

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

package/cjs/array/is_not_array.d.ts

@@ -0,0 +1,89 @@
+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 { $Exact } from '../type_plus/branch/$exact.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 an array.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotArray<number[]> // false
+ * type R = IsNotArray<[1]> // false
+ *
+ * type R = IsNotArray<number> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not an array, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotArray<number[], { selection: 'filter' }> // never
+ * type R = IsNotArray<number, { selection: 'filter' }> // number
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Disable distribution of union types.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotArray<number[] | 1> // boolean
+ * type R = IsNotArray<number[] | 1, { distributive: false }> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Check if `T` is not exactly an array, including tuple.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotArray<[]> // false
+ * type R = IsNotArray<[], { exact: true }> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotArray<number[], IsNotArray.$Branch> // $Else
+ * type R = IsNotArray<number, IsNotArray.$Branch> // $Then
+ * ```
+ */
+export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Then]>;
+    $else: IsNotArray.$<T, $O>;
+}>>;
+export declare namespace IsNotArray {
+    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is not an array.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $Exact.$IsExact<$O, {
+        $then: $IsDistributive<$O, {
+            $then: T extends readonly any[] ? number extends T['length'] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
+            $else: [T] extends [readonly any[]] ? number extends T['length'] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
+        }>;
+        $else: $IsDistributive<$O, {
+            $then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+            $else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+        }>;
+    }>;
+    type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options;
+}
+//# sourceMappingURL=is_not_array.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_array.d.ts","sourceRoot":"","sources":["../../src/array/is_not_array.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,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;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;AACD,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,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,MAAM,CAAC,QAAQ,CAC1D,EAAE,EACF;QACC,KAAK,EAAE,eAAe,CACrB,EAAE,EACF;YACC,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;YACjC,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;SACjC,CACD,CAAA;QACD,KAAK,EAAE,eAAe,CACrB,EAAE,EACF;YACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;YACjG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;SACrG,CACD,CAAA;KACD,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;CACvE"}

package/cjs/array/is_not_array.js

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

package/cjs/array/is_not_array.js.map

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

package/cjs/array/last.d.ts

@@ -0,0 +1,32 @@
+import type { IsNever } from '../never/is_never.js';
+import type { $Never } from '../never/never.js';
+import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🦴 *utilities*
+ *
+ * Gets the last entry in the tuple or the type of array `T`.
+ *
+ * @example
+ * ```ts
+ * type R = Last<[1, 2, 3]> // 3
+ * type R = Last<string[]> // string
+ *
+ * type R = Last<[]> // never
+ * ```
+ *
+ * @typeParam Options['$never'] Return type when `T` is `never`.
+ * Default to `never`.
+ *
+ * @typeParam Options['caseEmptyTuple'] Return type when `T` is `[]`.
+ * Default to `never`.
+ */
+export type Last<T extends readonly unknown[], Options extends Last.Options = Last.DefaultOptions> = IsNever<T, $SelectionBranch> extends infer R ? R extends $Then ? Options['$never'] : R extends $Else ? T['length'] extends 0 ? Options['caseEmptyTuple'] : T extends readonly [...unknown[], infer R] ? R : T[0] : never : never;
+export declare namespace Last {
+    interface Options extends $Never.$Options {
+        caseEmptyTuple?: unknown;
+    }
+    interface DefaultOptions extends $Never.$Default {
+        caseEmptyTuple: never;
+    }
+}
+//# sourceMappingURL=last.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"last.d.ts","sourceRoot":"","sources":["../../src/array/last.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,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAEvF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,IAAI,OAAO,CAC3G,CAAC,EACD,gBAAgB,CAChB,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,SAAS,KAAK,GACd,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,OAAO,CAAC,gBAAgB,CAAC,GACzB,CAAC,SAAS,SAAS,CAAC,GAAG,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC,GACzC,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,GACN,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,MAAM,CAAC,QAAQ;QAC/C,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IAED,UAAiB,cAAe,SAAQ,MAAM,CAAC,QAAQ;QACtD,cAAc,EAAE,KAAK,CAAA;KACrB;CACD"}

package/cjs/array/last.js

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

package/cjs/array/last.js.map

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

package/cjs/array/literal_array.d.ts

@@ -0,0 +1,8 @@
+import type { KeyTypes } from '../object/index.js';
+/**
+ * 🦴 *utilities*
+ *
+ * return an array whose items are restricted to the provided literals.
+ */
+export declare function literalArray<T extends KeyTypes>(...entries: T[]): T[];
+//# sourceMappingURL=literal_array.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literal_array.d.ts","sourceRoot":"","sources":["../../src/array/literal_array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAElD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAErE"}

package/cjs/array/literal_array.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.literalArray = literalArray;
+/**
+ * 🦴 *utilities*
+ *
+ * return an array whose items are restricted to the provided literals.
+ */
+function literalArray(...entries) {
+    return entries;
+}
+//# sourceMappingURL=literal_array.js.map

package/cjs/array/literal_array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal_array.js","sourceRoot":"","sources":["../../src/array/literal_array.ts"],"names":[],"mappings":";;AAOA,oCAEC;AAPD;;;;GAIG;AACH,SAAgB,YAAY,CAAqB,GAAG,OAAY;IAC/D,OAAO,OAAO,CAAA;AACf,CAAC"}

package/cjs/array/loose_array_type.d.ts

@@ -0,0 +1,65 @@
+import type { IsAnyOrNever } from '../mix_types/is_any_or_never.js';
+/**
+ * 🌪️ *filter*
+ * 🚧 *temporary*
+ *
+ * Filter `T` to ensure it is an array or tuple.
+ *
+ * This is a temporary type before `ArrayType` is adjusted to loose check in the next version.
+ *
+ * @example
+ * ```ts
+ * type R = LooseArrayType<number[]> // number[]
+ * type R = LooseArrayType<[1]> // [1]
+ * type R = LooseArrayType<number[] | 1> // number[]
+ * type R = LooseArrayType<number[] & 1> // number[]s
+ *
+ * type R = LooseArrayType<string> // never
+ * ```
+ */ export type LooseArrayType<T, Then = T, Else = never> = IsAnyOrNever<T, {
+    $then: Else;
+    $else: T extends readonly any[] ? Then : Else;
+}>;
+/**
+ * 🎭 *predicate*
+ *
+ * Validate that `T` is an array or tuple.
+ *
+ * @example
+ * ```ts
+ * type R = IsLooseArray<number[]> // true
+ * type R = IsLooseArray<[1]> // true
+ *
+ * type R = IsLooseArray<number> // false
+ * ```
+ */
+export type IsLooseArray<T, Then = true, Else = false> = LooseArrayType<T, Then, Else>;
+/**
+ * 🌪️ *filter*
+ *
+ * Filter `T` to ensure it is not an array nor tuple.
+ *
+ * @example
+ * ```ts
+ * type R = NotLooseArrayType<number[]> // never
+ * type R = NotLooseArrayType<[1]> // never
+ *
+ * type R = NotLooseArrayType<number> // number
+ * ```
+ */
+export type NotLooseArrayType<T, Then = T, Else = never> = LooseArrayType<T, Else, Then>;
+/**
+ * 🎭 *predicate*
+ *
+ * Validate that `T` is not an array nor tuple.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotLooseArray<number[]> // false
+ * type R = IsNotLooseArray<[1]> // false
+ *
+ * type R = IsNotLooseArray<number> // true
+ * ```
+ */
+export type IsNotLooseArray<T, Then = true, Else = false> = LooseArrayType<T, Else, Then>;
+//# sourceMappingURL=loose_array_type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"loose_array_type.d.ts","sourceRoot":"","sources":["../../src/array/loose_array_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAEnE;;;;;;;;;;;;;;;;;GAiBG,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CACvE,CAAC,EACD;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA;CAC7C,CACD,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEtF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAExF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/array/loose_array_type.js

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

package/cjs/array/loose_array_type.js.map

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

package/cjs/array/pad_start.d.ts

@@ -0,0 +1,32 @@
+import type { PadStart as PadStartTuple } from '../tuple/tuple_plus.pad_start.js';
+import type { PadStart as PadStartArray } from './array_plus.pad_start.js';
+/**
+ * Pads the start of an array or tuple with `PadWith`.
+ *
+ * ⚗️ *transform*
+ *
+ * @example
+ * ```ts
+ * // Padding array
+ * PadStart<number[], 1, string> // [string, ...number[]]
+ *
+ * // Ignore if the type is compatible
+ * PadStart<number[], 2, number> // number[]
+ * PadStart<number[], 3, 1> // number[]
+ *
+ * // Padding tuple
+ * PadStart<[1, 2, 3], 5, 0> // [0, 0, 1, 2, 3]
+ *
+ * // Ignore if MaxLength is less than the length of the tuple
+ * PadStart<[1, 2, 3], 5, 0> // [0, 0, 1, 2, 3]
+ *
+ * // Default to unknown
+ * PadStart<[1, 2, 3], 5> // [unknown, unknown, 1, 2, 3]
+ * ```
+ */
+export type PadStart<A extends readonly unknown[], MaxLength extends number, PadWith = unknown> = number extends A['length'] ? PadStartArray<A, MaxLength, PadWith> : PadStartTuple<A, MaxLength, PadWith>;
+/**
+ * @deprecated use PadStart instead
+ */
+export type PadLeft<A extends any[], Total extends number, PadWith = any> = PadStart<A, Total, PadWith>;
+//# sourceMappingURL=pad_start.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pad_start.d.ts","sourceRoot":"","sources":["../../src/array/pad_start.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,IAAI,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACjF,OAAO,KAAK,EAAE,QAAQ,IAAI,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE1E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,QAAQ,CACnB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IACd,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;AAE5G;;GAEG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,KAAK,SAAS,MAAM,EAAE,OAAO,GAAG,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA"}

package/cjs/array/pad_start.js

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

package/cjs/array/pad_start.js.map

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

package/cjs/array/reduce_while.d.ts

@@ -0,0 +1,8 @@
+/**
+ * 🦴 *utilities*
+ *
+ * `reduce()` with predicate for early termination.
+ * A simple version of the same function in the `ramda` package.
+ */
+export declare function reduceWhile<T, R>(predicate: (acc: R, currentValue: T) => boolean, callbackfn: (previousValue: R, currentValue: T, currentIndex: number, array: T[]) => R, initialValue: R, array: T[]): R;
+//# sourceMappingURL=reduce_while.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reduce_while.d.ts","sourceRoot":"","sources":["../../src/array/reduce_while.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC/B,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,KAAK,OAAO,EAC/C,UAAU,EAAE,CAAC,aAAa,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,EACtF,YAAY,EAAE,CAAC,EACf,KAAK,EAAE,CAAC,EAAE,KASV"}

package/cjs/array/reduce_while.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.reduceWhile = reduceWhile;
+/**
+ * 🦴 *utilities*
+ *
+ * `reduce()` with predicate for early termination.
+ * A simple version of the same function in the `ramda` package.
+ */
+function reduceWhile(predicate, callbackfn, initialValue, array) {
+    let acc = initialValue;
+    for (let i = 0; i < array.length; i++) {
+        const value = array[i];
+        if (!predicate(acc, value))
+            return acc;
+        acc = callbackfn(acc, value, i, array);
+    }
+    return acc;
+}
+//# sourceMappingURL=reduce_while.js.map

package/cjs/array/reduce_while.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reduce_while.js","sourceRoot":"","sources":["../../src/array/reduce_while.ts"],"names":[],"mappings":";;AAMA,kCAaC;AAnBD;;;;;GAKG;AACH,SAAgB,WAAW,CAC1B,SAA+C,EAC/C,UAAsF,EACtF,YAAe,EACf,KAAU;IAEV,IAAI,GAAG,GAAG,YAAY,CAAA;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QACvB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC;YAAE,OAAO,GAAG,CAAA;QACtC,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;IACvC,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC"}

package/cjs/array/reverse.d.ts

@@ -0,0 +1,7 @@
+/**
+ * ⚗️ *transform*
+ *
+ * reverses the order of `A`.
+ */
+export type Reverse<A extends unknown[]> = number extends A['length'] ? A : A['length'] extends 0 ? A : A['length'] extends 1 ? A : A extends [any, ...infer T] ? T extends any[] ? [...Reverse<T>, A[0]] : never : never;
+//# sourceMappingURL=reverse.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reverse.d.ts","sourceRoot":"","sources":["../../src/array/reverse.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAClE,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,GACD,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,GAC1B,CAAC,SAAS,GAAG,EAAE,GACd,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,GACN,KAAK,CAAA"}

package/cjs/array/reverse.js

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

package/cjs/array/reverse.js.map

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

package/cjs/array/union_of_props.d.ts

@@ -0,0 +1,12 @@
+import type { KeyTypes } from '../object/index.js';
+import type { Tail } from '../tuple/tail.js';
+/**
+ * Gets the union of properties of the elements in `A`
+ */
+export type UnionOfProps<A extends readonly Record<any, any>[], P extends KeyTypes> = A['length'] extends 0 ? never : A['length'] extends 1 ? A[0][P] : A[0][P] | UnionOfProps<Tail<A>, P>;
+/**
+ * Gets the union of properties in the element of `A`
+ * This will be deprecated in 4.0. Please use UnionOfProps instead.
+ */
+export type PropUnion<A extends readonly Record<any, any>[], P extends KeyTypes> = UnionOfProps<A, P>;
+//# sourceMappingURL=union_of_props.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"union_of_props.d.ts","sourceRoot":"","sources":["../../src/array/union_of_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAE5C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACxG,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEtC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/cjs/array/union_of_props.js

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

package/cjs/array/union_of_props.js.map

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

package/cjs/array/union_of_values.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Gets the union of value types in `A`
+ */
+export type UnionOfValues<A extends readonly unknown[]> = A extends Readonly<Array<infer E>> ? E : never;
+/**
+ * Gets the union of value types in `A`
+ * @deprecated Please use `UnionOfValues` instead.
+ */
+export type ArrayValue<A extends readonly unknown[]> = UnionOfValues<A>;
+//# sourceMappingURL=union_of_values.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"union_of_values.d.ts","sourceRoot":"","sources":["../../src/array/union_of_values.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAMxG;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,CAAA"}

package/cjs/array/union_of_values.js

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

package/cjs/array/union_of_values.js.map

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

package/cjs/assertion/assert_type.d.ts

@@ -0,0 +1,40 @@
+import { type AnyConstructor } from '../class/index.js';
+import type { AnyFunction } from '../function/any_function.js';
+/**
+ * 💥 *immediate*
+ * 🚦 *assertion*
+ *
+ * Assert the subject satisfies the specified type T
+ * @type T the type to check against.
+ */
+export declare function assertType<T>(subject: T): asserts subject is T;
+export declare function assertType<T>(subject: unknown, validator: (s: T) => boolean): asserts subject is T;
+/**
+ * @deprecated this is not a failsafe test
+ */
+export declare function assertType<T extends new (..._args: any[]) => any>(subject: unknown, classConstructor: T): asserts subject is InstanceType<T>;
+export declare namespace assertType {
+    var isUndefined: (subject: undefined) => asserts subject is undefined;
+    var noUndefined: <S>(subject: Exclude<S, undefined>) => void;
+    var isNull: (subject: null) => asserts subject is null;
+    var noNull: <S>(subject: Exclude<S, null>) => void;
+    var isNumber: (subject: number) => asserts subject is number;
+    var noNumber: <S>(subject: Exclude<S, number>) => void;
+    var isBoolean: (subject: boolean) => asserts subject is boolean;
+    var noBoolean: <S>(subject: Exclude<S, boolean>) => void;
+    var isTrue: (subject: true) => asserts subject is true;
+    var noTrue: <S>(subject: Exclude<S, true>) => void;
+    var isFalse: (subject: false) => asserts subject is false;
+    var noFalse: <S>(subject: Exclude<S, false>) => void;
+    var isString: (subject: string) => asserts subject is string;
+    var noString: <S>(subject: Exclude<S, string>) => void;
+    var isFunction: (subject: AnyFunction) => asserts subject is AnyFunction;
+    var noFunction: <S>(subject: Exclude<S, AnyFunction>) => void;
+    var isConstructor: (subject: AnyConstructor) => asserts subject is AnyConstructor;
+    var isError: (subject: Error) => asserts subject is Error;
+    var noError: <S>(subject: Exclude<S, Error>) => void;
+    var isNever: (_subject: never) => asserts _subject is never;
+    var custom: <T>(validator: (s: T) => boolean) => ((subject: unknown) => asserts subject is T);
+    var as: <T>(_subject: unknown) => asserts _subject is T;
+}
+//# sourceMappingURL=assert_type.d.ts.map

package/cjs/assertion/assert_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert_type.d.ts","sourceRoot":"","sources":["../../src/assertion/assert_type.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AAC/D,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AACnG;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,EAChE,OAAO,EAAE,OAAO,EAChB,gBAAgB,EAAE,CAAC,GACjB,OAAO,CAAC,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAA;yBAHrB,UAAU;+BAYS,SAAS,KAAG,QAAQ,OAAO,IAAI,SAAS;sBAGjD,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,KAAG,IAAI;0BAIpC,IAAI,KAAG,QAAQ,OAAO,IAAI,IAAI;iBAGvC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,KAAG,IAAI;4BAIxB,MAAM,KAAG,QAAQ,OAAO,IAAI,MAAM;mBAG3C,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,KAAG,IAAI;6BAI3B,OAAO,KAAG,QAAQ,OAAO,IAAI,OAAO;oBAG7C,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI;0BAIhC,IAAI,KAAG,QAAQ,OAAO,IAAI,IAAI;iBAGvC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,KAAG,IAAI;2BAKzB,KAAK,KAAG,QAAQ,OAAO,IAAI,KAAK;kBAGzC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI;4BAK1B,MAAM,KAAG,QAAQ,OAAO,IAAI,MAAM;mBAG3C,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,KAAG,IAAI;8BAI1B,WAAW,KAAG,QAAQ,OAAO,IAAI,WAAW;qBAGrD,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,KAAG,IAAI;iCAU9B,cAAc,KAAG,QAAQ,OAAO,IAAI,cAAc;2BAIxD,KAAK,KAAG,QAAQ,OAAO,IAAI,KAAK;kBAGzC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI;4BAI1B,KAAK,KAAG,QAAQ,QAAQ,IAAI,KAAK;iBAS/D,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,QAAQ,OAAO,IAAI,CAAC,CAAC;aAM/D,CAAC,YAAY,OAAO,KAAG,QAAQ,QAAQ,IAAI,CAAC"}