type-plus 7.3.1 → 7.5.0

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

@@ -0,0 +1,44 @@
+import type { IsNever } from '../never/never_type.js';
+import type { IsUnion } from '../union/union.js';
+import type { MergeOptions } from '../utils/options.js';
+/**
+ * 🦴 *utilities*
+ * 🔢 *customizable*
+ *
+ * Filter the element `T` in an array or tuple to match `Criteria`.
+ *
+ * @typeParam Options['widen'] Allow using narrow type to match widen type.
+ * e.g. `number, 1` -> `1 | undefined`.
+ * Default to `true`.
+ *
+ * @typeParam Options['caseNotMatch'] Return value when `T` does not match `Criteria`.
+ * Default to `never`.
+ *
+ * @typeParam Options['caseWiden'] Return value when `widen` is true.
+ * Default to `Criteria | undefined`.
+ *
+ * @typeParam Options['caseUnionNotMatch'] Return value when a branch of the union `T` does not match `Criteria`.
+ * Default to `never`.
+ *
+ * If you want the type to behave more like JavaScript,
+ * you can override it to return `undefined`.
+ *
+ * Since it is a union, the result will be joined to the matched branch as union.
+ * e.g. `ElementMatch<1 | 2, 1>` -> `1 | undefined`
+ */
+export type ElementMatch<T, Criteria, Options extends ElementMatch.Options = ElementMatch.DefaultOptions<Criteria>> = [T] extends [Criteria] ? T : (MergeOptions<Options, ElementMatch.DefaultOptions<Criteria>> extends infer C extends Record<keyof ElementMatch.Options, unknown> ? ((T extends Criteria ? T : (C['widen'] extends true ? (Criteria extends T ? C['caseWiden'] : C['caseNotMatch']) : C['caseNotMatch'])) extends infer R ? IsUnion<T, IsNever<R, R, R | C['caseUnionNotMatch']>, R> : C['caseNotMatch']) : never);
+export declare namespace ElementMatch {
+    interface Options {
+        widen?: boolean | undefined;
+        caseNotMatch?: unknown;
+        caseWiden?: unknown;
+        caseUnionNotMatch?: unknown;
+    }
+    interface DefaultOptions<Criteria> {
+        widen: true;
+        caseNotMatch: never;
+        caseWiden: Criteria | undefined;
+        caseUnionNotMatch: never;
+    }
+}
+//# sourceMappingURL=array_plus.element_match.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.element_match.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.element_match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,YAAY,CACvB,CAAC,EACD,QAAQ,EACR,OAAO,SAAS,YAAY,CAAC,OAAO,GAAG,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,IACzE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACvB,CAAC,GACD,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,GAChI,CAAC,CAAC,CAAC,SAAS,QAAQ,GACnB,CAAC,GACD,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,IAAI,GACvB,CAAC,QAAQ,SAAS,CAAC,GAClB,CAAC,CAAC,WAAW,CAAC,GACd,CAAC,CAAC,cAAc,CAAC,CAAC,GACnB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACpC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GACxD,CAAC,CAAC,cAAc,CAAC,CAAC,GACnB,KAAK,CAAC,CAAA;AAEV,yBAAiB,YAAY,CAAC;IAC7B,UAAiB,OAAO;QACvB,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;QAC5B,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,SAAS,CAAC,EAAE,OAAO,CAAC;QACpB,iBAAiB,CAAC,EAAE,OAAO,CAAA;KAC3B;IACD,UAAiB,cAAc,CAAC,QAAQ;QACvC,KAAK,EAAE,IAAI,CAAC;QACZ,YAAY,EAAE,KAAK,CAAC;QACpB,SAAS,EAAE,QAAQ,GAAG,SAAS,CAAC;QAChC,iBAAiB,EAAE,KAAK,CAAA;KACxB;CACD"}

package/cjs/array/array_plus.element_match.js

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

package/cjs/array/array_plus.element_match.js.map

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

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

