type-plus 7.3.1 → 7.5.0

package/ts/tuple/tuple_type.ts

@@ -1,8 +1,13 @@
-import type { IsNever } from '../never/never_type.js'
+import type { IsNever, NeverType } from '../never/never_type.js'
 
 /**
- * Check if `T` is a tuple and not an array.
+ * 🌪️ *filter*
  *
+ * Filter `T` to ensure it is a tuple, excluding array.
+ *
+ * @typeParam Cases['never'] Return type when `T` is `never`. Default to `Else`.
+ *
+ * @example
  * ```ts
  * type R = TupleType<[]>       // []
  * type R = TupleType<[1]>      // [1]
@@ -13,52 +18,89 @@ import type { IsNever } from '../never/never_type.js'
  * type R = TupleType<unknown>  // never
  * ```
  */
-export type TupleType<T, Then = T, Else = never> = IsNever<
+export type TupleType<
+	T,
+	Then = T,
+	Else = never,
+	Options extends TupleType.Options = TupleType.DefaultOptions<Else>
+> = IsNever<
 	T,
-	Else,
+	Options['caseNever'],
 	[T] extends [any[]] ? (number extends T['length'] ? Else : Then) : Else
 >
 
+export namespace TupleType {
+	export interface Options extends NeverType.Options {
+	}
+
+	export interface DefaultOptions<Else> {
+		caseNever: Else
+	}
+}
+
+
 /**
- * Check if `T` is not a tuple.
+ * 🎭 *validate*
+ *
+ * Validate that `T` is a tuple, excluding array.
  *
  * ```ts
- * type R = NotTupleType<[]>       // never
- * type R = NotTupleType<[1]>      // never
+ * type R = IsTuple<[]>       // true
  *
- * type R = NotTupleType<number[]> // number[]
- * type R = NotTupleType<string>   // string
- * type R = NotTupleType<never>    // never
- * type R = NotTupleType<unknown>  // unknown
+ * type R = IsTuple<number[]> // false
+ * type R = IsTuple<string>   // false
+ * type R = IsTuple<never>    // false
+ * type R = IsTuple<unknown>  // false
  * ```
  */
-export type NotTupleType<T, Then = T, Else = never> = TupleType<T, Else, Then>
+export type IsTuple<
+	T,
+	Then = true,
+	Else = false,
+	Options extends TupleType.Options = TupleType.DefaultOptions<Else>
+> = TupleType<T, Then, Else, Options>
+
 
 /**
- * Is `T` a tuple and not an array.
+ * 🌪️ *filter*
+ *
+ * Filter `T` to ensure it is not an tuple, excluding array.
  *
  * ```ts
- * type R = IsTuple<[]>       // true
+ * type R = NotTupleType<[]>       // never
+ * type R = NotTupleType<[1]>      // never
  *
- * type R = IsTuple<number[]> // false
- * type R = IsTuple<string>   // false
- * type R = IsTuple<never>    // false
- * type R = IsTuple<unknown>  // false
+ * type R = NotTupleType<number[]> // number[]
+ * type R = NotTupleType<string>   // string
+ * type R = NotTupleType<never>    // never
+ * type R = NotTupleType<unknown>  // unknown
  * ```
  */
-export type IsTuple<T, Then = true, Else = false> = TupleType<T, Then, Else>
+export type NotTupleType<
+	T,
+	Then = T,
+	Else = never,
+	Options extends TupleType.Options = TupleType.DefaultOptions<Then>
+> = TupleType<T, Else, Then, Options>
 
 /**
- * Is `T` not a tuple.
+ * 🎭 *validate*
+ *
+ * Validate that `T` is not a tuple, excluding array.
  *
  * ```ts
  * type R = IsNotTuple<[]>       // false
  * type R = IsNotTuple<[1]>      // false
  *
- * type R = IsNotTuple<number[]> // false
- * type R = IsNotTuple<string>   // false
- * type R = IsNotTuple<never>    // false
- * type R = IsNotTuple<unknown>  // false
+ * type R = IsNotTuple<number[]> // true
+ * type R = IsNotTuple<string>   // true
+ * type R = IsNotTuple<never>    // true
+ * type R = IsNotTuple<unknown>  // true
  * ```
  */
