type-plus 7.0.1 → 7.1.1

package/ts/mix_types/any_or_never_type.ts

@@ -0,0 +1,30 @@
+import type { IsNever } from '../never/never_type.js'
+import type { IsAny } from '../any/any_type.js'
+
+/**
+ * 🐾 Parse `T` to ensure it is either exactly `any` or exactly `never`.
+ *
+ * @example
+ * ```ts
+ * type R = AnyType<any> // any
+ *
+ * type R = AnyType<never> // never
+ * type R = AnyType<unknown> // never
+ * type R = AnyType<string | boolean> // never
+ * ```
+ */
+export type AnyOrNeverType<T, Then = T, Else = never> = IsNever<T, Then, IsAny<T, Then, Else>>
+
+/**
+ * 🎭 Validate if `T` is either exactly `any` or exactly `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsAnyOrNever<any> // true
+ * type R = IsAnyOrNever<never> // true
+ *
+ * type R = IsAnyOrNever<1> // false
+ * type R = IsAnyOrNever<unknown> // false
+ * ```
+ */
+export type IsAnyOrNever<T, Then = true, Else = false> = IsNever<T, Then, IsAny<T, Then, Else>>

package/ts/number/number_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is `number`.

package/ts/numeric/integer.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 import type { Numeric } from './numeric_type.js'
 
 /**

package/ts/numeric/numeric_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Either number or bigint.

package/ts/object/ANotB.ts

@@ -2,6 +2,7 @@ import type { IsEqual } from '../equal/equal.js'
 import type { AnyRecord } from './AnyRecord.js'
 import type { IsDisjoint } from './IsDisjoint.js'
 import type { KeysWithDiffType } from './KeysWithDiffType.js'
+import type { Properties } from './properties.js'
 
 export type ANotB<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
 	? never
@@ -15,4 +16,4 @@ export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> e
 	? A
 	: IsDisjoint<A, B> extends true
 	? A & B
-	: { [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }
+	: Properties<{ [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }>

package/ts/object/Required.ts

@@ -1,6 +1,6 @@
 // Thanks [jack-williams](https://github.com/jack-williams) for the [solution](https://github.com/Microsoft/TypeScript/issues/29269#issuecomment-451602962)
 
-import { NonUndefined } from '../utils/NonUndefined.js'
+import type { NonUndefined } from '../utils/NonUndefined.js'
 
 export type Required<T> = { [P in keyof T]-?: NonUndefined<T[P]> }
 

package/ts/object/findKey.ts

@@ -1,4 +1,4 @@
-import { KeyTypes } from './KeyTypes.js'
+import type { KeyTypes } from './KeyTypes.js'
 
 export function findKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,

package/ts/object/forEachKey.ts

@@ -1,4 +1,4 @@
-import { KeyTypes } from './KeyTypes.js'
+import type { KeyTypes } from './KeyTypes.js'
 
 export function forEachKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,

package/ts/object/hasProperty.ts

@@ -1,4 +1,4 @@
-import { UnionKeys } from '../union_keys.js'
+import type { UnionKeys } from '../union_keys.js'
 
 export function hasProperty<T, P extends UnionKeys<T>>(value: T, prop: P): value is T & Record<P, T[P]> {
 	return !!value[prop]

package/ts/object/index.ts

@@ -10,7 +10,7 @@ export type { KnownKeys } from './KnownKeys.js'
 export type { OptionalKeys } from './OptionalKeys.js'
 export type { Partial, PartialExcept, PartialOmit, PartialPick } from './Partial.js'
 export type { RecursiveIntersect } from './RecursiveIntersect.js'
-export type { RecursivePartial } from './RecursivePartial.js'
+export type { RecursivePartial } from './recursive_partial.js'
 export type { RecursiveRequired } from './RecursiveRequired.js'
 export type { RequiredExcept, RequiredPick } from './Required.js'
 export type { RequiredKeys } from './RequiredKeys.js'

package/ts/object/object_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if `T` is an `object`.

package/ts/object/recursive_partial.ts

@@ -0,0 +1,39 @@
+// Source: https://stackoverflow.com/questions/41980195/recursive-partialt-in-typescript-2-1
+
+import type { AnyFunction } from '../function/any_function.js'
+import type { ExtractFunction } from '../index.js'
+import type { AnyRecord } from './AnyRecord.js'
+import type { Properties } from './properties.js'
+
+/**
+ * Creates a recursive partial type of type T.
+ *
+ * @example
+ * ```ts
+ * interface Foo {
+ *   bar: number;
+ *   baz: {
+ *     qux: string
+ *   }
+ * }
+ *
+ * type PartialFoo = RecursivePartial<Foo>
+ * // {
+ * //   bar?: number | undefined;
+ * //   baz?: {
+ * //     qux?: string | undefined
+ * //   } | undefined
+ * // }
+ * ```
+ */
+export type RecursivePartial<T> = {
+	[P in keyof T]?: T[P] extends (infer U)[]
+		? RecursivePartial<U>[] | undefined
+		: T[P] extends infer F extends AnyFunction
+		? [keyof T[P]] extends [undefined]
+			? T[P] | undefined
+			: ExtractFunction<F> & RecursivePartial<Properties<T[P]>>
+		: T[P] extends AnyRecord
+		? RecursivePartial<T[P]> | undefined
+		: T[P] | undefined
+}

