type-plus 7.6.2 → 8.0.0-beta.2

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

@@ -1,6 +1,6 @@
-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 { $Never } from '../never/never.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
+import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
 import type { ElementMatch } from './array_plus.element_match.js';
 /**
  * 🦴 *utilities*
@@ -24,20 +24,20 @@ import type { ElementMatch } from './array_plus.element_match.js';
  * 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']`
+ * The widen behavior can be customized by `Options['$widen']`
  *
- * @typeParam Options['caseNever'] return type when `A` is `never`. Default to `never`.
+ * @typeParam Options['$never'] return type when `A` is `never`. Default to `never`.
  *
- * @typeParam Options['caseNotMatch'] Return value when `T` does not match `Criteria`.
+ * @typeParam Options['$notMatch'] 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['$tuple'] 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`.
+ * @typeParam Options['$widen'] return type when `T` in `A` is a widen type of `Criteria`.
  * Default to `Criteria | undefined`.
  * Set it to `never` for a more type-centric behavior
  *
- * @typeParam Options['caseUnionNotMatch'] Return value when a branch of the union `T` does not match `Criteria`.
+ * @typeParam Options['$unionNotMatch'] Return value when a branch of the union `T` does not match `Criteria`.
  * Default to `never`.
  *
  * If you want the type to behave more like JavaScript,
@@ -45,13 +45,16 @@ import type { ElementMatch } from './array_plus.element_match.js';
  *
  * 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 type Find<A extends readonly unknown[], Criteria, Options extends Find.Options = Find.DefaultOptions<Criteria>> = IsTuple<A, {
+    $then: $ResolveOptions<[Options['$tuple'], Find.DefaultOptions<Criteria>['$tuple']]>;
+    $else: (A extends Readonly<Array<infer T>> ? ElementMatch<T, Criteria, Options> : never);
+}>;
 export declare namespace Find {
-    interface Options extends ElementMatch.Options, NeverType.Options {
-        caseTuple?: unknown;
+    interface Options extends ElementMatch.Options, $Never.$Options {
+        $tuple?: unknown;
     }
-    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, NeverType.DefaultOptions {
-        caseTuple: 'does not support tuple. Please use `FindFirst` or `TuplePlus.Find` instead.';
+    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, $Never.$Default {
+        $tuple: 'does not support tuple. Please use `FindFirst` or `TuplePlus.Find` instead.';
     }
 }
 //# sourceMappingURL=array_plus.find.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"array_plus.find.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAE5D,OAAO,CAAC,CAAC,EAAE;IACV,KAAK,EAAE,eAAe,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrF,KAAK,EAAE,CACN,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAChC,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,GAClC,KAAK,CACP,CAAA;CACD,CAAC,CAAA;AAEH,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ;QACrE,MAAM,CAAC,EAAE,OAAO,CAAC;KACjB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ;QACvG,MAAM,EAAE,6EAA6E,CAAC;KACtF;CACD"}

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

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

package/esm/array/array_plus.index_at.d.ts

@@ -0,0 +1,42 @@
+import type { IsAny } from '../any/is_any.js';
+import type { IsEqual } from '../equal/equal.js';
+import type { Abs } from '../math/abs.js';
+import type { GreaterThan } from '../math/greater_than.js';
+import type { Subtract } from '../math/subtract.js';
+import type { IsNever } from '../never/is_never.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { IsInteger } from '../numeric/is_integer.js';
+import type { IsNegative } from '../numeric/is_negative.js';
+import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🦴 *utilities*
+ *
+ * Gets the normalized index to access the element of an array or tuple.
+ *
+ * @example
+ * ```ts
+ * type R = IndexAt<['a', 'b', 'c'], 2> // 2
+ * type R = IndexAt<['a', 'b', 'c'], -2> // 1
+ *
+ * type R = IndexAt<['a', 'b', 'c'], 3> // never
+ * type R = IndexAt<['a', 'b', 'c'], -4> // never
+ * ```
+ */
+export type IndexAt<A extends readonly unknown[], N extends number, Fail = never, Upper = A['length'], Lower = 0> = IsNever<A, $SelectionBranch> extends infer R ? R extends $Then ? Fail : R extends $Else ? IndexAt._<A, N, Fail, Upper, Lower> : never : never;
+export declare namespace IndexAt {
+    type _<A extends readonly unknown[], N extends number, Fail = never, Upper = A['length'], Lower = 0> = IsEqual<A['length'], 0, Fail, IsInteger<N, {
+        $then: IsNumber<A['length'], IsNumber.$Branch<{
+            exact: true;
+        }>> extends infer R ? R extends $Then ? N : R extends $Else ? IsNegative<N, {
+            $then: GreaterThan<Abs<N>, A['length']> extends true ? Lower : Subtract<A['length'], Abs<N>>;
+            $else: GreaterThan<A['length'], N> extends true ? N : Upper;
+        }> : never : never;
+        $else: IsAny<N, {
+            $then: number;
+            $else: IsNumber<N, IsNumber.$Branch<{
+                exact: true;
+            }>> extends infer R ? R extends $Then ? N : never : never;
+        }>;
+    }>>;
+}
+//# sourceMappingURL=array_plus.index_at.d.ts.map