-export type IsNotTuple<T, Then = true, Else = false> = TupleType<T, Else, Then>
+export type IsNotTuple<
+	T,
+	Then = true,
+	Else = false,
+	Options extends TupleType.Options = TupleType.DefaultOptions<Then>
+> = TupleType<T, Else, Then, Options>

package/ts/union/readme.md

@@ -0,0 +1,81 @@
+# union
+
+Union type is a type that combines multiple types as union.
+
+A value belongs to a union type if it belongs to one (or more) of its member types.
+
+For example:
+
+```ts
+type U1 = string | number
+
+const u1: U1 = 'a'
+const u2: U1 = 1
+```
+
+As a mental shortcut, you can think of it as an *or* operator.
+But it is better to think of it as union of category instead.
+
+## Union Members
+
+Each member of a union type is referred to as the union's member.
+
+It is useful to understand the relationship between members of a union type.
+
+In this context, we are going to consider types as sets,
+instead of categories, to make it easier to understand.
+
+Given two union members of a union,
+their relationship can be describe as "A x B" where "x" is:
+
+- disjoint: there is no overlap between A and B (e.g. `number | string`).
+- overlap: there are some overlap between A and B (e.g. `1 | 2` and `2 | 3` has overlap `2`)
+- subset/superset: A is a subset of B (or B is a superset of A) when every element in A is also in B (e.g. `1 | 2` is a subset of `number`)
+
+The union type will consider these relations when it is declared.
+
+There are other relations between members of a union type,
+which will affect how the union type behaves.
+
+For example:
+
+- property overlap: e.g. `{ a: 1 } | { a: 2 }`
+- property overlap with extension: e.g. `{ a: 1, b?: 2 } | { a: 1, c?: 3 }`
+
+The names of these relations are not properly defined and may change in the future.
+
+## [UnionType](./union.ts#l13)
+
+`UnionType<T, Then = T, Else = never>`
+
+🌪️ *filter*
+
+Filter the type `T` to ensure it is a union.
+
+```ts
+import type { UnionType } from 'type-plus'
+
+type R = UnionType<1 | 2> // 1 | 2
+type R = UnionType<boolean> // boolean
+type R = UnionType<number> // never
+```
+
+## [IsUnion](./union.ts#l30)
+
+🎭 *validate*
+
+Validate that `T` is a union.
+
+```ts
+import type { IsUnion } from 'type-plus'
+
+type R = IsUnion<1 | 2> // true
+type R = IsUnion<boolean> // true
+type R = IsUnion<number> // false
+```
+
+## Reference
+
+- [handbook]
+
+[handbook]: https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#union-types

package/ts/union/union.ts

@@ -0,0 +1,37 @@
+/**
+ * 🌪️ *filter*
+ *
+ * Filter the type `T` to ensure it is a union.
+ *
+ * @example
+ * ```ts
+ * type R = IsUnion<'a' | 'b'> // 'a' | 'b'
+ * type R = IsUnion<boolean> // boolean
+ * type R = IsUnion<number> // never
+ * ```
+ */
+export type UnionType<T, Then = T, Else = never> = UnionType.Device<T, Then, Else>
+
+/**
+ * 🎭 *validate*
+ *
+ * Validate the type `T` is a union.
+ *
+ * @author Nurbol Alpysbayev
+ * @see https://stackoverflow.com/questions/53953814/typescript-check-if-a-type-is-a-union
+ *
+ * @example
+ * ```ts
+ * type R = IsUnion<'a' | 'b'> // true
+ * type R = IsUnion<boolean> // true
+ * type R = IsUnion<number> // false
+ * ```
+ */
+export type IsUnion<T, Then = true, Else = false> = UnionType.Device<T, Then, Else>
+
+export namespace UnionType {
+	export type Device<T, Then, Else, U = T> =
+		(T extends unknown ? (U extends T ? 1 : 2) : never) extends 1
+		? Else
+		: Then
+}