package/ts/object/split.ts

@@ -3,7 +3,7 @@ import type { AnyRecord } from './AnyRecord.js'
 import type { Omit } from './omit.js'
 import { reduceByKey } from './reduceKey.js'
 import type { Partial } from './Partial.js'
-import { NonUndefined } from '../utils/NonUndefined.js'
+import type { NonUndefined } from '../utils/NonUndefined.js'
 
 type Splitter<T extends AnyRecord> = Partial<{ [k in keyof T]: T[k] | undefined }>
 export type Split<T extends AnyRecord, S extends AnyRecord> = {

package/ts/primitive.ts

@@ -1,3 +1,6 @@
+/**
+ * 📘 Definition of all primitive types.
+ */
 export type PrimitiveTypes =
 	| boolean
 	| number

package/ts/string/string_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is `string` or string literals.

package/ts/symbol/symbol_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is exactly `symbol`.

package/ts/testing/stub.ts

@@ -1,11 +1,14 @@
 import { requiredDeep } from 'unpartial'
 import type { AnyFunction } from '../function/any_function.js'
-import type { RecursivePartial } from '../object/RecursivePartial.js'
+import type { RecursivePartial } from '../object/recursive_partial.js'
 import type { NoInfer } from '../type/no_infer.js'
 
 /**
  * stub a value.
+ *
  * If the value is a function, it will be passed through as-is.
+ *
+ * 🦴 `utilities`
  */
 export function stub<T extends AnyFunction>(stub: T): T
 export function stub<T>(stub: RecursivePartial<NoInfer<T>>): T

package/ts/type/failed.ts

@@ -27,6 +27,6 @@ export interface Failed<Msg extends string> {
  *
  * It's recommended to create custom failed types instead of using this to provide better message.
  */
-export interface FailedT<Msg extends string, T> {
+export interface FailedT<Msg extends string, _T> {
 	[uniSym]: Msg
 }

package/ts/type/no_infer.ts

@@ -1,14 +1,14 @@
-import { IsNull } from '../null/null_type.js'
-import { Or } from '../predicates/logical.js'
-import { IsUndefined } from '../undefined/undefined_type.js'
+import type { IsNull } from '../null/null_type.js'
+import type { Or } from '../predicates/logical.js'
+import type { IsUndefined } from '../undefined/undefined_type.js'
 
 /**
  * Prevents inference of a type parameter `T`.
  *
- * A build-in type `NoInfer` is coming soon.
- * @see https://github.com/microsoft/TypeScript/pull/52968
+ * 🦴 *utilities*
  *
- * @by @ajafff
+ * @ajafff original version author
+ * @see https://github.com/microsoft/TypeScript/issues/14829#issuecomment-298425341
  *
  * @example
  * ```ts
@@ -20,5 +20,8 @@ import { IsUndefined } from '../undefined/undefined_type.js'
  * assertEqual(123, 'abc') // Error
  * assertEqual({ x: 1 }, { x: 1, y: 2 }) // Error
  * ```
+ *
+ * A build-in `NoInfer` is coming soon.
+ * @see https://github.com/microsoft/TypeScript/pull/52968
  */
 export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T>, T, T & {}>

package/ts/type-guard/is_type.ts

@@ -36,7 +36,7 @@ function isNever<S extends never>(): unknown
  * @deprecated use `isType<T>()` or `testType.never<T>()` instead
  */
 function isNever(subject: never): subject is never
-function isNever(subject?: unknown): subject is never {
+function isNever(_subject?: unknown): _subject is never {
 	return true
 }
 
@@ -49,4 +49,4 @@ isType.never = isNever
  *
  * @deprecated use `testType.equal()` instead
  */
-isType.equal = function <C extends IsEqual<A, B>, A, B>() {}
+isType.equal = function <_C extends IsEqual<A, B>, A, B>() {}

package/ts/unpartial.ts

@@ -0,0 +1 @@
+export { required, requiredDeep, unpartial } from 'unpartial'

package/ts/void/void_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 import type { IsUndefined } from '../undefined/undefined_type.js'
 
 /**

package/cjs/any/any_or_never.d.ts

@@ -1,15 +0,0 @@
-import type { IsNever } from '../never/never_type.js';
-import type { IsAny } from './any_type.js';
-/**
- * Is `T` type `any` or `never`.
- *
- * ```ts
- * type R = IsAnyOrNever<any> // true
- * type R = IsAnyOrNever<never> // true
- *
- * type R = IsAnyOrNever<1> // false
- * type R = IsAnyOrNever<unknown> // false
- * ```
- */
-export type IsAnyOrNever<T, Then = true, Else = false> = IsNever<T, Then, IsAny<T, Then, Else>>;
-//# sourceMappingURL=any_or_never.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"any_or_never.d.ts","sourceRoot":"","sources":["../../ts/any/any_or_never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAE1C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA"}

package/cjs/any/any_or_never.js

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

package/cjs/any/any_or_never.js.map

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

package/cjs/object/RecursivePartial.d.ts

@@ -1,5 +0,0 @@
-import type { AnyRecord } from './AnyRecord.js';
-export type RecursivePartial<T> = {
-    [P in keyof T]?: T[P] extends (infer U)[] ? RecursivePartial<U>[] : T[P] extends AnyRecord ? RecursivePartial<T[P]> : T[P];
-};
-//# sourceMappingURL=RecursivePartial.d.ts.map

package/cjs/object/RecursivePartial.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"RecursivePartial.d.ts","sourceRoot":"","sources":["../../ts/object/RecursivePartial.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAG/C,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI;KAChC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACtC,gBAAgB,CAAC,CAAC,CAAC,EAAE,GACrB,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GACtB,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACtB,CAAC,CAAC,CAAC,CAAC;CACP,CAAA"}

package/cjs/object/RecursivePartial.js.map

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

package/esm/any/any_or_never.d.ts

@@ -1,15 +0,0 @@
-import type { IsNever } from '../never/never_type.js';
-import type { IsAny } from './any_type.js';
-/**
- * Is `T` type `any` or `never`.
- *
- * ```ts
- * type R = IsAnyOrNever<any> // true
- * type R = IsAnyOrNever<never> // true
- *
- * type R = IsAnyOrNever<1> // false
- * type R = IsAnyOrNever<unknown> // false
- * ```
- */
-export type IsAnyOrNever<T, Then = true, Else = false> = IsNever<T, Then, IsAny<T, Then, Else>>;
-//# sourceMappingURL=any_or_never.d.ts.map

package/esm/any/any_or_never.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"any_or_never.d.ts","sourceRoot":"","sources":["../../ts/any/any_or_never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAE1C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA"}

package/esm/any/any_or_never.js

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

package/esm/any/any_or_never.js.map

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

package/esm/object/RecursivePartial.d.ts

@@ -1,5 +0,0 @@
-import type { AnyRecord } from './AnyRecord.js';
-export type RecursivePartial<T> = {
-    [P in keyof T]?: T[P] extends (infer U)[] ? RecursivePartial<U>[] : T[P] extends AnyRecord ? RecursivePartial<T[P]> : T[P];
-};
-//# sourceMappingURL=RecursivePartial.d.ts.map

package/esm/object/RecursivePartial.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"RecursivePartial.d.ts","sourceRoot":"","sources":["../../ts/object/RecursivePartial.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAG/C,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI;KAChC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACtC,gBAAgB,CAAC,CAAC,CAAC,EAAE,GACrB,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GACtB,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACtB,CAAC,CAAC,CAAC,CAAC;CACP,CAAA"}

package/esm/object/RecursivePartial.js

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

package/esm/object/RecursivePartial.js.map

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

package/ts/any/any_or_never.ts

@@ -1,15 +0,0 @@
-import type { IsNever } from '../never/never_type.js'
-import type { IsAny } from './any_type.js'
-
-/**
- * Is `T` type `any` or `never`.
- *
- * ```ts
- * type R = IsAnyOrNever<any> // true
- * type R = IsAnyOrNever<never> // true
- *
- * type R = IsAnyOrNever<1> // false
- * type R = IsAnyOrNever<unknown> // false
- * ```
- */
-export type IsAnyOrNever<T, Then = true, Else = false> = IsNever<T, Then, IsAny<T, Then, Else>>

package/ts/object/RecursivePartial.ts

@@ -1,10 +0,0 @@
-import type { AnyRecord } from './AnyRecord.js'
-
-// Source: https://stackoverflow.com/questions/41980195/recursive-partialt-in-typescript-2-1
-export type RecursivePartial<T> = {
-	[P in keyof T]?: T[P] extends (infer U)[]
-		? RecursivePartial<U>[]
-		: T[P] extends AnyRecord
-		? RecursivePartial<T[P]>
-		: T[P]
-}