type-plus 7.0.1 → 7.1.0

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

@@ -5,7 +5,10 @@ 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.map

@@ -1 +0,0 @@
-{"version":3,"file":"any_or_never.js","sourceRoot":"","sources":["../../ts/any/any_or_never.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/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>>