package/ts/unknown/unknown_type.ts

@@ -53,3 +53,16 @@ export type NotUnknownType<T, Then = T, Else = never> = UnknownType<T, Else, The
  * ```
  */
 export type IsNotUnknown<T, Then = true, Else = false> = UnknownType<T, Else, Then>
+
+/**
+ * 🌪️ *filter*
+ *
+ * Returns `T` if `T` is not `unknown`, otherwise `Else`.
+ *
+ * @example
+ * ```ts
+ * type R = NotUnknownOr<number, string> // number
+ * type R = NotUnknownOr<unknown, number> // number
+ * ```
+ */
+export type NotUnknownOr<T, Else> = UnknownType<T, Else, T>

package/ts/utils/options.ts

@@ -0,0 +1,10 @@
+
+/**
+ * 🦴 *utilities*
+ * ㊙️ *internal*
+ *
+ * Merge the input Options `I` with the default Options `D`.
+ */
+export type MergeOptions<I, D> = {
+	[k in keyof D]: k extends keyof I ? I[k] : D[k]
+}

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

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

package/cjs/array/array.concat.js.map

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

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

@@ -1,21 +0,0 @@
-import type { TupleType } from '../tuple/tuple_type.js';
-/**
- * Returns the first type in the array or tuple that matches the `Criteria`.
- *
- * If the `Criteria` is not met, it will return `never'.
- *
- * For `Array<T>`, it will return `T | undefined` if `T` satisfies `Criteria`.
- *
- * @example
- * ```ts
- * ArrayPlus.Find<Array<1 | 2 | 'x'>, number> // 1 | 2 | undefined
- *
- * ArrayPlus.Find<[true, 1, 'x', 3], string> // 'x'
- * ```
- */
-export type FindFirst<A extends unknown[], Criteria> = TupleType<A, A['length'] extends 0 ? never : A extends [infer Head, ...infer Tail] ? Head extends Criteria ? Head : FindFirst<Tail, Criteria> : never, A extends Array<infer T> ? (T extends Criteria ? T | undefined : never) : never>;
-/**
- * @deprecated use FindFirst
- */
-export type First<A extends any[], Criteria> = FindFirst<A, Criteria>;
-//# sourceMappingURL=array.find.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"array.find.d.ts","sourceRoot":"","sources":["../../ts/array/array.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,SAAS,CAC/D,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAClB,KAAK,GACL,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,IAAI,SAAS,QAAQ,GACpB,IAAI,GACJ,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GAC1B,KAAK,EACR,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,GAAG,KAAK,CAC/E,CAAA;AAED;;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.map

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

package/cjs/array/common_prop_keys.d.ts

@@ -1,11 +0,0 @@
-import type { Tail } from './tail.js';
-/**
- * Gets the common property keys of the elements in `A`.
- */
-export type CommonPropKeys<A extends Record<string, unknown>[]> = A['length'] extends 0 ? never : A['length'] extends 1 ? keyof A[0] : A['length'] extends 2 ? keyof A[0] & keyof A[1] : keyof A[0] & keyof A[1] & CommonPropKeys<Tail<Tail<A>>>;
-/**
- * Gets the common property keys of the elements in `A`.
- * @deprecated Please use CommonPropKeys instead.
- */
-export type CommonKeys<A extends Record<string, any>[]> = CommonPropKeys<A>;
-//# sourceMappingURL=common_prop_keys.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"common_prop_keys.d.ts","sourceRoot":"","sources":["../../ts/array/common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpF,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,MAAM,CAAC,CAAC,CAAC,CAAC,GACV,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GACvB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1D;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,cAAc,CAAC,CAAC,CAAC,CAAA"}