@@ -0,0 +1,2 @@
+export type Filter<A extends unknown[], Criteria> = A[0] extends Criteria ? A : Criteria extends A[0] ? Array<Criteria> : never[];
+//# sourceMappingURL=array_plus.filter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.filter.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.filter.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACtE,CAAC,GACD,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,CAAC,QAAQ,CAAC,GACf,KAAK,EAAE,CAAA"}

package/cjs/array/array_plus.filter.js

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

package/cjs/array/array_plus.filter.js.map

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

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

@@ -0,0 +1,57 @@
+import type { NeverType } from '../never/never_type.js';
+import type { TupleType } from '../tuple/tuple_type.js';
+import type { MergeOptions } from '../utils/options.js';
+import type { ElementMatch } from './array_plus.element_match.js';
+/**
+ * 🦴 *utilities*
+ * 🔢 *customizable*
+ *
+ * Finds the type in array `A` that matches `Criteria`.
+ *
+ * @example
+ * ```ts
+ * type R = ArrayPlus.Find<Array<string>, string> // string
+ * type R = ArrayPlus.Find<Array<1 | 2 | 'x'>, number> // 1 | 2 | undefined
+ * type R = ArrayPlus.Find<Array<string | number>, number | string> // string | number
+ * type R = ArrayPlus.Find<Array<number>, 1> // widen: 1 | undefined
+ * type R = ArrayPlus.Find<Array<string | number>, number> // unionMiss: number | undefined
+ *
+ * type R = ArrayPlus.Find<string[], number> // never
+ * ```
+ *
+ * @typeParam Options['widen'] performs widen match.
+ * Default to `true`.
+ * With widen match, a narrowed type will match its widen type.
+ * e.g. matching `1` against `number` yields `1 | undefined`
+ *
+ * The widen behavior can be customized by `Options['caseWiden']`
+ *
+ * @typeParam Options['caseNever'] return type when `A` is `never`. Default to `never`.
+ *
+ * @typeParam Options['caseNotMatch'] Return value when `T` does not match `Criteria`.
+ * Default to `never`.
+ *
+ * @typeParam Options['caseTuple'] return type when `A` is a tuple. Default to `not supported` message.
+ *
+ * @typeParam Options['caseWiden'] return type when `T` in `A` is a widen type of `Criteria`.
+ * Default to `Criteria | undefined`.
+ * Set it to `never` for a more type-centric behavior
+ *
+ * @typeParam Options['caseUnionNotMatch'] Return value when a branch of the union `T` does not match `Criteria`.
+ * Default to `never`.
+ *
+ * If you want the type to behave more like JavaScript,
+ * you can override it to return `undefined`.
+ *
+ * Since it is a union, the result will be joined to the matched branch as union.
+ */
+export type Find<A extends unknown[], Criteria, Options extends Find.Options = Find.DefaultOptions<Criteria>> = MergeOptions<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options ? TupleType<A, O['caseTuple'], A extends Array<infer T> ? ElementMatch<T, Criteria, O> : never, O> : never;
+export declare namespace Find {
+    interface Options extends ElementMatch.Options, NeverType.Options {
+        caseTuple?: unknown;
+    }
+    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, NeverType.DefaultOptions {
+        caseTuple: 'does not support tuple. Please use `FindFirst` or `TuplePlus.Find` instead.';
+    }
+}
+//# sourceMappingURL=array_plus.find.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.find.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,OAAO,EAAE,EACnB,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAE5D,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,GACvF,SAAS,CACV,CAAC,EACD,CAAC,CAAC,WAAW,CAAC,EACd,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,KAAK,EAC/D,CAAC,CACD,GACC,KAAK,CAAA;AAER,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO;QACvE,SAAS,CAAC,EAAE,OAAO,CAAC;KACpB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,cAAc;QAChH,SAAS,EAAE,6EAA6E,CAAC;KACzF;CACD"}

package/cjs/array/array_plus.find.js

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

package/cjs/array/array_plus.find.js.map

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

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

