type-plus 8.0.0-beta.6 → 8.0.0-beta.7

package/esm/unknown/is_not_unknown.d.ts

@@ -1,10 +1,10 @@
-import type { $Any } from '../any/any.js';
-import type { $Never } from '../never/never.js';
-import type { $SpecialType } from '../type_plus/$special_type.js';
-import type { $InputOptions } from '../type_plus/branch/$input_options.js';
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
-import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
-import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Void } from '../$type/special/$void.js';
 /**
  * 🎭 *predicate*
  *
@@ -40,14 +40,15 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsNotUnknown<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotUnknown<T, $O extends IsNotUnknown.$Options = {}> = $SpecialType<T, {
-    $any: $ResolveBranch<T, $O, [$Any, $Then]>;
-    $unknown: $ResolveBranch<T, $O, [$Else]>;
-    $never: $ResolveBranch<T, $O, [$Never, $Then]>;
-    $else: $ResolveBranch<T, $O, [$Then]>;
+export type IsNotUnknown<T, $O extends IsNotUnknown.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Any, $Then], T>;
+    $unknown: $ResolveBranch<$O, [$Else]>;
+    $never: $ResolveBranch<$O, [$Never, $Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Then], T>;
+    $else: $ResolveBranch<$O, [$Then], T>;
 }>;
 export declare namespace IsNotUnknown {
-    type $Options = $SelectionOptions & $InputOptions<$Any | $Never>;
-    type $Branch = $SelectionBranch;
+    type $Options = $Selection.Options & $InputOptions<$Any | $Never>;
+    type $Branch = $Selection.Branch;
 }
 //# sourceMappingURL=is_not_unknown.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"is_not_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_not_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAChF,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACvE,KAAY,OAAO,GAAG,gBAAgB,CAAA;CACtC"}
+{"version":3,"file":"is_not_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_not_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC5E,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACxE,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,CAAA;CACvC"}

package/esm/unknown/is_unknown.d.ts

@@ -1,10 +1,10 @@
-import type { $Any } from '../any/any.js';
-import type { $Never } from '../never/never.js';
-import type { $SpecialType } from '../type_plus/$special_type.js';
-import type { $InputOptions } from '../type_plus/branch/$input_options.js';
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
-import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
-import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Void } from '../$type/special/$void.js';
 /**
  * 🎭 *predicate*
  *
@@ -40,14 +40,15 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsUnknown<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsUnknown<T, $O extends IsUnknown.$Options = {}> = $SpecialType<T, {
-    $any: $ResolveBranch<T, $O, [$Any, $Else]>;
-    $unknown: $ResolveBranch<T, $O, [$Then]>;
-    $never: $ResolveBranch<T, $O, [$Never, $Else]>;
-    $else: $ResolveBranch<T, $O, [$Else]>;
+export type IsUnknown<T, $O extends IsUnknown.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Any, $Else]>;
+    $never: $ResolveBranch<$O, [$Never, $Else]>;
+    $unknown: $ResolveBranch<$O, [$Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Else]>;
+    $else: $ResolveBranch<$O, [$Else]>;
 }>;
 export declare namespace IsUnknown {
-    type $Options = $SelectionOptions & $InputOptions<$Any | $Never>;
-    type $Branch = $SelectionBranch;
+    type $Options = $Selection.Options & $InputOptions<$Any | $Never>;
+    type $Branch = $Selection.Branch;
 }
 //# sourceMappingURL=is_unknown.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"is_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC1E,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACvE,KAAY,OAAO,GAAG,gBAAgB,CAAA;CACtC"}
+{"version":3,"file":"is_unknown.d.ts","sourceRoot":"","sources":["../../src/unknown/is_unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACvC,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC3C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACxC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IACzC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAClC,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;IACxE,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,CAAA;CACvC"}

package/esm/unknown/not_unknown_or.d.ts

@@ -1,5 +1,5 @@
+import type { $Unknown } from '../$type/special/$unknown.js';
 import type { IsUnknown } from './is_unknown.js';
-import type { $Unknown } from './unknown.js';
 /**
  * 🌪️ *filter*
  *

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

@@ -1 +1 @@
-{"version":3,"file":"not_unknown_or.d.ts","sourceRoot":"","sources":["../../src/unknown/not_unknown_or.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,SAAS,CACvD,CAAC,EACD;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,CAAC,CAAA;CACR,CACD,CAAA"}
+{"version":3,"file":"not_unknown_or.d.ts","sourceRoot":"","sources":["../../src/unknown/not_unknown_or.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,SAAS,CACvD,CAAC,EACD;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,CAAC,CAAA;CACR,CACD,CAAA"}

package/esm/utils/Widen.d.ts

@@ -1,6 +1,13 @@
 /**
- * Widen scalar types from literals to their parent types.
- * Borrow from `typical`
+ * ⚗️ *transform*
+ *
+ * Widen literal types to their respective parent types.
+ *
+ * ```ts
+ * type R = Widen<1> // number
+ * type R = Widen<true> // boolean
+ * type R = Widen<'a'> // string
+ * ```
  */
 export type Widen<T> = T extends boolean ? boolean : T extends number ? number : T extends string ? string : T;
 //# sourceMappingURL=Widen.d.ts.map