package/cjs/array/common_prop_keys.js.map

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

package/cjs/array/drop.d.ts

@@ -1,19 +0,0 @@
-import type { IsEqual } from '../equal/equal.js';
-import type { NonNull, NonUndefined } from '../utils/index.js';
-export type DropFirst<A extends any[]> = number extends A['length'] ? A : A['length'] extends 0 ? never[] : A['length'] extends 1 ? never[] : A extends [any, ...infer Tail] ? Tail : never;
-export type DropLast<A extends any[]> = number extends A['length'] ? A : A['length'] extends 0 ? never[] : A['length'] extends 1 ? never[] : A extends [...infer Heads, any] ? Heads : never;
-type ExcludeUnionOfEmptyTuple<A> = IsEqual<A, []> extends true ? A : Exclude<A, []>;
-/**
- * drops entries matching `Criteria` in array or tuple `A`.
- */
-export type DropMatch<A extends Readonly<Array<any>>, Criteria> = number extends A['length'] ? A[0] extends Criteria ? never[] : undefined extends Criteria ? null extends Criteria ? Array<NonNullable<A[0]>> : Array<NonUndefined<A[0]>> : null extends Criteria ? Array<NonNull<A[0]>> : Criteria extends A[0] ? Array<Exclude<A[0], Criteria>> : A[0] extends Criteria ? A : Array<Exclude<A[0], Criteria>> : DropMatchTuple<A, Criteria>;
-type DropMatchTuple<A extends Readonly<Array<any>>, Criteria> = A['length'] extends 0 ? A : A extends readonly [infer Head, ...infer Tail] ? Tail['length'] extends 0 ? undefined extends Criteria ? ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : Exclude<Head, Criteria> extends never ? DropMatch<Tail, Criteria> : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>] : never[];
-export type DropNull<A extends Array<any>> = DropMatch<A, null>;
-export type DropNullable<A extends Array<any>> = DropMatch<A, null | undefined>;
-export type DropUndefined<A extends Array<any>> = DropMatch<A, undefined>;
-/**
- * drop a particular value from an array
- */
-export declare function drop<A extends Readonly<Array<any>>, C>(array: A, value: C): DropMatch<A, C>;
-export {};
-//# sourceMappingURL=drop.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"drop.d.ts","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAE9D,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAChE,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9B,IAAI,GACJ,KAAK,CAAA;AAER,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC/D,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,GAAG,CAAC,GAC/B,KAAK,GACL,KAAK,CAAA;AAER,KAAK,wBAAwB,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAEnF;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAEzF,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAEpB,KAAK,EAAE,GACP,SAAS,SAAS,QAAQ,GAC1B,IAAI,SAAS,QAAQ,GACpB,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxB,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC1B,IAAI,SAAS,QAAQ,GACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACpB,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC9B,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACrB,CAAC,GACD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE9B,KAAK,cAAc,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAElF,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAEvB,SAAS,SAAS,QAAQ,GACzB,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAC7D,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAEhE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,KAAK,GACnC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACxD,KAAK,EAAE,CAAA;AAEV,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC/D,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAA;AAC/E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAEzE;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAE3F"}

package/cjs/array/drop.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":";;;AAiEA;;GAEG;AACH,SAAgB,IAAI,CAAoC,KAAQ,EAAE,KAAQ;IACzE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAoB,CAAA;AACzD,CAAC;AAFD,oBAEC"}

package/cjs/array/index.d.ts

@@ -1,17 +0,0 @@
-export * from './common_prop_keys.js';
-export * from './drop.js';
-export * from './filter.js';
-export * from './array.find.js';
-export * from './array.find_last.js';
-export * from './head.js';
-export * from './intersect_of_props.js';
-export * from './last.js';
-export * from './literal_array.js';
-export * from './pad_start.js';
-export * from './reduce_while.js';
-export * from './reverse.js';
-export * from './array.some.js';
-export * from './tail.js';
-export * from './union_of_props.js';
-export * from './union_of_values.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,WAAW,CAAA;AACzB,cAAc,yBAAyB,CAAA;AACvC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,WAAW,CAAA;AACzB,cAAc,qBAAqB,CAAA;AACnC,cAAc,sBAAsB,CAAA"}