@@ -0,0 +1,5 @@
+import type { CanAssign } from '../index.js';
+import type { CreateTuple } from '../tuple/create_tuple.js';
+import type { UnionOfValues } from './union_of_values.js';
+export type PadStart<A extends unknown[], MaxLength extends number, PadWith = unknown> = MaxLength extends 0 ? A : CanAssign<PadWith, UnionOfValues<A>> extends true ? A : PadStart<[...CreateTuple<MaxLength, PadWith>, ...A], MaxLength, PadWith>;
+//# sourceMappingURL=array_plus.pad_start.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.pad_start.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.pad_start.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEzD,MAAM,MAAM,QAAQ,CACnB,CAAC,SAAS,OAAO,EAAE,EACnB,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IACd,SAAS,SAAS,CAAC,GACpB,CAAC,GACD,SAAS,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACjD,CAAC,GACD,QAAQ,CAAC,CAAC,GAAG,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA"}

package/cjs/array/array_plus.pad_start.js

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

package/cjs/array/array_plus.pad_start.js.map

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

package/cjs/array/array_type.d.ts

@@ -1,42 +1,60 @@
 import type { IsNever } from '../never/never_type.js';
 import type { StrictNumberType } from '../number/strict_number_type.js';
 /**
- * Check if the type `T` is an array and not a tuple.
+ * 🌪️ *filter*
  *
+ * Filter `T` to ensure it is an array, excluding tuple.
+ *
+ * @example
  * ```ts
  * type R = ArrayType<number[]> // number[]
  *
  * type R = ArrayType<[1]> // never
+ * type R = ArrayType<number[] | 1> // never
+ * type R = ArrayType<number[] & { a: 1 }> // never
  * ```
  */
 export type ArrayType<T, Then = T, Else = never> = IsNever<T, Else, [
     any[]
 ] extends [T] ? ([T] extends [any[]] ? StrictNumberType<T['length'], Then, Else> : Else) : Else>;
 /**
- * Check if the type `T` is not an array.
+ * 🎭 *validate*
+ *
+ * Validate that `T` is an array, excluding tuple.
  *
+ * @example
  * ```ts
- * type R = NotArrayType<number[]> // never
+ * type R = IsArray<number[]> // true
  *
- * type R = NotArrayType<number> // number
- * type R = NotArrayType<[1]> // [1]
+ * type R = IsArray<number> // false
+ * type R = IsArray<[1]> // false
  * ```
  */
-export type NotArrayType<T, Then = T, Else = never> = ArrayType<T, Else, Then>;
+export type IsArray<T, Then = true, Else = false> = ArrayType<T, Then, Else>;
 /**
- * Is `T` an array?
+ * 🌪️ *filter*
+ *
+ * Filter `T` to ensure it is not an array, excluding tuple.
  *
+ * i.e. *tuple* will pass through this filter.
+ *
+ * @example
  * ```ts
- * type R = IsArray<number[]> // true
+ * type R = NotArrayType<number[]> // never
  *
- * type R = IsArray<number> // false
- * type R = IsArray<[1]> // false
+ * type R = NotArrayType<number> // number
+ * type R = NotArrayType<[1]> // [1]
  * ```
  */
-export type IsArray<T, Then = true, Else = false> = ArrayType<T, Then, Else>;
+export type NotArrayType<T, Then = T, Else = never> = ArrayType<T, Else, Then>;
 /**
- * Is `T` not an array?
+ * 🎭 *validate*
+ *
+ * Validate that `T` is not an array, excluding tuple.
+ *
+ * i.e. *tuple* will pass through this filter.
  *
+ * @example
  * ```ts
  * type R = IsNotArray<number[]> // false
  *

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

@@ -1 +1 @@
-{"version":3,"file":"array_type.d.ts","sourceRoot":"","sources":["../../ts/array/array_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAA;AAEvE;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACzD,CAAC,EACD,IAAI,EACJ;IAAC,GAAG,EAAE;CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CACrG,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;GASG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"array_type.d.ts","sourceRoot":"","sources":["../../ts/array/array_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAA;AAEvE;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACzD,CAAC,EACD,IAAI,EACJ;IAAC,GAAG,EAAE;CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CACrG,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/array/filter.d.ts

@@ -1,9 +1,29 @@
+import type { Filter as FilterTuple } from '../tuple/tuple_plus.filter.js';
+import type { Filter as FilterArray } from './array_plus.filter.js';
 /**
- * filter the array or tuple `A`, keeping entries satisfying `Criteria`.
+ * ⚗️ *transform*
+ *
+ * Filter the array or tuple `A`, keeping entries satisfying `Criteria`.
+ *
+ * @example
+ * ```ts
+ * type R = Filter<[1, 2, '3'], number> // [1, 2]
+ * type R = Filter<Array<string | undefined>, string> // string[]
+ * ```
  */