package/esm/array/array_plus.index_at.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.index_at.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.index_at.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAEvF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,OAAO,CAClB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,MAAM,EAChB,IAAI,GAAG,KAAK,EACZ,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,EACnB,KAAK,GAAG,CAAC,IACN,OAAO,CACV,CAAC,EACD,gBAAgB,CAAC,SAAS,MAAM,CAAC,GAC/B,CAAC,SAAS,KAAK,GAAG,IAAI,GACtB,CAAC,SAAS,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GACrD,KAAK,GAAG,KAAK,CAAA;AAEhB,yBAAiB,OAAO,CAAC;IACxB,KAAY,CAAC,CACZ,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,MAAM,EAChB,IAAI,GAAG,KAAK,EACZ,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,EACnB,KAAK,GAAG,CAAC,IACN,OAAO,CACV,CAAC,CAAC,QAAQ,CAAC,EACX,CAAC,EACD,IAAI,EACJ,SAAS,CACR,CAAC,EACD;QACC,KAAK,EAAE,QAAQ,CACd,CAAC,CAAC,QAAQ,CAAC,EACX,QAAQ,CAAC,OAAO,CAAC;YAAE,KAAK,EAAE,IAAI,CAAA;SAAE,CAAC,CACjC,SAAS,MAAM,CAAC,GAEf,CAAC,SAAS,KAAK,GAAG,CAAC,GAEnB,CAAC,SAAS,KAAK,GAAG,UAAU,CAC7B,CAAC,EACD;YACC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7F,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAA;SAC3D,CACD,GACC,KAAK,GAAG,KAAK,CAAC;QAEhB,KAAK,EAAE,KAAK,CACX,CAAC,EACD;YACC,KAAK,EAAE,MAAM,CAAC;YACd,KAAK,EAAE,QAAQ,CACd,CAAC,EACD,QAAQ,CAAC,OAAO,CAAC;gBAAE,KAAK,EAAE,IAAI,CAAA;aAAE,CAAC,CACjC,SAAS,MAAM,CAAC,GACf,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;SACrC,CACD,CAAA;KACD,CACD,CACD,CAAA;CACD"}

package/esm/array/array_plus.index_at.js