package/cjs/array/index.js

@@ -1,33 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./common_prop_keys.js"), exports);
-__exportStar(require("./drop.js"), exports);
-__exportStar(require("./filter.js"), exports);
-__exportStar(require("./array.find.js"), exports);
-__exportStar(require("./array.find_last.js"), exports);
-__exportStar(require("./head.js"), exports);
-__exportStar(require("./intersect_of_props.js"), exports);
-__exportStar(require("./last.js"), exports);
-__exportStar(require("./literal_array.js"), exports);
-__exportStar(require("./pad_start.js"), exports);
-__exportStar(require("./reduce_while.js"), exports);
-__exportStar(require("./reverse.js"), exports);
-__exportStar(require("./array.some.js"), exports);
-__exportStar(require("./tail.js"), exports);
-__exportStar(require("./union_of_props.js"), exports);
-__exportStar(require("./union_of_values.js"), exports);
-//# sourceMappingURL=index.js.map

package/cjs/array/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,wDAAqC;AACrC,4CAAyB;AACzB,8CAA2B;AAC3B,kDAA+B;AAC/B,uDAAoC;AACpC,4CAAyB;AACzB,0DAAuC;AACvC,4CAAyB;AACzB,qDAAkC;AAClC,iDAA8B;AAC9B,oDAAiC;AACjC,+CAA4B;AAC5B,kDAA+B;AAC/B,4CAAyB;AACzB,sDAAmC;AACnC,uDAAoC"}

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

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

package/esm/array/array.concat.js

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

package/esm/array/array.concat.js.map

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

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

@@ -1,21 +0,0 @@
-import type { TupleType } from '../tuple/tuple_type.js';
-/**
- * Returns the first type in the array or tuple that matches the `Criteria`.
- *
- * If the `Criteria` is not met, it will return `never'.
- *
- * For `Array<T>`, it will return `T | undefined` if `T` satisfies `Criteria`.
- *
- * @example
- * ```ts
- * ArrayPlus.Find<Array<1 | 2 | 'x'>, number> // 1 | 2 | undefined
- *
- * ArrayPlus.Find<[true, 1, 'x', 3], string> // 'x'
- * ```
- */
-export type FindFirst<A extends unknown[], Criteria> = TupleType<A, A['length'] extends 0 ? never : A extends [infer Head, ...infer Tail] ? Head extends Criteria ? Head : FindFirst<Tail, Criteria> : never, A extends Array<infer T> ? (T extends Criteria ? T | undefined : never) : never>;
-/**
- * @deprecated use FindFirst
- */
-export type First<A extends any[], Criteria> = FindFirst<A, Criteria>;
-//# sourceMappingURL=array.find.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"array.find.d.ts","sourceRoot":"","sources":["../../ts/array/array.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,QAAQ,IAAI,SAAS,CAC/D,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAClB,KAAK,GACL,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACrC,IAAI,SAAS,QAAQ,GACpB,IAAI,GACJ,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GAC1B,KAAK,EACR,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,GAAG,KAAK,CAC/E,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA"}

package/esm/array/array.find.js

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

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

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

package/esm/array/common_prop_keys.d.ts