-export type Filter<A extends Array<any>, Criteria> = number extends A['length'] ? A[0] extends Criteria ? A : Criteria extends A[0] ? Array<Criteria> : never[] : A['length'] extends 0 ? never : A extends [infer Head, ...infer Tail] ? Tail['length'] extends 0 ? Head extends Criteria ? [Head] : never[] : Head extends Criteria ? [Head, ...Filter<Tail, Criteria>] : Filter<Tail, Criteria> : never;
+export type Filter<A extends unknown[], Criteria> = number extends A['length'] ? FilterArray<A, Criteria> : FilterTuple<A, Criteria>;
 /**
- * keeps entries satisfying `Criteria` in array or tuple `A`.
+ * ⚗️ *transform*
+ * 👽 *alias*
+ *
+ * Keeps entries satisfying `Criteria` in array or tuple `A`.
+ *
+ * @alias of [Filter](./filter.ts)
+ * @example
+ * ```ts
+ * type R = KeepMatch<[1, 2, 3], number> // [1, 2]
+ * type R = KeepMatch<Array<string|undefined>, string> // string[]
+ * ```
  */
-export type KeepMatch<A extends Array<any>, Criteria> = Filter<A, Criteria>;
+export type KeepMatch<A extends unknown[], Criteria> = Filter<A, Criteria>;
 //# sourceMappingURL=filter.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../ts/array/filter.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAE5E,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACpB,CAAC,GACD,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,CAAC,QAAQ,CAAC,GACf,KAAK,EAAE,GAEV,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,KAAK,GACL,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,IAAI,SAAS,QAAQ,GACpB,CAAC,IAAI,CAAC,GACN,KAAK,EAAE,GACR,IAAI,SAAS,QAAQ,GACrB,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACjC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,GACvB,KAAK,CAAA;AAER;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,IAAI,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA"}
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../ts/array/filter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,KAAK,EAAE,MAAM,IAAI,WAAW,EAAE,MAAM,wBAAwB,CAAA;AAEnE;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC3E,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,GACxB,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE3B;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA"}

package/cjs/array/find_first.d.ts