@@ -0,0 +1,84 @@
+export {};
+// import type { IsAny } from '../any/is_any.js'
+// import type { IsEqual } from '../equal/equal.js'
+// import type { Abs } from '../math/abs.js'
+// import type { GreaterThan } from '../math/greater_than.js'
+// import type { Subtract } from '../math/subtract.js'
+// import type { IsNever } from '../never/is_never.js'
+// import type { IsStrictNumber } from '../number/is_strict_number.js'
+// import type { IsInteger } from '../numeric/is_integer.js'
+// import type { IsNegative } from '../numeric/is_negative.js'
+// import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/selection.js'
+// /**
+//  * 🦴 *utilities*
+//  *
+//  * Gets the normalized index to access the element of an array or tuple.
+//  *
+//  * @example
+//  * ```ts
+//  * type R = IndexAt<['a', 'b', 'c'], 2> // 2
+//  * type R = IndexAt<['a', 'b', 'c'], -2> // 1
+//  *
+//  * type R = IndexAt<['a', 'b', 'c'], 3> // never
+//  * type R = IndexAt<['a', 'b', 'c'], -4> // never
+//  * ```
+//  */
+// export type IndexAt<
+// 	A extends readonly unknown[],
+// 	N extends number,
+// 	Fail = never,
+// 	Upper = A['length'],
+// 	Lower = 0
+// > = IsNever<
+// 	A,
+// 	$SelectionBranch> extends infer R
+// 	? R extends $Then ? Fail
+// 	: R extends $Else ? IndexAt._<A, N, Fail, Upper, Lower>
+// 	: never : never
+// export namespace IndexAt {
+// 	export type _<
+// 		A extends readonly unknown[],
+// 		N extends number,
+// 		Fail = never,
+// 		Upper = A['length'],
+// 		Lower = 0
+// 	> = IsEqual<
+// 		A['length'],
+// 		0,
+// 		Fail,
+// 		IsInteger<
+// 			N,
+// 			IsInteger.$Branch
+// 		> extends infer R
+// 		? R extends $Then
+// 		? IsStrictNumber<
+// 			A['length'],
+// 			IsStrictNumber.$Branch
+// 		> extends infer R
+// 		// A: array
+// 		? R extends $Then ? N
+// 		// A: tuple
+// 		: R extends $Else ? IsNegative<
+// 			N,
+// 			IsNegative.$Branch
+// 		> extends infer R
+// 		? R extends $Then ? GreaterThan<Abs<N>, A['length']> extends true ? Lower : Subtract<A['length'], Abs<N>>
+// 		: GreaterThan<A['length'], N> extends true ? N : Upper
+// 		: never
+// 		: never : never
+// 		// N: number or float
+// 		: IsAny<
+// 			N,
+// 			{
+// 				$then: number,
+// 				$else: IsStrictNumber<
+// 					N,
+// 					IsStrictNumber.$Branch
+// 				> extends infer R
+// 				? R extends $Then ? N : never : never
+// 			}
+// 		>
+// 		: never
+// 	>
+// }
+//# sourceMappingURL=array_plus.index_at.js.map

package/esm/array/array_plus.index_at.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.index_at.js","sourceRoot":"","sources":["../../src/array/array_plus.index_at.ts"],"names":[],"mappings":";AAqFA,gDAAgD;AAChD,mDAAmD;AACnD,4CAA4C;AAC5C,6DAA6D;AAC7D,sDAAsD;AACtD,sDAAsD;AACtD,sEAAsE;AACtE,4DAA4D;AAC5D,8DAA8D;AAC9D,yFAAyF;AAEzF,MAAM;AACN,oBAAoB;AACpB,KAAK;AACL,2EAA2E;AAC3E,KAAK;AACL,cAAc;AACd,WAAW;AACX,+CAA+C;AAC/C,gDAAgD;AAChD,KAAK;AACL,mDAAmD;AACnD,oDAAoD;AACpD,SAAS;AACT,MAAM;AACN,uBAAuB;AACvB,iCAAiC;AACjC,qBAAqB;AACrB,iBAAiB;AACjB,wBAAwB;AACxB,aAAa;AACb,eAAe;AACf,MAAM;AACN,qCAAqC;AACrC,4BAA4B;AAC5B,2DAA2D;AAC3D,mBAAmB;AAEnB,6BAA6B;AAC7B,kBAAkB;AAClB,kCAAkC;AAClC,sBAAsB;AACtB,kBAAkB;AAClB,yBAAyB;AACzB,cAAc;AACd,gBAAgB;AAChB,iBAAiB;AACjB,OAAO;AACP,UAAU;AACV,eAAe;AACf,QAAQ;AACR,uBAAuB;AACvB,sBAAsB;AACtB,sBAAsB;AACtB,sBAAsB;AACtB,kBAAkB;AAClB,4BAA4B;AAC5B,sBAAsB;AACtB,gBAAgB;AAChB,0BAA0B;AAC1B,gBAAgB;AAChB,oCAAoC;AACpC,QAAQ;AACR,wBAAwB;AACxB,sBAAsB;AACtB,8GAA8G;AAC9G,2DAA2D;AAC3D,YAAY;AACZ,oBAAoB;AACpB,0BAA0B;AAC1B,aAAa;AACb,QAAQ;AACR,OAAO;AACP,qBAAqB;AACrB,6BAA6B;AAC7B,UAAU;AACV,8BAA8B;AAC9B,wBAAwB;AACxB,4CAA4C;AAC5C,OAAO;AACP,MAAM;AACN,YAAY;AACZ,KAAK;AACL,IAAI"}