package/esm/utils/Widen.d.ts.map

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

package/esm/utils/excessive.d.ts

@@ -0,0 +1,12 @@
+/**
+ * 🧰 *type util*
+ *
+ * A type that causes the error:
+ *
+ * `Type instantiation is excessively deep and possibly infinite.ts(2589)`
+ *
+ * This is used interally to test type path execution.
+ * It is not exported and likely not useful in real world.
+ */
+export type Excessive<T = any> = T extends any ? Excessive<T> : never;
+//# sourceMappingURL=excessive.d.ts.map

package/esm/utils/excessive.d.ts.map

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

package/esm/utils/excessive.js

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

package/esm/utils/excessive.js.map

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

package/esm/{type → utils}/no_infer.d.ts

@@ -1,13 +1,15 @@
+import type { $Selection } from '../$type/branch/$selection.js';
+import type { Or } from '../logical/logical.js';
 import type { IsNull } from '../null/is_null.js';
-import type { Or } from '../predicates/logical.js';
-import type { $SelectionPredicate } from '../type_plus/branch/$selection.js';
 import type { IsUndefined } from '../undefined/is_undefined.js';
 /**
  * Prevents inference of a type parameter `T`.
  *
  * 🦴 *utilities*
  *
- * @ajafff original version author
+ * @deprecated 💀 **deprecated since 8.0.0**: use `NoInfer` from TypeScript 5.4 instead
+ *
+ * @author original version author @ajafff
  * @see https://github.com/microsoft/TypeScript/issues/14829#issuecomment-298425341
  *
  * @example
@@ -20,9 +22,9 @@ import type { IsUndefined } from '../undefined/is_undefined.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, $SelectionPredicate>, T, T & {}>;
+export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T, $Selection.Predicate>, {
+    $then: T;
+    $else: T & {};
+}>;
 //# sourceMappingURL=no_infer.d.ts.map

package/esm/utils/no_infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../src/utils/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAC1B,MAAM,CAAC,CAAC,CAAC,EACT,WAAW,CAAC,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,EACpC;IACC,KAAK,EAAE,CAAC,CAAA;IACR,KAAK,EAAE,CAAC,GAAG,EAAE,CAAA;CACb,CACD,CAAA"}

package/esm/{type → utils}/no_infer.js.map

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

package/esm/void/is_not_void.d.ts

@@ -1,9 +1,15 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Exact } from '../$type/exact/$exact.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $MergeOptions } from '../$type/utils/$merge_options.js';
 import type { NotAssignable } from '../predicates/not_assignable.js';
-import type { $Equality } from '../type_plus/$equality.js';
-import type { $MergeOptions } from '../type_plus/$merge_options.js';
-import type { $SpecialType } from '../type_plus/$special_type.js';
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
-import type { $Then } from '../type_plus/branch/$selection.js';
 import type { IsUndefined } from '../undefined/is_undefined.js';
 /**
  * 🎭 *predicate*
@@ -54,13 +60,14 @@ import type { IsUndefined } from '../undefined/is_undefined.js';
  * type R = IsNotVoid<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotVoid<T, $O extends IsNotVoid.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Then]>;
+export type IsNotVoid<T, $O extends IsNotVoid.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Else]>;
     $else: IsNotVoid.$<T, $O>;
 }>>;
 export declare namespace IsNotVoid {
-    type $Options = $Equality.$Options;
-    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
     /**
      * 🧰 *type util*
      *
@@ -70,7 +77,7 @@ export declare namespace IsNotVoid {
      * It does not check against special types.
      */
     type $<T, $O extends $UtilOptions> = IsUndefined.$<T, {
-        $then: $ResolveBranch<T, $O, [$Then]>;
+        $then: $ResolveBranch<$O, [$Then], T>;
         $else: NotAssignable.$<T, void, $O>;
     }>;
     type $UtilOptions = NotAssignable.$UtilOptions;

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