@@ -0,0 +1,62 @@
+import type { TupleType } from '../tuple/tuple_type.js';
+import type { Find as TupleFind } from '../tuple/tuple_plus.find.js';
+import type { Find as ArrayFind } from './array_plus.find.js';
+/**
+ * 🦴 *utilities*
+ * 🔢 *customizable*
+ *
+ * Find the first type in the array or tuple `A` that matches `Criteria`.
+ *
+ * If the `Criteria` is not met, it will return `never'.
+ *
+ * @example
+ * ```ts
+ * type R = FindFirst<[true, 1, 'x', 3], string> // 'x'
+ * type R = FindFirst<[true, 1, 'x', 3], number> // 1
+ * type R = FindFirst<[string, number, 1], 1> // widen: 1 | undefined
+ * type R = FindFirst<[true, number | string], string> // unionMiss: string | undefined
+ * type R = FindFirst<Array<string>, string> // string
+ * type R = FindFirst<Array<1 | 2 | 'x'>, number> // 1 | 2 | undefined
+ * type R = FindFirst<Array<string | number>, number | string> // string | number
+ * type R = FindFirst<Array<number>, 1> // widen: 1 | undefined
+ * type R = FindFirst<Array<string | number>, number> // unionMiss: number | undefined
+ *
+ * type R = FindFirst<[true, 1, 'x'], 2> // never
+ * type R = FindFirst<string[], number> // never
+ * ```
+ *
+ * @typeParam Options['widen'] performs widen match.
+ * Default to `true`.
+ * With widen match, a narrowed type will match its widen type.
+ * e.g. matching `1` against `number` yields `1 | undefined`
+ *
+ * The widen behavior can be customized by `Options['caseWiden']`
+ *
+ * @typeParam Options['caseEmptyTuple'] return type when `A` is an empty tuple.
+ * Default to `never`.
+ *
+ * @typeParam Options['caseNever'] return type when `A` is `never`. Default to `never`.
+ *
+ * @typeParam Options['caseNoMatch'] Return value when `T` does not match `Criteria`.
+ * Default to `never`.
+ *
+ * @typeParam Options['caseWiden'] return type when `T` in `A` is a widen type of `Criteria`.
+ * Default to `Criteria | undefined`.
+ * Set it to `never` for a more type-centric behavior
+ *
+ * @typeParam Options['caseUnionMiss'] Return value when a branch of the union `T` does not match `Criteria`.
+ * Default to `undefined`.
+ * Since it is a union, the result will be join to the matched branch as union.
+ */
+export type FindFirst<A extends unknown[], Criteria, Options extends FindFirst.Options = FindFirst.DefaultOptions<Criteria>> = TupleType<A, TupleFind<A, Criteria, Options>, ArrayFind<A, Criteria, Options>>;
+export declare namespace FindFirst {
+    interface Options extends ArrayFind.Options, TupleFind.Options {
+    }
+    interface DefaultOptions<Criteria> extends ArrayFind.DefaultOptions<Criteria>, TupleFind.DefaultOptions<Criteria> {
+    }
+}
+/**
+ * @deprecated use FindFirst
+ */
+export type First<A extends any[], Criteria> = FindFirst<A, Criteria>;
+//# sourceMappingURL=find_first.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"find_first.d.ts","sourceRoot":"","sources":["../../ts/array/find_first.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,6BAA6B,CAAA;AACpE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,MAAM,MAAM,SAAS,CACpB,CAAC,SAAS,OAAO,EAAE,EACnB,QAAQ,EAAE,OAAO,SAAS,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,IAC7E,SAAS,CACZ,CAAC,EACD,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,EAC/B,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAC/B,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,UAAiB,OAAQ,SAAQ,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO;KAAI;IACzE,UAAiB,cAAc,CAAC,QAAQ,CACvC,SAAQ,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC;KAAI;CACnF;AAGD;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA"}

package/cjs/array/{array.find.js → find_first.js}

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

package/cjs/array/find_first.js.map

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

package/cjs/array/head.d.ts

@@ -1,2 +1,31 @@
-export type Head<T extends any[]> = T['length'] extends 0 ? never : T[0];
+import type { NeverType } from '../never/never_type.js';
+/**
+ * 🦴 *utilities*
+ * 🔢 *customizable*
+ *
+ * Gets the first entry in the tuple or the type of array `T`.
+ *
+ * @example
+ * ```ts
+ * type R = Head<[1, 2, 3]> // 1
+ * type R = Head<string[]> // string
+ *
+ * type R = Head<[]> // never
+ * ```
+ *
+ * @typeParam Options['caseNever'] Return type when `T` is `never`.
+ * Default to `never`.
+ *
+ * @typeParam Options['caseEmptyTuple'] Return type when `T` is `[]`.
+ * Default to `never`.
+ */
+export type Head<T extends unknown[], Options extends Head.Options = Head.DefaultOptions> = NeverType<T, Options['caseNever'], T['length'] extends 0 ? Options['caseEmptyTuple'] : T[0]>;
+export declare namespace Head {
+    interface Options extends NeverType.Options {
+        caseEmptyTuple?: unknown;
+    }
+    interface DefaultOptions extends NeverType.DefaultOptions {
+        caseEmptyTuple: never;
+    }
+}
 //# sourceMappingURL=head.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"head.d.ts","sourceRoot":"","sources":["../../ts/array/head.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"head.d.ts","sourceRoot":"","sources":["../../ts/array/head.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AAEvD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,OAAO,EAAE,EACnB,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,IAC/C,SAAS,CACZ,CAAC,EACD,OAAO,CAAC,WAAW,CAAC,EACpB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACxD,CAAA;AAED,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,SAAS,CAAC,OAAO;QACjD,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IAED,UAAiB,cAAe,SAAQ,SAAS,CAAC,cAAc;QAC/D,cAAc,EAAE,KAAK,CAAA;KACrB;CACD"}