@@ -1,11 +0,0 @@
-import type { Tail } from './tail.js';
-/**
- * Gets the common property keys of the elements in `A`.
- */
-export type CommonPropKeys<A extends Record<string, unknown>[]> = A['length'] extends 0 ? never : A['length'] extends 1 ? keyof A[0] : A['length'] extends 2 ? keyof A[0] & keyof A[1] : keyof A[0] & keyof A[1] & CommonPropKeys<Tail<Tail<A>>>;
-/**
- * Gets the common property keys of the elements in `A`.
- * @deprecated Please use CommonPropKeys instead.
- */
-export type CommonKeys<A extends Record<string, any>[]> = CommonPropKeys<A>;
-//# sourceMappingURL=common_prop_keys.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"common_prop_keys.d.ts","sourceRoot":"","sources":["../../ts/array/common_prop_keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpF,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,MAAM,CAAC,CAAC,CAAC,CAAC,GACV,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GACvB,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1D;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,cAAc,CAAC,CAAC,CAAC,CAAA"}

package/esm/array/common_prop_keys.js.map

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

package/esm/array/drop.d.ts

@@ -1,19 +0,0 @@
-import type { IsEqual } from '../equal/equal.js';
-import type { NonNull, NonUndefined } from '../utils/index.js';
-export type DropFirst<A extends any[]> = number extends A['length'] ? A : A['length'] extends 0 ? never[] : A['length'] extends 1 ? never[] : A extends [any, ...infer Tail] ? Tail : never;
-export type DropLast<A extends any[]> = number extends A['length'] ? A : A['length'] extends 0 ? never[] : A['length'] extends 1 ? never[] : A extends [...infer Heads, any] ? Heads : never;
-type ExcludeUnionOfEmptyTuple<A> = IsEqual<A, []> extends true ? A : Exclude<A, []>;
-/**
- * drops entries matching `Criteria` in array or tuple `A`.
- */
-export type DropMatch<A extends Readonly<Array<any>>, Criteria> = number extends A['length'] ? A[0] extends Criteria ? never[] : undefined extends Criteria ? null extends Criteria ? Array<NonNullable<A[0]>> : Array<NonUndefined<A[0]>> : null extends Criteria ? Array<NonNull<A[0]>> : Criteria extends A[0] ? Array<Exclude<A[0], Criteria>> : A[0] extends Criteria ? A : Array<Exclude<A[0], Criteria>> : DropMatchTuple<A, Criteria>;
-type DropMatchTuple<A extends Readonly<Array<any>>, Criteria> = A['length'] extends 0 ? A : A extends readonly [infer Head, ...infer Tail] ? Tail['length'] extends 0 ? undefined extends Criteria ? ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : Exclude<Head, Criteria> extends never ? DropMatch<Tail, Criteria> : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>] : never[];
-export type DropNull<A extends Array<any>> = DropMatch<A, null>;
-export type DropNullable<A extends Array<any>> = DropMatch<A, null | undefined>;
-export type DropUndefined<A extends Array<any>> = DropMatch<A, undefined>;
-/**
- * drop a particular value from an array
- */
-export declare function drop<A extends Readonly<Array<any>>, C>(array: A, value: C): DropMatch<A, C>;
-export {};
-//# sourceMappingURL=drop.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"drop.d.ts","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAE9D,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAChE,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9B,IAAI,GACJ,KAAK,CAAA;AAER,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC/D,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,KAAK,EAAE,GACP,CAAC,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,GAAG,CAAC,GAC/B,KAAK,GACL,KAAK,CAAA;AAER,KAAK,wBAAwB,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAEnF;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAEzF,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAEpB,KAAK,EAAE,GACP,SAAS,SAAS,QAAQ,GAC1B,IAAI,SAAS,QAAQ,GACpB,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxB,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC1B,IAAI,SAAS,QAAQ,GACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACpB,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC9B,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACrB,CAAC,GACD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE9B,KAAK,cAAc,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAElF,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAEvB,SAAS,SAAS,QAAQ,GACzB,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAC7D,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAEhE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,KAAK,GACnC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GACxD,KAAK,EAAE,CAAA;AAEV,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC/D,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAA;AAC/E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAEzE;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAE3F"}

package/esm/array/drop.js

@@ -1,7 +0,0 @@
-/**
- * drop a particular value from an array
- */
-export function drop(array, value) {
-    return array.filter(v => v !== value);
-}
-//# sourceMappingURL=drop.js.map

