type-plus 6.4.0 → 6.6.0

package/esm/string/string_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string_type.d.ts","sourceRoot":"","sources":["../../ts/string/string_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;AAE7G;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"string_type.d.ts","sourceRoot":"","sources":["../../ts/string/string_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;AAE7G;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/symbol/symbol_type.d.ts

@@ -2,9 +2,7 @@ import type { IsAnyOrNever } from '../any/any_or_never.js';
 /**
  * Check if the type `T` is exactly `symbol`.
  *
- * ```
- * import type { SymbolType } from 'type-plus'
- *
+ * ```ts
  * type R = SymbolType<symbol> // symbol
  *
  * type R = SymbolType<never> // never
@@ -12,15 +10,11 @@ import type { IsAnyOrNever } from '../any/any_or_never.js';
  * type R = SymbolType<symbol | boolean> // never
  * ```
  */
-export type SymbolType<T, Then = T, Else = never> = IsAnyOrNever<T, Else, [
-    T
-] extends [symbol] ? Then : Else>;
+export type SymbolType<T, Then = T, Else = never> = IsAnyOrNever<T, Else, [T] extends [symbol] ? Then : Else>;
 /**
  * Is the type `T` exactly `symbol`.
  *
- * ```
- * import type { IsSymbol } from 'type-plus'
- *
+ * ```ts
  * type R = IsSymbol<symbol> // true
  *
  * type R = IsSymbol<never> // false
@@ -32,9 +26,7 @@ export type IsSymbol<T, Then = true, Else = false> = SymbolType<T, Then, Else>;
 /**
  * Check if the type `T` is not `symbol`.
  *
- * ```
- * import type { NotSymbolType } from 'type-plus'
- *
+ * ```ts
  * type R = NotSymbolType<symbol> // never
  *
  * type R = NotSymbolType<never> // never
@@ -46,9 +38,7 @@ export type NotSymbolType<T, Then = T, Else = never> = SymbolType<T, Else, Then>
 /**
  * Is the type `T` not `symbol`.
  *
- * ```
- * import type { IsNotSymbol } from 'type-plus'
- *
+ * ```ts
  * type R = IsNotSymbol<symbol> // false
  *
  * type R = IsNotSymbol<never> // true

package/esm/symbol/symbol_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol_type.d.ts","sourceRoot":"","sources":["../../ts/symbol/symbol_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAC/D,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAClC,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"symbol_type.d.ts","sourceRoot":"","sources":["../../ts/symbol/symbol_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAE1D;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;AAE7G;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/tuple/tuple_type.d.ts

@@ -3,8 +3,6 @@ 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]
  *
@@ -21,8 +19,6 @@ export type TupleType<T, Then = T, Else = never> = IsNever<T, Else, [
  * Check if `T` is not a tuple.
  *
  * ```ts
- * import type { NotTupleType } from 'type-plus'
- *
  * type R = NotTupleType<[]>       // never
  * type R = NotTupleType<[1]>      // never
  *
@@ -37,8 +33,6 @@ 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
@@ -52,8 +46,6 @@ 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
  *

package/esm/tuple/tuple_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_type.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAErD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACzD,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CACvE,CAAA;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"tuple_type.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAErD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACzD,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CACvE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/type/failed.d.ts

@@ -0,0 +1,32 @@
+declare const uniSym: unique symbol;
+/**
+ * A failed type with message.
+ *
+ * This is analogous to the `Error` class in JavaScript.
+ *
+ * It can be used in type-level programming to failed an error message.
+ *
+ * If you want to add additional type information,
+ * use `FailedT` or create your own failed type instead.
+ *
+ * ```ts
+ * type T = Failed<'error message'>
+ * ```
+ */
+export interface Failed<Msg extends string> {
+    [uniSym]: Msg;
+}
+/**
+ * A failed type with message and one additional type.
+ *
+ * Use this to add a generic type to the failed type.
+ *
+ * e.g. `FailedT<'missing', number | string>`
+ *
+ * It's recommended to create custom failed types instead of using this to provide better message.
+ */
+export interface FailedT<Msg extends string, T> {
+    [uniSym]: Msg;
+}
+export {};
+//# sourceMappingURL=failed.d.ts.map

package/esm/type/failed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failed.d.ts","sourceRoot":"","sources":["../../ts/type/failed.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,SAAS,MAAM;IACzC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC;IAC7C,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb"}

package/esm/type/failed.js

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

package/esm/type/failed.js.map

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

package/esm/undefined/undefined_type.d.ts

@@ -2,9 +2,7 @@ import type { IsAny } from '../any/any_type.js';
 /**
  * Check if the type `T` is exactly `undefined`.
  *
- * ```
- * import type { UndefinedType } from 'type-plus'
- *
+ * ```ts
  * type R = UndefinedType<undefined> // undefined
  *
  * type R = UndefinedType<never> // never
@@ -19,9 +17,7 @@ export type UndefinedType<T, Then = T, Else = never> = IsAny<T, Else, [
 /**
  * Is the type `T` exactly `undefined`.
  *
- * ```
- * import type { IsUndefined } from 'type-plus'
- *
+ * ```ts
  * type R = IsUndefined<undefined> // true
  *
  * type R = IsUndefined<never> // false
@@ -33,9 +29,7 @@ export type IsUndefined<T, Then = true, Else = false> = UndefinedType<T, Then, E
 /**
  * Check if the type `T` is not `undefined`.
  *
- * ```
- * import type { NotUndefinedType } from 'type-plus'
- *
+ * ```ts
  * type R = NotUndefinedType<undefined> // never
  *
  * type R = NotUndefinedType<never> // never
@@ -47,9 +41,7 @@ export type NotUndefinedType<T, Then = T, Else = never> = UndefinedType<T, Else,
 /**
  * Is the type `T` not `undefined`.
  *
- * ```
- * import type { IsNotUndefined } from 'type-plus'
- *
+ * ```ts
  * type R = IsNotUndefined<undefined> // false
  *
  * type R = IsNotUndefined<never> // true

package/esm/undefined/undefined_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"undefined_type.d.ts","sourceRoot":"","sources":["../../ts/undefined/undefined_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE/C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAC3D,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;IAAE,SAAS;CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CACnD,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEpF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEtF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"undefined_type.d.ts","sourceRoot":"","sources":["../../ts/undefined/undefined_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE/C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAC3D,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;IAAE,SAAS;CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CACnD,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEpF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEtF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/union/union_to_intersection.d.ts.map

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

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

package/esm/unknown/unknown_type.d.ts

@@ -2,9 +2,7 @@ import type { IsAny } from '../any/any_type.js';
 /**
  * Check if the type `T` is exactly `unknown`.
  *
- * ```
- * import type { UnknownType } from 'type-plus'
- *
+ * ```ts
  * type R = UnknownType<unknown> // unknown
  *
  * type R = UnknownType<number> // never
@@ -18,9 +16,7 @@ export type UnknownType<T, Then = T, Else = never> = IsAny<T, Else, [
 /**
  * Is the type `T` exactly `unknown`.
  *
- * ```
- * import type { IsUnknown } from 'type-plus'
- *
+ * ```ts
  * type R = IsUnknown<unknown> // true
  *
  * type R = IsUnknown<number> // false
@@ -31,9 +27,7 @@ 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'
- *
+ * ```ts
  * type R = NotUnknownType<unknown> // never
  *
  * type R = NotUnknownType<never> // never
@@ -45,9 +39,7 @@ export type NotUnknownType<T, Then = T, Else = never> = UnknownType<T, Else, The
 /**
  * Is the type `T` not exactly `unknown`.
  *
- * ```
- * import type { IsNotUnknown } from 'type-plus'
- *
+ * ```ts
  * type R = IsNotUnknown<unknown> // false
  *
  * type R = IsNotUnknown<never> // true

package/esm/unknown/unknown_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unknown_type.d.ts","sourceRoot":"","sources":["../../ts/unknown/unknown_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE/C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACzD,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;IAAE,OAAO;CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAC/C,CAAA;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAElF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"unknown_type.d.ts","sourceRoot":"","sources":["../../ts/unknown/unknown_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE/C;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACzD,CAAC,EACD,IAAI,EACJ;IAAC,CAAC;IAAE,OAAO;CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAC/C,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAElF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/void/void_type.d.ts

@@ -4,8 +4,6 @@ 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
@@ -16,8 +14,6 @@ export type VoidType<T, Then = T, Else = never> = IsAnyOrNever<T, Else, IsUndefi
  * Check if `T` is not `void`.
  *
  * ```ts
- * import type { VoidType } from 'type-plus'
- *
  * type R = VoidType<void> // never
  *
  * type R = VoidType<1> // 1
@@ -28,8 +24,6 @@ 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
@@ -40,8 +34,6 @@ 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

package/esm/void/void_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"void_type.d.ts","sourceRoot":"","sources":["../../ts/void/void_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAC7D,CAAC,EACD,IAAI,EACJ,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CACtD,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"void_type.d.ts","sourceRoot":"","sources":["../../ts/void/void_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAC7D,CAAC,EACD,IAAI,EACJ,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CACtD,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1E;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "6.4.0",
+  "version": "6.6.0",
   "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {
@@ -62,22 +62,22 @@
     "ncp": "^2.0.0",
     "npm-run-all": "^4.1.5",
     "pinst": "^3.0.0",
-    "rimraf": "^3.0.2",
+    "rimraf": "^5.0.0",
     "satisfier": "^5.2.2",
     "size-limit": "^8.2.4",
     "ts-jest": "^29.1.0",
     "tslib": "^2.4.0",
-    "typedoc": "^0.23.0",
-    "typedoc-plugin-extras": "^2.2.3",
+    "typedoc": "^0.24.1",
+    "typedoc-plugin-extras": "^2.3.2",
     "typescript": "^5.0.2"
   },
-  "packageManager": "pnpm@8.1.0",
+  "packageManager": "pnpm@8.2.0",
   "scripts": {
     "build": "run-p build:cjs build:esm build:tslib",
     "build:cjs": "tsc -p tsconfig.cjs.json && ncp package.cjs.json cjs/package.json",
     "build:esm": "tsc -p tsconfig.esm.json",
     "build:tslib": "tsc -p tsconfig.tslib.json && ncp package.cjs.json tslib/package.json",
-    "build:doc": "typedoc",
+    "build:doc": "typedoc --plugin typedoc-plugin-extras",
     "clean": "rimraf cjs coverage esm lib libm tslib",
     "coverage": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --coverage",
     "cs": "changeset",

package/ts/any/any_or_never.ts

@@ -5,8 +5,6 @@ import type { IsAny } from './any_type.js'
  * Is `T` type `any` or `never`.
  *
  * ```ts
- * import type { IsAnyOrNever } from 'type-plus'
- *
  * type R = IsAnyOrNever<any> // true
  * type R = IsAnyOrNever<never> // true
  *

package/ts/any/any_type.ts

@@ -2,9 +2,7 @@
 /**
  * Check if the type `T` is exactly `any`.
  *
- * ```
- * import type { AnyType } from 'type-plus'
- *
+ * ```ts
  * type R = AnyType<any> // any
  *
  * type R = AnyType<never> // never
@@ -17,9 +15,7 @@ export type AnyType<T, Then = T, Else = never> = 0 extends 1 & T ? Then : Else
 /**
  * Is the type `T` exactly `any`.
  *
- * ```
- * import type { IsAny } from 'type-plus'
- *
+ * ```ts
  * type R = IsAny<any> // true
  *
  * type R = IsAny<never> // false

package/ts/array/array.ts

@@ -9,8 +9,6 @@ import type { IndexAt } from './array_index.js'
  * @see https://github.com/microsoft/TypeScript/issues/53345#issuecomment-1477138167
  *
  * ```ts
- * import type { At } from 'type-plus'
- *
  * type R = At<[1, 2, 3], 2> // 3
  * type R = At<[1, 2, 3], -1> // 3
  * ```
@@ -29,8 +27,6 @@ export type At<A extends unknown[], N extends number, Fail = never> = IndexAt<A,
  * @alias ArrayPlus.Concat
  *
  * ```ts
- * import type { Concat } form 'type-plus'
- *
  * type R = Concat<[1], [2, 3]> // [1, 2, 3]
  * ```
  */

package/ts/array/array_index.ts

@@ -11,14 +11,12 @@ import type { StrictNumberType } from '../number/strict_number_type.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
+ * ```ts
+ * type R = IndexAt<['a', 'b', 'c'], 2> // 2
+ * type R = IndexAt<['a', 'b', 'c'], -2> // 1
  *
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], 3> // never
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], -4> // never
+ * type R = IndexAt<['a', 'b', 'c'], 3> // never
+ * type R = IndexAt<['a', 'b', 'c'], -4> // never
  * ```
  */
 export type IndexAt<A extends Array<unknown>, N extends number, Fail = never> = Equal<
@@ -54,14 +52,13 @@ export type IndexAt<A extends Array<unknown>, N extends number, Fail = never> =
 /**
  * Is N an out of bound index of A.
  *
- * ```
- * import { IsIndexOutOfBound } from 'type-plus'
- *
+ * ```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 unknown[], N extends number, Then = true, Else = false> = IsNever<
 	IndexAt<A, N>,

package/ts/array/array_type.ts

@@ -5,8 +5,6 @@ import type { StrictNumberType } from '../number/strict_number_type.js'
  * Check if the type `T` is an array and not a tuple.
  *
  * ```ts
- * import type { ArrayType } from 'type-plus'
- *
  * type R = ArrayType<number[]> // number[]
  *
  * type R = ArrayType<[1]> // never
@@ -22,8 +20,6 @@ export type ArrayType<T, Then = T, Else = never> = IsNever<
  * Check if the type `T` is not an array.
  *
  * ```ts
- * import type { NotArrayType } from 'type-plus'
- *
  * type R = NotArrayType<number[]> // never
  *
  * type R = NotArrayType<number> // number
@@ -36,8 +32,6 @@ export type NotArrayType<T, Then = T, Else = never> = ArrayType<T, Else, Then>
  * Is `T` an array?
  *
  * ```ts
- * import type { IsArray } from 'type-plus'
- *
  * type R = IsArray<number[]> // true
  *
  * type R = IsArray<number> // false
@@ -50,8 +44,6 @@ export type IsArray<T, Then = true, Else = false> = ArrayType<T, Then, Else>
  * Is `T` not an array?
  *
  * ```ts
- * import type { IsNotArray } from 'type-plus'
- *
  * type R = IsNotArray<number[]> // false
  *
  * type R = IsNotArray<number> // true

package/ts/assertion/readme.md

@@ -11,5 +11,4 @@ so that that type of the value can be narrowed down.
 
 - [Handbook][assertion_functions]
 
-
-[assertion_functions]: https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
+[assertion_functions]: https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions

package/ts/bigint/bigint_type.ts

@@ -3,9 +3,7 @@ import type { IsAnyOrNever } from '../any/any_or_never.js'
 /**
  * Check if the type `T` is exactly `bigint`.
  *
- * ```
- * import type { BigintType } from 'type-plus'
- *
+ * ```ts
  * type R = BigintType<bigint> // bigint
  *
  * type R = BigintType<1n> // never
@@ -19,9 +17,7 @@ export type BigintType<T, Then = T, Else = never> = IsAnyOrNever<T, Else, [T] ex
 /**
  * Is the type `T` exactly `bigint`.
  *
- * ```
- * import type { IsBigint } from 'type-plus'
- *
+ * ```ts
  * type R = IsBigint<bigint> // true
  *
  * type R = IsBigint<1n> // false
@@ -35,9 +31,7 @@ export type IsBigint<T, Then = true, Else = false> = BigintType<T, Then, Else>
 /**
  * Check if the type `T` is not exactly `null`.
  *
- * ```
- * import type { NotBigintType } from 'type-plus'
- *
+ * ```ts
  * type R = NotBigintType<bigint> // never
  *
  * type R = NotBigintType<1n> // 1n
@@ -51,9 +45,7 @@ export type NotBigintType<T, Then = T, Else = never> = BigintType<T, Else, Then>
 /**
  * Is the type `T` not exactly `null`.
  *
- * ```
- * import type { IsNotBigint } from 'type-plus'
- *
+ * ```ts
  * type R = IsNotBigint<bigint> // false
  *
  * type R = IsNotBigint<1n> // true

package/ts/bigint/strict_bigint_type.ts

@@ -3,9 +3,7 @@ import type { IsAnyOrNever } from '../any/any_or_never.js'
 /**
  * Check if the type `T` is exactly `bigint`.
  *
- * ```
- * import type { StrictBigintType } from 'type-plus'
- *
+ * ```ts
  * type R = StrictBigintType<bigint> // bigint
  *
  * type R = StrictBigintType<1n> // never
@@ -23,9 +21,7 @@ export type StrictBigintType<T, Then = T, Else = never> = IsAnyOrNever<
 /**
  * Is the type `T` exactly `bigint`.
  *
- * ```
- * import type { IsStrictBigint } from 'type-plus'
- *
+ * ```ts
  * type R = IsStrictBigint<bigint> // true
  *
  * type R = IsStrictBigint<1n> // false
@@ -39,9 +35,7 @@ export type IsStrictBigint<T, Then = true, Else = false> = StrictBigintType<T, T
 /**
  * Check if the type `T` is not exactly `bigint`.
  *
- * ```
- * import type { NotStrictBigintType } from 'type-plus'
- *
+ * ```ts
  * type R = NotStrictBigintType<bigint> // never
  *
  * type R = NotStrictBigintType<1n> // 1n
@@ -55,9 +49,7 @@ export type NotStrictBigintType<T, Then = T, Else = never> = StrictBigintType<T,
 /**
  * Is the type `T` not exactly `bigint`.
  *
- * ```
- * import type { IsNotStrictBigint } from 'type-plus'
- *
+ * ```ts
  * type R = IsNotStrictBigint<bigint> // false
  *
  * type R = IsNotStrictBigint<1n> // true

package/ts/boolean/boolean_type.ts

@@ -4,8 +4,6 @@ import type { IsAnyOrNever } from '../any/any_or_never.js'
  * Check if the type `T` is `boolean`, including `true` and `false`.
  *
  * ```ts
- * import type { BooleanType } from 'type-plus'
- *
  * type R = BooleanType<boolean> // boolean
  * type R = BooleanType<true> // true
  * type R = BooleanType<false> // false
@@ -24,8 +22,6 @@ export type BooleanType<T, Then = T, Else = never> = IsAnyOrNever<
  * Check if the type `T` is not `boolean`, including `true` and `false`.
  *
  * ```ts
- * import type { NotBooleanType } from 'type-plus'
- *
  * type R = NotBooleanType<boolean> // never
  * type R = NotBooleanType<true> // never
  * type R = NotBooleanType<false> // never
@@ -40,8 +36,6 @@ export type NotBooleanType<T, Then = T, Else = never> = BooleanType<T, Else, The
  * Is the type `T` `boolean`, including `true` and `false`.
  *
  * ```ts
- * import type { IsBoolean } from 'type-plus'
- *
  * type R = IsBoolean<boolean> // true
  * type R = IsBoolean<true> // true
  * type R = IsBoolean<false> // true
@@ -56,8 +50,6 @@ export type IsBoolean<T, Then = true, Else = false> = BooleanType<T, Then, Else>
  * Is the type `T` not `boolean`, including `true` and `false`.
  *
  * ```ts
- * import type { IsNotBoolean } from 'type-plus'
- *
  * type R = IsNotBoolean<boolean> // false
  * type R = IsNotBoolean<true> // false
  * type R = IsNotBoolean<false> // false

package/ts/boolean/false_type.ts

@@ -4,8 +4,6 @@ import type { IsAnyOrNever } from '../any/any_or_never.js'
  * Check if the type `T` is exactly `false`.
  *
  * ```ts
- * import type { FalseType } from 'type-plus'
- *
  * type R = FalseType<false> // false
  *
  * type R = FalseType<true> // never
@@ -22,8 +20,6 @@ export type FalseType<T, Then = T, Else = never> = IsAnyOrNever<
  * Check if the type `T` is not exactly `false`.
  *
  * ```ts
- * import type { NotFalseType } from 'type-plus'
- *
  * type R = NotFalseType<false> // never
  *
  * type R = NotFalseType<true> // true
@@ -36,8 +32,6 @@ export type NotFalseType<T, Then = T, Else = never> = FalseType<T, Else, Then>
  * Is the type `T` exactly `false`.
  *
  * ```ts
- * import type { IsFalse } from 'type-plus'
- *
  * type R = IsFalse<false> // true
  *
  * type R = IsFalse<true> // false
@@ -50,8 +44,6 @@ export type IsFalse<T, Then = true, Else = false> = FalseType<T, Then, Else>
  * Is the type `T` not exactly `false`.
  *
  * ```ts
- * import type { IsNotFalse } from 'type-plus'
- *
  * type R = IsNotFalse<false> // false
  *
  * type R = IsNotFalse<true> // true