package/cjs/array/intersect_of_props.d.ts

@@ -1,9 +1,11 @@
 import type { KeyTypes } from '../object/index.js';
-import type { Tail } from './tail.js';
+import type { Tail } from '../tuple/tail.js';
 /**
- * Gets the intersect of properties of the elements in `A`
+ * 🦴 *utilities*
+ *
+ * Gets the intersect of properties of the elements in `A`.
  */
-export type IntersectOfProps<A extends Record<any, unknown>[], P extends KeyTypes> = A['length'] extends 0 ? never : A['length'] extends 1 ? A[0][P] : A[0][P] & IntersectOfProps<Tail<A>, P>;
+export type IntersectOfProps<A extends Record<any, unknown>[], P extends KeyTypes> = number extends A['length'] ? A[0][P] : A['length'] extends 0 ? never : A['length'] extends 1 ? A[0][P] : A[0][P] & IntersectOfProps<Tail<A>, P>;
 /**
  * Gets the intersect of properties of the elements in `A`
  * This will be deprecated in 4.0. Please use IntersectOfProps instead.

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

@@ -1 +1 @@
-{"version":3,"file":"intersect_of_props.d.ts","sourceRoot":"","sources":["../../ts/array/intersect_of_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvG,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEzC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
+{"version":3,"file":"intersect_of_props.d.ts","sourceRoot":"","sources":["../../ts/array/intersect_of_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAE5C;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC5G,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEzC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/cjs/array/last.d.ts

@@ -1,5 +1,30 @@
+import type { NeverType } from '../never/never_type.js';
 /**
- * Get the last type of an array or tuple.
+ * 🦴 *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['caseNever'] 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 any[]> = T extends [...any[], infer R] ? R : T[0];
+export type Last<T extends unknown[], Options extends Last.Options = Last.DefaultOptions> = NeverType<T, Options['caseNever'], T['length'] extends 0 ? Options['caseEmptyTuple'] : T extends [...unknown[], infer R] ? R : T[0]>;
+export declare namespace Last {
+    interface Options extends NeverType.Options {
+        caseEmptyTuple?: unknown;
+    }
+    interface DefaultOptions extends NeverType.DefaultOptions {
+        caseEmptyTuple: never;
+    }
+}
 //# sourceMappingURL=last.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"last.d.ts","sourceRoot":"","sources":["../../ts/array/last.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"last.d.ts","sourceRoot":"","sources":["../../ts/array/last.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AAEvD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,OAAO,EAAE,EACnB,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,IAC/C,SAAS,CAAC,CAAC,EACd,OAAO,CAAC,WAAW,CAAC,EACpB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAChG,CAAA;AAED,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,SAAS,CAAC,OAAO;QACjD,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IAED,UAAiB,cAAe,SAAQ,SAAS,CAAC,cAAc;QAC/D,cAAc,EAAE,KAAK,CAAA;KACrB;CACD"}

package/cjs/array/literal_array.d.ts

@@ -1,3 +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

@@ -1 +1 @@
-{"version":3,"file":"literal_array.d.ts","sourceRoot":"","sources":["../../ts/array/literal_array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAElD,wBAAgB,YAAY,CAAC,CAAC,SAAS,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAErE"}
+{"version":3,"file":"literal_array.d.ts","sourceRoot":"","sources":["../../ts/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

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

package/cjs/array/literal_array.js.map

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

package/cjs/array/pad_start.d.ts

@@ -1,10 +1,10 @@
-import type { CanAssign } from '../index.js';
-import type { CreateTuple } from '../tuple/create_tuple.js';
-import type { PadStart as TuplePadStart } from '../tuple/tuple_plus.pad_start.js';
-import type { UnionOfValues } from './union_of_values.js';
+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
@@ -24,7 +24,7 @@ import type { UnionOfValues } from './union_of_values.js';
  * PadStart<[1, 2, 3], 5> // [unknown, unknown, 1, 2, 3]
  * ```
  */
