type-plus 6.3.0 → 6.4.0

package/ts/tuple/tuple_type.ts

@@ -0,0 +1,72 @@
+import type { IsNever } from '../never/never_type.js'
+
+/**
+ * Check if `T` is a tuple and not an array.
+ *
+ * ```ts
+ * import type { TupleType } from 'type-plus'
+ *
+ * type R = TupleType<[]>       // []
+ * type R = TupleType<[1]>      // [1]
+ *
+ * type R = TupleType<number[]> // never
+ * type R = TupleType<string>   // never
+ * type R = TupleType<never>    // never
+ * type R = TupleType<unknown>  // never
+ * ```
+ */
+export type TupleType<T, Then = T, Else = never> = IsNever<
+	T,
+	Else,
+	[T] extends [any[]] ? (number extends T['length'] ? Else : Then) : Else
+>
+
+/**
+ * Check if `T` is not a tuple.
+ *
+ * ```ts
+ * import type { NotTupleType } from 'type-plus'
+ *
+ * type R = NotTupleType<[]>       // never
+ * type R = NotTupleType<[1]>      // never
+ *
+ * type R = NotTupleType<number[]> // number[]
+ * type R = NotTupleType<string>   // string
+ * type R = NotTupleType<never>    // never
+ * type R = NotTupleType<unknown>  // unknown
+ * ```
+ */
+export type NotTupleType<T, Then = T, Else = never> = TupleType<T, Else, Then>
+
+/**
+ * Is `T` a tuple and not an array.
+ *
+ * ```ts
+ * import type { IsTuple } from 'type-plus'
+ *
+ * type R = IsTuple<[]>       // true
+ *
+ * type R = IsTuple<number[]> // false
+ * type R = IsTuple<string>   // false
+ * type R = IsTuple<never>    // false
+ * type R = IsTuple<unknown>  // false
+ * ```
+ */
+export type IsTuple<T, Then = true, Else = false> = TupleType<T, Then, Else>
+
+/**
+ * Is `T` not a tuple.
+ *
+ * ```ts
+ * import type { IsNotTuple } from 'type-plus'
+ *
+ * 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
+ * ```
+ */
+export type IsNotTuple<T, Then = true, Else = false> = TupleType<T, Else, Then>

package/ts/undefined/readme.md