@@ -1 +1 @@
-{"version":3,"file":"is_not_void.d.ts","sourceRoot":"","sources":["../../src/void/is_not_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC1E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,WAAW,CAAC,CAAC,CACxD,CAAC,EACD;QACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KACnC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}
+{"version":3,"file":"is_not_void.d.ts","sourceRoot":"","sources":["../../src/void/is_not_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IACzC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,WAAW,CAAC,CAAC,CACxD,CAAC,EACD;QACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KACnC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}

package/esm/void/is_void.d.ts

@@ -1,9 +1,15 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Exact } from '../$type/exact/$exact.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $MergeOptions } from '../$type/utils/$merge_options.js';
 import type { Assignable } from '../predicates/assignable.js';
-import type { $Equality } from '../type_plus/$equality.js';
-import type { $MergeOptions } from '../type_plus/$merge_options.js';
-import type { $SpecialType } from '../type_plus/$special_type.js';
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
-import type { $Else } from '../type_plus/branch/$selection.js';
 import type { IsUndefined } from '../undefined/is_undefined.js';
 /**
  * 🎭 *predicate*
@@ -55,13 +61,14 @@ import type { IsUndefined } from '../undefined/is_undefined.js';
  * type R = IsVoid<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsVoid<T, $O extends IsVoid.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Else]>;
+export type IsVoid<T, $O extends IsVoid.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $void: $ResolveBranch<$O, [$Void, $Then], T>;
+    $then: $ResolveBranch<$O, [$Else]>;
     $else: IsVoid.$<T, $O>;
 }>>;
 export declare namespace IsVoid {
-    type $Options = $Equality.$Options;
-    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
     /**
      * 🧰 *type util*
      *
@@ -71,7 +78,7 @@ export declare namespace IsVoid {
      * It does not check against special types.
      */
     type $<T, $O extends $UtilOptions> = IsUndefined.$<T, {
-        $then: $ResolveBranch<T, $O, [$Else]>;
+        $then: $ResolveBranch<$O, [$Else]>;
         $else: Assignable.$<T, void, $O>;
     }>;
     type $UtilOptions = Assignable.$UtilOptions;

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

@@ -1 +1 @@
-{"version":3,"file":"is_void.d.ts","sourceRoot":"","sources":["../../src/void/is_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACpE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACtB,CACD,CACD,CAAA;AAED,yBAAiB,MAAM,CAAC;IACvB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,WAAW,CAAC,CAAC,CACxD,CAAC,EACD;QACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KAChC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}
+{"version":3,"file":"is_void.d.ts","sourceRoot":"","sources":["../../src/void/is_void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAChE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACtB,CACD,CACD,CAAA;AAED,yBAAiB,MAAM,CAAC;IACvB,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,WAAW,CAAC,CAAC,CACxD,CAAC,EACD;QACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QAClC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;KAChC,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "8.0.0-beta.6",
+  "version": "8.0.0-beta.7",
   "description": "Provides additional types for TypeScript.",
   "keywords": [
     "assert",
@@ -68,11 +68,11 @@
     "jest-watch-suspend": "^1.1.2",
     "jest-watch-toggle-config-2": "^2.1.0",
     "jest-watch-typeahead": "^2.2.2",
-    "npm-run-all2": "^6.1.1",
+    "npm-run-all2": "^7.0.0",
     "rimraf": "^6.0.0",
     "size-limit": "^11.1.5",
-    "ts-5.4": "npm:typescript@~5.4.5",
-    "ts-5.5": "npm:typescript@~5.5.4",
+    "ts-5.4": "npm:typescript@~5.4.0",
+    "ts-5.5": "npm:typescript@~5.5.0",
     "ts-jest": "^29.1.2",
     "typescript": "^5.6.2"
   },
@@ -80,10 +80,10 @@
     "build": "run-p build:*",
     "build:cjs": "tsc -p tsconfig.cjs.json",
     "build:esm": "tsc -p tsconfig.esm.json",
+    "build:doc": "typedoc",
     "clean": "rimraf cjs coverage esm lib libm tslib --glob *.tsbuildinfo",
     "coverage": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --coverage",
     "depcheck": "depcheck",
-    "lint": "pnpm -w biome lint packages/type-plus",
     "nuke": "run-p clean nuke:local",
     "nuke:local": "rimraf node_modules",
     "size": "size-limit",