package/esm/array/array_plus.is_index_out_of_bound.d.ts

@@ -0,0 +1,21 @@
+import type { IsNever } from '../never/is_never.js';
+import type { IndexAt } from './array_plus.index_at.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Is `N` an out of bound index of `A`.
+ *
+ * @example
+ * ```ts
+ * type R = IsIndexOutOfBound<[1], 0> // false
+ * type R = IsIndexOutOfBound<[1], -1> // false
+ *
+ * type R = IsIndexOutOfBound<[1], 1> // true
+ * type R = IsIndexOutOfBound<[1], -2> // true
+ * ```
+ */
+export type IsIndexOutOfBound<A extends readonly unknown[], N extends number, Then = true, Else = false> = IsNever<IndexAt<A, N, never, never, never>, {
+    $then: Then;
+    $else: Else;
+}>;
+//# sourceMappingURL=array_plus.is_index_out_of_bound.d.ts.map

package/esm/array/array_plus.is_index_out_of_bound.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.is_index_out_of_bound.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.is_index_out_of_bound.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACjH,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAClC;IACC,KAAK,EAAE,IAAI,CAAC;IACZ,KAAK,EAAE,IAAI,CAAA;CACX,CACD,CAAA"}

package/esm/array/array_plus.is_index_out_of_bound.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=array_plus.is_index_out_of_bound.js.map

package/esm/array/array_plus.is_index_out_of_bound.js.map

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

package/esm/array/array_plus.is_readonly.d.ts

@@ -0,0 +1,35 @@
+import type { IsNever } from '../never/is_never.js';
+import type { $Never } from '../never/never.js';
+import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+import type { TypePlusOptions } from '../utils/options.js';
+import type { LooseArrayType } from './loose_array_type.js';
+/**
+ * 🎭 *predicate*
+ * 🔢 *customizable*
+ *
+ * Checks if `A` is a readonly array or tuple
+ *
+ * @example
+ * ```ts
+ * type R = IsReadonly<readonly string[]> // true
+ * type R = IsReadonly<readonly [1, 2, 3, 4, 5]> // true
+ *
+ * type R = IsReadonly<[1, 2, 3, 4, 5]> // false
+ * type R = IsReadonly<readonly string[] | number> // boolean
+ * ```
+ */
+export type IsReadonly<A, $Options extends IsReadonly.Options = IsReadonly.DefaultOptions> = TypePlusOptions.Merge<$Options, IsReadonly.DefaultOptions> extends infer O extends IsReadonly.Options ? IsNever<A, {
+    $then: O['$never'];
+    $else: A extends any ? LooseArrayType<A, Readonly<A> extends A ? O['$then'] : O['$else'], O['$notArray']> : never;
+}> : never;
+export declare namespace IsReadonly {
+    interface Options extends $Never.$Options, $SelectionOptions, TypePlusOptions.NotArray {
+    }
+    interface DefaultOptions {
+        $then: true;
+        $else: false;
+        $never: false;
+        $notArray: false;
+    }
+}
+//# sourceMappingURL=array_plus.is_readonly.d.ts.map

package/esm/array/array_plus.is_readonly.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array_plus.is_readonly.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.is_readonly.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,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAClF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AAE3D;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CACrB,CAAC,EACD,QAAQ,SAAS,UAAU,CAAC,OAAO,GAAG,UAAU,CAAC,cAAc,IAE/D,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,cAAc,CAAC,SAAS,MAAM,CAAC,SAAS,UAAU,CAAC,OAAO,GACrG,OAAO,CACN,CAAC,EACD;IACC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnB,KAAK,EAAE,CAAC,SAAS,GAAG,GACpB,cAAc,CAAC,CAAC,EACf,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAC/C,CAAC,CAAC,WAAW,CAAC,CACd,GAAG,KAAK,CAAA;CACT,CACD,GACC,KAAK,CAAA;AAER,yBAAiB,UAAU,CAAC;IAC3B,UAAiB,OAChB,SAAQ,MAAM,CAAC,QAAQ,EAAE,iBAAiB,EAAE,eAAe,CAAC,QAAQ;KAAI;IAEzE,UAAiB,cAAc;QAC9B,KAAK,EAAE,IAAI,CAAC;QACZ,KAAK,EAAE,KAAK,CAAC;QACb,MAAM,EAAE,KAAK,CAAC;QACd,SAAS,EAAE,KAAK,CAAA;KAChB;CACD"}