@@ -0,0 +1,18 @@
+# undefined
+
+## Type Checking
+
+The `UndefinedType<T>` and friends are used to check if a type is `undefined` or not.
+
+```ts
+import type { UndefinedType } from 'type-plus'
+
+type R = UndefinedType<undefined> // undefined
+
+type R = UndefinedType<1> // never
+```
+
+- [`UndefinedType<T, Then = T, Else = never>`](undefined_type.ts#L16): check if `T` is `undefined`.
+- [`IsUndefined<T, Then = true, Else = false`](undefined_type.ts#L35): is `T` `undefined`.
+- [`NotUndefinedType<T, Then = T, Else = never>`](undefined_type.ts#L50): check if `T` is not `undefined`.
+- [`IsNotUndefined<T, Then = true, Else = false>`](undefined_type.ts#L65): is `T` not `undefined`.

package/ts/undefined/undefined_type.ts

@@ -0,0 +1,65 @@
+import type { IsAny } from '../any/any_type.js'
+
+/**
+ * Check if the type `T` is exactly `undefined`.
+ *
+ * ```
+ * import type { UndefinedType } from 'type-plus'
+ *
+ * type R = UndefinedType<undefined> // undefined
+ *
+ * type R = UndefinedType<never> // never
+ * type R = UndefinedType<unknown> // never
+ * type R = UndefinedType<string | boolean> // never
+ * ```
+ */
+export type UndefinedType<T, Then = T, Else = never> = IsAny<
+	T,
+	Else,
+	[T, undefined] extends [undefined, T] ? Then : Else
+>
+
+/**
+ * Is the type `T` exactly `undefined`.
+ *
+ * ```
+ * import type { IsUndefined } from 'type-plus'
+ *
+ * type R = IsUndefined<undefined> // true
+ *
+ * type R = IsUndefined<never> // false
+ * type R = IsUndefined<unknown> // false
+ * type R = IsUndefined<string | boolean> // false
+ * ```
+ */
+export type IsUndefined<T, Then = true, Else = false> = UndefinedType<T, Then, Else>
+
+/**
+ * Check if the type `T` is not `undefined`.
+ *
+ * ```
+ * import type { NotUndefinedType } from 'type-plus'
+ *
+ * type R = NotUndefinedType<undefined> // never
+ *
+ * type R = NotUndefinedType<never> // never
+ * type R = NotUndefinedType<unknown> // unknown
+ * type R = NotUndefinedType<string | boolean> // string | boolean
+ * ```
+ */
+export type NotUndefinedType<T, Then = T, Else = never> = UndefinedType<T, Else, Then>
+
+/**
+ * Is the type `T` not `undefined`.
+ *
+ * ```
+ * import type { IsNotUndefined } from 'type-plus'
+ *
+ * type R = IsNotUndefined<undefined> // false
+ *
+ * type R = IsNotUndefined<never> // true
+ * type R = IsNotUndefined<unknown> // true
+ * type R = IsNotUndefined<string | boolean> // true
+ * ```
+ */
+export type IsNotUndefined<T, Then = true, Else = false> = UndefinedType<T, Else, Then>

package/ts/unknown/readme.md

@@ -0,0 +1,27 @@
+# unknown
+
+`unknown` is one of the top type in TypeScript.
+It is a "safer" variant of `any` that you cannot use the value until there are some type guards or type assertions to the value.
+
+## Type Checking
+
+The `UnknownType<T>` and friends are used to check if a type is `unknown` or not.
+
+```ts
+import type { UnknownType } from 'type-plus'
+
+type R = UnknownType<unknown> // unknown
+
+type R = UnknownType<1> // never
+```
+
+- [`UnknownType<T, Then = T, Else = never>`](unknown_type.ts#L16): check if `T` is `unknown`.
+- [`IsUnknown<T, Then = true, Else = false`](unknown_type.ts#L35): is `T` `unknown`.
+- [`NotUnknownType<T, Then = T, Else = never>`](unknown_type.ts#L50): check if `T` is not `unknown`.
+- [`IsNotUnknown<T, Then = true, Else = false>`](unknown_type.ts#L65): is `T` not `unknown`.
+
+## References
+
+- [Handbook]
+
+[handbook]: https://www.typescriptlang.org/docs/handbook/2/functions.html#unknown

package/ts/unknown/unknown_type.ts

@@ -0,0 +1,63 @@
+import type { IsAny } from '../any/any_type.js'
+
+/**
+ * Check if the type `T` is exactly `unknown`.
+ *
+ * ```
+ * import type { UnknownType } from 'type-plus'
+ *
+ * type R = UnknownType<unknown> // unknown
+ *
+ * type R = UnknownType<number> // never
+ * type R = UnknownType<never> // never
+ * ```
+ */
+export type UnknownType<T, Then = T, Else = never> = IsAny<
+	T,
+	Else,
+	[T, unknown] extends [unknown, T] ? Then : Else
+>
+
+/**
+ * Is the type `T` exactly `unknown`.
+ *
+ * ```
+ * import type { IsUnknown } from 'type-plus'
+ *
+ * type R = IsUnknown<unknown> // true
+ *
+ * type R = IsUnknown<number> // false
+ * type R = IsUnknown<never> // false
+ * ```
+ */
+export type IsUnknown<T, Then = true, Else = false> = UnknownType<T, Then, Else>
+
+/**
+ * Check if the type `T` is not `unknown`.
+ *
+ * ```
+ * import type { NotUnknownType } from 'type-plus'
+ *
+ * type R = NotUnknownType<unknown> // never
+ *
+ * type R = NotUnknownType<never> // never
+ * type R = NotUnknownType<number> // number
+ * type R = NotUnknownType<string | boolean> // string | boolean
+ * ```
+ */
+export type NotUnknownType<T, Then = T, Else = never> = UnknownType<T, Else, Then>
+
+/**
+ * Is the type `T` not exactly `unknown`.
+ *
+ * ```
+ * import type { IsNotUnknown } from 'type-plus'
+ *
+ * type R = IsNotUnknown<unknown> // false
+ *
+ * type R = IsNotUnknown<never> // true
+ * type R = IsNotUnknown<number> // true
+ * type R = IsNotUnknown<string | boolean> // true
+ * ```
+ */
+export type IsNotUnknown<T, Then = true, Else = false> = UnknownType<T, Else, Then>

package/ts/void/readme.md

@@ -0,0 +1,26 @@
+# void
+
+`void` is a type that represents the absence of a value. It is used as the return type of functions that do not return a value.
+
+## Type Checking
+
+The `VoidType<T>` and friends are used to check if a type is exactly `void`.
+
+```ts
+import type { VoidType } from 'type-plus'
+
+type R = VoidType<void> // void
+
+type R = VoidType<1> // never
+```
+
+- [`VoidType<T, Then = T, Else = never>`](void_type.ts#L15): check if `T` is `void`.
+- [`IsVoid<T, Then = true, Else = false`](void_type.ts#L32): is `T` `void`.
+- [`NotVoidType<T, Then = T, Else = never>`](void_type.ts#L45): check if `T` is not `void`.
+- [`IsNotVoid<T, Then = true, Else = false>`](void_type.ts#L58): is `T` not `void`.
+
+## References
+
+- [Handbook]
+
+[handbook]: https://www.typescriptlang.org/docs/handbook/2/functions.html#void

package/ts/void/void_type.ts

@@ -0,0 +1,58 @@
+import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsUndefined } from '../undefined/undefined_type.js'
+
+/**
+ * Check if `T` is `void`.
+ *
+ * ```ts
+ * import type { VoidType } from 'type-plus'
+ *
+ * type R = VoidType<void> // void
+ *
+ * type R = VoidType<1> // never
+ * ```
+ */
+export type VoidType<T, Then = T, Else = never> = IsAnyOrNever<
+	T,
+	Else,
+	IsUndefined<T, Else, [T] extends [void] ? Then : Else>
+>
+
+/**
+ * Check if `T` is not `void`.
+ *
+ * ```ts
+ * import type { VoidType } from 'type-plus'
+ *
+ * type R = VoidType<void> // never
+ *
+ * type R = VoidType<1> // 1
+ * ```
+ */
+export type NotVoidType<T, Then = T, Else = never> = VoidType<T, Else, Then>
+
+/**
+ * Is `T` `void`.
+ *
+ * ```ts
+ * import type { IsVoid } from 'type-plus'
+ *
+ * type R = IsVoid<void> // true
+ *
+ * type R = IsVoid<1> // false
+ * ```
+ */
+export type IsVoid<T, Then = true, Else = false> = VoidType<T, Then, Else>
+
+/**
+ * Is `T` not `void`.
+ *
+ * ```ts
+ * import type { IsNotVoid } from 'type-plus'
+ *
+ * type R = IsNotVoid<void> // false
+ *
+ * type R = IsNotVoid<1> // true
+ * ```
+ */
+export type IsNotVoid<T, Then = true, Else = false> = VoidType<T, Else, Then>

package/cjs/ComposableTypes.d.ts

@@ -1,9 +0,0 @@
-/**
- * Types that can contain custom properties.
- */
-export type ComposableTypes = object | Function;
-/**
- * Types that cannot contain custom properties.
- */
-export type NonComposableTypes = boolean | number | string | symbol | bigint | undefined | null;
-//# sourceMappingURL=ComposableTypes.d.ts.map

package/cjs/ComposableTypes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ComposableTypes.d.ts","sourceRoot":"","sources":["../ts/ComposableTypes.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,CAAA;AAE/C;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAA"}

package/cjs/ComposableTypes.js

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

package/cjs/ComposableTypes.js.map

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

package/cjs/JSONTypes.d.ts

@@ -1,12 +0,0 @@
-export type JSONTypes = JSONPrimitive | JSONObject | JSONArray;
-export type JSONPrimitive = boolean | number | string | null;
-export type JSONObject = {
-    [key in string]?: JSONTypes;
-};
-export type JSONArray = Array<JSONTypes>;
-export declare const JSONTypes: {
-    get: typeof get;
-};
-declare function get<T extends JSONTypes>(obj: JSONTypes, ...props: Array<string | number>): T | undefined;
-export {};
-//# sourceMappingURL=JSONTypes.d.ts.map

package/cjs/JSONTypes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"JSONTypes.d.ts","sourceRoot":"","sources":["../ts/JSONTypes.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,CAAA;AAE9D,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;AAE5D,MAAM,MAAM,UAAU,GAAG;KAAG,GAAG,IAAI,MAAM,CAAC,CAAC,EAAE,SAAS;CAAE,CAAA;AAExD,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAA;AAExC,eAAO,MAAM,SAAS;;CAAU,CAAA;AAEhC,iBAAS,GAAG,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAMjG"}

package/cjs/JSONTypes.js

@@ -1,14 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.JSONTypes = void 0;
-exports.JSONTypes = { get };
-function get(obj, ...props) {
-    if (props.length === 0)
-        return obj;
-    if (typeof obj !== 'object' || obj === null)
-        return undefined;
-    const p = props.shift();
-    // @ts-ignore
-    return get(obj[p], ...props);
-}
-//# sourceMappingURL=JSONTypes.js.map

package/cjs/JSONTypes.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../ts/JSONTypes.ts"],"names":[],"mappings":";;;AAQa,QAAA,SAAS,GAAG,EAAE,GAAG,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc,EAAE,GAAG,KAA6B;IACjF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IACxB,aAAa;IACb,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAM,CAAA;AAClC,CAAC"}

package/cjs/PrimitiveTypes.d.ts

@@ -1,3 +0,0 @@
-export type PrimitiveTypes = boolean | number | string | object | symbol | bigint | Function | undefined | null;
-export type IsNever<T, Then = true, Else = false> = [T] extends [never] ? Then : Else;
-//# sourceMappingURL=PrimitiveTypes.d.ts.map

package/cjs/PrimitiveTypes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"PrimitiveTypes.d.ts","sourceRoot":"","sources":["../ts/PrimitiveTypes.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,cAAc,GACvB,OAAO,GACP,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,QAAQ,GACR,SAAS,GACT,IAAI,CAAA;AAEP,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA"}

package/cjs/PrimitiveTypes.js

@@ -1,4 +0,0 @@
-"use strict";
-// IsNever from @jack-williams: https://github.com/microsoft/TypeScript/issues/23182#issuecomment-379091887
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=PrimitiveTypes.js.map

package/cjs/PrimitiveTypes.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"PrimitiveTypes.js","sourceRoot":"","sources":["../ts/PrimitiveTypes.ts"],"names":[],"mappings":";AAAA,2GAA2G"}

package/cjs/UnionKeys.d.ts

@@ -1,6 +0,0 @@
-/**
- * `UnionKeys<T>` will distribute keys of an union to individual types.
- * This should be used in conjuncture with distributive types.
- */
-export type UnionKeys<T> = keyof T | (T extends unknown ? keyof T : never);
-//# sourceMappingURL=UnionKeys.d.ts.map

package/cjs/UnionKeys.d.ts.map

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

package/cjs/UnionKeys.js

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

package/cjs/UnionKeys.js.map

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

package/cjs/UnionToIntersection.d.ts

@@ -1,3 +0,0 @@
-export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
-export declare function toIntersection<U>(union: U): UnionToIntersection<U>;
-//# sourceMappingURL=UnionToIntersection.d.ts.map

package/cjs/UnionToIntersection.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"UnionToIntersection.d.ts","sourceRoot":"","sources":["../ts/UnionToIntersection.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GACvG,CAAC,GACD,KAAK,CAAA;AAER,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAElE"}

package/cjs/UnionToIntersection.js

@@ -1,8 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.toIntersection = void 0;
-function toIntersection(union) {
-    return union;
-}
-exports.toIntersection = toIntersection;
-//# sourceMappingURL=UnionToIntersection.js.map

package/cjs/UnionToIntersection.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"UnionToIntersection.js","sourceRoot":"","sources":["../ts/UnionToIntersection.ts"],"names":[],"mappings":";;;AAMA,SAAgB,cAAc,CAAI,KAAQ;IACzC,OAAO,KAAsC,CAAA;AAC9C,CAAC;AAFD,wCAEC"}

package/cjs/any_plus/any.d.ts

@@ -1,29 +0,0 @@
-/**
- * Is the type `T` exactly `any`.
- *
- * ```
- * import type { IsAny } from 'type-plus'
- *
- * type R = IsAny<any> // true
- *
- * type R = IsAny<never> // false
- * type R = IsAny<unknown> // false
- * type R = IsAny<string | boolean> // false
- * ```
- */
-export type IsAny<T, Then = true, Else = false> = 0 extends 1 & T ? Then : Else;
-/**
- * Check if the type `T` is exactly `any`.
- *
- * ```
- * import type { AnyType } from 'type-plus'
- *
- * type R = AnyType<any> // any
- *
- * type R = AnyType<never> // never
- * type R = AnyType<unknown> // never
- * type R = AnyType<string | boolean> // never
- * ```
- */
-export type AnyType<T, Then = T, Else = never> = IsAny<T, Then, Else>;
-//# sourceMappingURL=any.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"any.d.ts","sourceRoot":"","sources":["../../ts/any_plus/any.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/any_plus/any.js

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

package/cjs/any_plus/any.js.map

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

package/cjs/any_plus/index.d.ts

@@ -1,2 +0,0 @@
-export type * from './any.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/any_plus/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,UAAU,CAAA"}

package/cjs/any_plus/index.js

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

package/cjs/any_plus/index.js.map

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

package/cjs/array_plus/array.d.ts

@@ -1,42 +0,0 @@
-import type { NumberType } from '../number_plus/number.js';
-import type { IndexAt } from './array_plus.js';
-/**
- * Gets the type of the array or tuple at index `N`.
- *
- * Like `Array.at()`, this type supports negative numbers.
- *
- * @alias ArrayPlus.At
- *
- * ```
- * import type { At } from 'type-plus'
- *
- * type R = At<[1, 2, 3], 2> // 3
- * type R = At<[1, 2, 3], -1> // 3
- * ```
- */
-export type At<A extends Array<unknown>, N extends number, Fail = never> = IndexAt<A, N, Fail> extends infer I ? I extends number ? A[I] : Fail : never;
-/**
- * Concats two arrays.
- *
- * alias of: `[...A, ...B]`
- *
- * @alias ArrayPlus.Concat
- * ```
- * import type { Concat } form 'type-plus'
- *
- * type R = Concat<[1], [2, 3]> // [1, 2, 3]
- * ```
- */
-export type Concat<A extends unknown[], B extends unknown[]> = [...A, ...B];
-/**
- * Check if the type `A` is an array type and not a tuple.
- *
- * ```
- * import type { ArrayType } from 'type-plus'
- *
- * type R = ArrayType<number[]> // true
- * type R = ArrayType<[1]> // false
- * ```
- */
-export type ArrayType<A extends unknown[], Then = A, Else = never> = NumberType<A['length'], Then, Else>;
-//# sourceMappingURL=array.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../ts/array_plus/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAE9C;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,GAC3G,CAAC,SAAS,MAAM,GACf,CAAC,CAAC,CAAC,CAAC,GACJ,IAAI,GACL,KAAK,CAAA;AAER;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;AAE3E;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/array_plus/array.js.map

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

package/cjs/array_plus/array_number.d.ts

@@ -1,4 +0,0 @@
-import { Add } from '../math/Add.js';
-import { ArrayType } from './array.js';
-export type Sum<A extends ArrayType<number[]>> = A['length'] extends 0 ? 0 : A['length'] extends 1 ? A[0] : A['length'] extends 2 ? Add<A[0], A[1]> : A extends [infer F extends number, infer S extends number, ...infer Tail extends number[]] ? Sum<[Add<F, S>, ...Tail]> : never;
-//# sourceMappingURL=array_number.d.ts.map

package/cjs/array_plus/array_number.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"array_number.d.ts","sourceRoot":"","sources":["../../ts/array_plus/array_number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAEtC,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnE,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,MAAM,IAAI,SAAS,MAAM,EAAE,CAAC,GAC1F,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,GACzB,KAAK,CAAA"}

package/cjs/array_plus/array_number.js

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

package/cjs/array_plus/array_number.js.map

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

package/cjs/array_plus/array_plus.d.ts

@@ -1,35 +0,0 @@
-import type { IsNever } from '../PrimitiveTypes.js';
-import type { Abs } from '../math/Abs.js';
-import type { GreaterThan } from '../math/GreaterThan.js';
-import type { Subtract } from '../math/Subtract.js';
-import type { Integer, Negative, NumberType } from '../number_plus/number.js';
-import type { Equal } from '../predicates/Equal.js';
-export type * from './array.js';
-/**
- * Gets the normalized index to access the element of an array or tuple.
- *
- * ```
- * import type { ArrayPlus } from 'type-plus'
- *
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], 2> // 2
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], -2> // 1
- *
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], 3> // never
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], -4> // never
- * ```
- */
-export type IndexAt<A extends Array<unknown>, N extends number, Fail = never> = Equal<A['length'], 0, Fail, Integer<N, NumberType<A['length'], N, Negative<N, GreaterThan<Abs<N>, A['length']> extends true ? Fail : Subtract<A['length'], Abs<N>>, GreaterThan<A['length'], N> extends true ? N : Fail>>, NumberType<N, N, Fail>>>;
-/**
- * Is N an out of bound index of A.
- *
- * ```
- * import { IsIndexOutOfBound } from 'type-plus'
- *
- * 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 unknown[], N extends number, Then = true, Else = false> = IsNever<IndexAt<A, N>, Then, Else>;
-//# sourceMappingURL=array_plus.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"array_plus.d.ts","sourceRoot":"","sources":["../../ts/array_plus/array_plus.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC7E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAEnD,mBAAmB,YAAY,CAAA;AAE/B;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACpF,CAAC,CAAC,QAAQ,CAAC,EACX,CAAC,EACD,IAAI,EACJ,OAAO,CACN,CAAC,EACD,UAAU,CACT,CAAC,CAAC,QAAQ,CAAC,EAEX,CAAC,EAED,QAAQ,CACP,CAAC,EACD,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACpF,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,IAAI,CACnD,CACD,EAED,UAAU,CACT,CAAC,EAED,CAAC,EACD,IAAI,CACJ,CACD,CACD,CAAA;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACxG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACb,IAAI,EACJ,IAAI,CACJ,CAAA"}

package/cjs/array_plus/array_plus.js.map

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"common_prop_keys.d.ts","sourceRoot":"","sources":["../../ts/array_plus/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_plus/common_prop_keys.js.map

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