-export type PadStart<A extends unknown[], MaxLength extends number, PadWith = unknown> = number extends A['length'] ? MaxLength extends 0 ? A : CanAssign<PadWith, UnionOfValues<A>> extends true ? A : PadStart<[...CreateTuple<MaxLength, PadWith>, ...A], MaxLength, PadWith> : TuplePadStart<A, MaxLength, PadWith>;
+export type PadStart<A extends unknown[], MaxLength extends number, PadWith = unknown> = number extends A['length'] ? PadStartArray<A, MaxLength, PadWith> : PadStartTuple<A, MaxLength, PadWith>;
 /**
  * @deprecated use PadStart instead
  */

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

@@ -1 +1 @@
-{"version":3,"file":"pad_start.d.ts","sourceRoot":"","sources":["../../ts/array/pad_start.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,EAAE,QAAQ,IAAI,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEzD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,QAAQ,CACnB,CAAC,SAAS,OAAO,EAAE,EACnB,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IACd,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC3B,SAAS,SAAS,CAAC,GAClB,CAAC,GACD,SAAS,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACjD,CAAC,GACD,QAAQ,CAAC,CAAC,GAAG,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,GACzE,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;AAEvC;;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"}
+{"version":3,"file":"pad_start.d.ts","sourceRoot":"","sources":["../../ts/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,OAAO,EAAE,EACnB,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IACd,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC3B,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,GACpC,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;AAEvC;;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/reduce_while.d.ts

@@ -1,2 +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

@@ -1 +1 @@
-{"version":3,"file":"reduce_while.d.ts","sourceRoot":"","sources":["../../ts/array/reduce_while.ts"],"names":[],"mappings":"AAAA,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"}
+{"version":3,"file":"reduce_while.d.ts","sourceRoot":"","sources":["../../ts/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

@@ -1,6 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.reduceWhile = void 0;
+/**
+ * 🦴 *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++) {

package/cjs/array/reduce_while.js.map

@@ -1 +1 @@
-{"version":3,"file":"reduce_while.js","sourceRoot":"","sources":["../../ts/array/reduce_while.ts"],"names":[],"mappings":";;;AAAA,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;QACtC,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;KACtC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAbD,kCAaC"}
+{"version":3,"file":"reduce_while.js","sourceRoot":"","sources":["../../ts/array/reduce_while.ts"],"names":[],"mappings":";;;AAAA;;;;;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;QACtC,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;KACtC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAbD,kCAaC"}

package/cjs/array/reverse.d.ts

@@ -1,2 +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

@@ -1 +1 @@
-{"version":3,"file":"reverse.d.ts","sourceRoot":"","sources":["../../ts/array/reverse.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAClE,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,GACD,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,GAC3B,CAAC,SAAS,GAAG,EAAE,GACd,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,GACN,KAAK,CAAA"}
+{"version":3,"file":"reverse.d.ts","sourceRoot":"","sources":["../../ts/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,GACrB,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,GACD,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,GAC3B,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/union_of_props.d.ts

@@ -1,5 +1,5 @@
 import type { KeyTypes } from '../object/index.js';
-import type { Tail } from './tail.js';
+import type { Tail } from '../tuple/tail.js';
 /**
  * Gets the union of properties of the elements in `A`
  */

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

@@ -1 +1 @@
-{"version":3,"file":"union_of_props.d.ts","sourceRoot":"","sources":["../../ts/array/union_of_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC/F,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,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;AAErC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
+{"version":3,"file":"union_of_props.d.ts","sourceRoot":"","sources":["../../ts/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,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC/F,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,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;AAErC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/cjs/assertion/assert_type.d.ts

@@ -1,7 +1,10 @@
 import { type AnyConstructor } from '../class/index.js';
 import { type AnyFunction } from '../function/any_function.js';
 /**
- * assert the subject satisfies the specified type T
+ * 💥 *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;