package/esm/array/array_plus.is_readonly.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=array_plus.is_readonly.js.map

package/esm/array/array_plus.is_readonly.js.map

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

package/esm/array/array_plus.js.map

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

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

@@ -1,5 +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>;
+export type PadStart<A extends readonly 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/esm/array/array_plus.pad_start.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"array_plus.pad_start.d.ts","sourceRoot":"","sources":["../../src/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,SAAS,OAAO,EAAE,EAC5B,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/esm/array/array_plus.pad_start.js.map

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

package/esm/array/array_plus.split_at.d.ts

@@ -1,7 +1,7 @@
-import type { NeverType } from '../never/never_type.js';
-import type { IsTuple } from '../tuple/tuple_type.js';
-import type { IndexAt } from './array_index.js';
-import type { ArrayType } from './array_type.js';
+import type { IsNever } from '../never/is_never.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
+import type { IndexAt } from './array_plus.index_at.js';
+import type { IsArray } from './is_array.js';
 /**
  * ⚗️ *transform*
  *
@@ -26,15 +26,25 @@ import type { ArrayType } from './array_type.js';
  * SplitAt<[1, 2, 3, 4, 5], -6> // [[], [1, 2, 3, 4, 5]]
  * ```
  */
-export type SplitAt<A extends unknown[], Index extends number, DeleteCount extends number | never = never, Insert extends unknown[] | never = never> = ArrayType<A, [
-    A,
-    A
-], SplitAt._<A, [], [], IndexAt._<A, Index>, DeleteCount, Insert>>;
+export type SplitAt<A extends readonly unknown[], Index extends number, DeleteCount extends number | never = never, Insert extends readonly unknown[] | never = never> = IsArray<A, {
+    exact: true;
+    $then: [A, A];
+    $else: SplitAt._<A, [], [], IndexAt._<A, Index>, DeleteCount, Insert>;
+}>;
 export declare namespace SplitAt {
-    type _<A extends unknown[], B extends unknown[], C extends unknown[], Index extends number, DeleteCount, Insert extends unknown[]> = 0 extends A['length'] ? IsTuple<Insert, [[...Insert, ...B], C], [B, C]> : (Index extends B['length'] ? _D<A, B, C, DeleteCount, Insert> : (A extends [infer Head, ...infer Tail] ? _<Tail, [...B, Head], [], Index, DeleteCount, Insert> : 'unexpected: A does not extends [Head, ...Tail]'));
-    type _D<A extends unknown[], B extends unknown[], C extends unknown[], DeleteCount, Insert extends unknown[]> = NeverType<DeleteCount, [
-        B,
-        A
-    ], DeleteCount extends C['length'] ? IsTuple<Insert, [[...B, ...Insert, ...A], C], [[...B, ...A], C]> : (A extends [infer Head, ...infer Tail] ? _D<Tail, B, [...C, Head], DeleteCount, Insert> : IsTuple<Insert, [[...Insert, ...B], C], [B, C]>)>;
+    type _<A extends readonly unknown[], B extends readonly unknown[], C extends readonly unknown[], Index extends number, DeleteCount, Insert extends readonly unknown[]> = 0 extends A['length'] ? IsTuple<Insert, {
+        $then: [[...Insert, ...B], C];
+        $else: [B, C];
+    }> : (Index extends B['length'] ? IsNever<DeleteCount, {
+        $then: [B, A];
+        $else: _D<A, B, C, DeleteCount, Insert>;
+    }> : (A extends readonly [infer Head, ...infer Tail] ? _<Tail, [...B, Head], [], Index, DeleteCount, Insert> : 'unexpected: A does not extends [Head, ...Tail]'));
+    type _D<A extends readonly unknown[], B extends readonly unknown[], C extends readonly unknown[], DeleteCount, Insert extends readonly unknown[]> = DeleteCount extends C['length'] ? IsTuple<Insert, {
+        $then: [[...B, ...Insert, ...A], C];
+        $else: [[...B, ...A], C];
+    }> : (A extends readonly [infer Head, ...infer Tail] ? _D<Tail, B, [...C, Head], DeleteCount, Insert> : IsTuple<Insert, {
+        $then: [[...Insert, ...B], C];
+        $else: [B, C];
+    }>);
 }
 //# sourceMappingURL=array_plus.split_at.d.ts.map

package/esm/array/array_plus.split_at.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array_plus.split_at.d.ts","sourceRoot":"","sources":["../../ts/array/array_plus.split_at.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,OAAO,CAClB,CAAC,SAAS,OAAO,EAAE,EACnB,KAAK,SAAS,MAAM,EACpB,WAAW,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,EAC1C,MAAM,SAAS,OAAO,EAAE,GAAG,KAAK,GAAG,KAAK,IACrC,SAAS,CACZ,CAAC,EACD;IAAC,CAAC;IAAE,CAAC;CAAC,EACN,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,CAC9D,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,CAAC,CACZ,CAAC,SAAS,OAAO,EAAE,EACnB,CAAC,SAAS,OAAO,EAAE,EACnB,CAAC,SAAS,OAAO,EAAE,EACnB,KAAK,SAAS,MAAM,EACpB,WAAW,EACX,MAAM,SAAS,OAAO,EAAE,IACrB,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GACtB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC/C,CAAC,KAAK,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,GAChC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,GACrD,gDAAgD,CAAC,CAAC,CAAA;IAEvD,KAAY,EAAE,CACb,CAAC,SAAS,OAAO,EAAE,EACnB,CAAC,SAAS,OAAO,EAAE,EACnB,CAAC,SAAS,OAAO,EAAE,EACnB,WAAW,EACX,MAAM,SAAS,OAAO,EAAE,IACrB,SAAS,CACZ,WAAW,EACX;QAAC,CAAC;QAAE,CAAC;KAAC,EACN,WAAW,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC7B,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAChE,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,GAC9C,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACjD,CACD,CAAA;CACD"}
+{"version":3,"file":"array_plus.split_at.d.ts","sourceRoot":"","sources":["../../src/array/array_plus.split_at.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,OAAO,CAClB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,KAAK,SAAS,MAAM,EACpB,WAAW,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,EAC1C,MAAM,SAAS,SAAS,OAAO,EAAE,GAAG,KAAK,GAAG,KAAK,IAC9C,OAAO,CACV,CAAC,EACD;IACC,KAAK,EAAE,IAAI,CAAC;IACZ,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACd,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,CAAA;CACrE,CACD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,CAAC,CACZ,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,KAAK,SAAS,MAAM,EACpB,WAAW,EACX,MAAM,SAAS,SAAS,OAAO,EAAE,IAC9B,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GACtB,OAAO,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,GACjE,CAAC,KAAK,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,OAAO,CACR,WAAW,EACX;QACC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACd,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,CAAA;KACvC,CAAC,GACD,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,GACrD,gDAAgD,CAAC,CAAC,CAAA;IAEvD,KAAY,EAAE,CACb,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,WAAW,EACX,MAAM,SAAS,SAAS,OAAO,EAAE,IAC9B,WAAW,SAAS,CAAC,CAAC,QAAQ,CAAC,GAChC,OAAO,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,GAClF,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,GAC9C,OAAO,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CACnE,CAAA;CAEF"}

package/esm/array/array_plus.split_at.js.map

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

package/esm/array/filter.d.ts

@@ -11,7 +11,7 @@ import type { Filter as FilterArray } from './array_plus.filter.js';
  * type R = Filter<Array<string | undefined>, string> // string[]
  * ```
  */
-export type Filter<A extends unknown[], Criteria> = number extends A['length'] ? FilterArray<A, Criteria> : FilterTuple<A, Criteria>;
+export type Filter<A extends readonly unknown[], Criteria> = number extends A['length'] ? FilterArray<A, Criteria> : FilterTuple<A, Criteria>;
 /**
  * ⚗️ *transform*
  * 👽 *alias*
@@ -25,5 +25,5 @@ export type Filter<A extends unknown[], Criteria> = number extends A['length'] ?
  * type R = KeepMatch<Array<string|undefined>, string> // string[]
  * ```
  */
-export type KeepMatch<A extends unknown[], Criteria> = Filter<A, Criteria>;
+export type KeepMatch<A extends readonly unknown[], Criteria> = Filter<A, Criteria>;
 //# sourceMappingURL=filter.d.ts.map

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

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../src/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,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACpF,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,GACxB,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE3B;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA"}

package/esm/array/filter.js.map

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

package/esm/array/find_first.d.ts

@@ -1,4 +1,4 @@
-import type { TupleType } from '../tuple/tuple_type.js';
+import type { IsTuple } from '../tuple/is_tuple.js';
 import type { Find as TupleFind } from '../tuple/tuple_plus.find.js';
 import type { Find as ArrayFind } from './array_plus.find.js';
 /**
@@ -30,25 +30,28 @@ import type { Find as ArrayFind } from './array_plus.find.js';
  * 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']`
+ * The widen behavior can be customized by `Options['$widen']`
  *
  * @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['$never'] return type when `A` is `never`. Default to `never`.
  *
- * @typeParam Options['caseNoMatch'] Return value when `T` does not match `Criteria`.
+ * @typeParam Options['$noMatch'] 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`.
+ * @typeParam Options['$widen'] return type when `T` in `A` is a widen type of `Criteria`.
  * Default to `Criteria | undefined`.
  * Set it to `never` for a more type-centric behavior
  *
- * @typeParam Options['caseUnionMiss'] Return value when a branch of the union `T` does not match `Criteria`.
+ * @typeParam Options['$unionMiss'] 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 type FindFirst<A extends readonly unknown[], Criteria, Options extends FindFirst.Options = FindFirst.DefaultOptions<Criteria>> = IsTuple<A, {
+    $then: TupleFind<A, Criteria, Options>;
+    $else: ArrayFind<A, Criteria, Options>;
+}>;
 export declare namespace FindFirst {
     interface Options extends ArrayFind.Options, TupleFind.Options {
     }

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

@@ -1 +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"}
+{"version":3,"file":"find_first.d.ts","sourceRoot":"","sources":["../../src/array/find_first.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,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,SAAS,OAAO,EAAE,EAC5B,QAAQ,EAAE,OAAO,SAAS,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,IAC7E,OAAO,CACV,CAAC,EACD;IACC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACvC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;CACtC,CACD,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/esm/array/find_first.js.map

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

package/esm/array/head.d.ts

@@ -1,4 +1,6 @@
-import type { NeverType } from '../never/never_type.js';
+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*
  * 🔢 *customizable*
@@ -13,18 +15,18 @@ import type { NeverType } from '../never/never_type.js';
  * type R = Head<[]> // never
  * ```
  *
- * @typeParam Options['caseNever'] Return type when `T` is `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 Head<T extends unknown[], Options extends Head.Options = Head.DefaultOptions> = NeverType<T, Options['caseNever'], T['length'] extends 0 ? Options['caseEmptyTuple'] : T[0]>;
+export type Head<T extends readonly unknown[], Options extends Head.Options = Head.DefaultOptions> = IsNever<T, $SelectionBranch> extends infer R ? R extends $Then ? Options['$never'] : R extends $Else ? T['length'] extends 0 ? Options['caseEmptyTuple'] : T[0] : never : never;
 export declare namespace Head {
-    interface Options extends NeverType.Options {
+    interface Options extends $Never.$Options {
         caseEmptyTuple?: unknown;
     }
-    interface DefaultOptions extends NeverType.DefaultOptions {
+    interface DefaultOptions extends $Never.$Default {
         caseEmptyTuple: never;
     }
 }

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

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"head.d.ts","sourceRoot":"","sources":["../../src/array/head.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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,IAC/C,OAAO,CACV,CAAC,EACD,gBAAgB,CAChB,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,GACnC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAC1E,KAAK,GAAG,KAAK,CAAA;AAGhB,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/esm/array/head.js.map

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

package/esm/array/intersect_of_props.d.ts

@@ -5,7 +5,7 @@ import type { Tail } from '../tuple/tail.js';
  *
  * Gets the intersect of properties of the elements in `A`.
  */
-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>;
+export type IntersectOfProps<A extends readonly 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/esm/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,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"}
+{"version":3,"file":"intersect_of_props.d.ts","sourceRoot":"","sources":["../../src/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,SAAU,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACtH,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/esm/array/intersect_of_props.js.map

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