package/esm/array/drop.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAiEA;;GAEG;AACH,MAAM,UAAU,IAAI,CAAoC,KAAQ,EAAE,KAAQ;IACzE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAoB,CAAA;AACzD,CAAC"}

package/esm/array/index.d.ts

@@ -1,17 +0,0 @@
-export * from './common_prop_keys.js';
-export * from './drop.js';
-export * from './filter.js';
-export * from './array.find.js';
-export * from './array.find_last.js';
-export * from './head.js';
-export * from './intersect_of_props.js';
-export * from './last.js';
-export * from './literal_array.js';
-export * from './pad_start.js';
-export * from './reduce_while.js';
-export * from './reverse.js';
-export * from './array.some.js';
-export * from './tail.js';
-export * from './union_of_props.js';
-export * from './union_of_values.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,WAAW,CAAA;AACzB,cAAc,yBAAyB,CAAA;AACvC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,WAAW,CAAA;AACzB,cAAc,qBAAqB,CAAA;AACnC,cAAc,sBAAsB,CAAA"}

package/esm/array/index.js

@@ -1,17 +0,0 @@
-export * from './common_prop_keys.js';
-export * from './drop.js';
-export * from './filter.js';
-export * from './array.find.js';
-export * from './array.find_last.js';
-export * from './head.js';
-export * from './intersect_of_props.js';
-export * from './last.js';
-export * from './literal_array.js';
-export * from './pad_start.js';
-export * from './reduce_while.js';
-export * from './reverse.js';
-export * from './array.some.js';
-export * from './tail.js';
-export * from './union_of_props.js';
-export * from './union_of_values.js';
-//# sourceMappingURL=index.js.map

package/esm/array/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,WAAW,CAAA;AACzB,cAAc,yBAAyB,CAAA;AACvC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,WAAW,CAAA;AACzB,cAAc,qBAAqB,CAAA;AACnC,cAAc,sBAAsB,CAAA"}

package/ts/array/array.find.ts

@@ -1,32 +0,0 @@
-import type { TupleType } from '../tuple/tuple_type.js'
-
-/**
- * Returns the first type in the array or tuple that matches the `Criteria`.
- *
- * If the `Criteria` is not met, it will return `never'.
- *
- * For `Array<T>`, it will return `T | undefined` if `T` satisfies `Criteria`.
- *
- * @example
- * ```ts
- * ArrayPlus.Find<Array<1 | 2 | 'x'>, number> // 1 | 2 | undefined
- *
- * ArrayPlus.Find<[true, 1, 'x', 3], string> // 'x'
- * ```
- */
-export type FindFirst<A extends unknown[], Criteria> = TupleType<
-	A,
-	A['length'] extends 0
-		? never
-		: A extends [infer Head, ...infer Tail]
-		? Head extends Criteria
-			? Head
-			: FindFirst<Tail, Criteria>
-		: never,
-	A extends Array<infer T> ? (T extends Criteria ? T | undefined : never) : never
->
-
-/**
- * @deprecated use FindFirst
- */
-export type First<A extends any[], Criteria> = FindFirst<A, Criteria>

package/ts/array/common_prop_keys.ts

@@ -1,18 +0,0 @@
-import type { Tail } from './tail.js'
-
-/**
- * Gets the common property keys of the elements in `A`.
- */
-export type CommonPropKeys<A extends Record<string, unknown>[]> = A['length'] extends 0
-	? never
-	: A['length'] extends 1
-	? keyof A[0]
-	: A['length'] extends 2
-	? keyof A[0] & keyof A[1]
-	: keyof A[0] & keyof A[1] & CommonPropKeys<Tail<Tail<A>>>
-
-/**
- * Gets the common property keys of the elements in `A`.
- * @deprecated Please use CommonPropKeys instead.
- */
-export type CommonKeys<A extends Record<string, any>[]> = CommonPropKeys<A>