type-plus 8.0.0-beta.4 → 8.0.0-beta.5

package/esm/string/is_string.d.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js';
 import type { $MergeOptions } from '../type_plus/$merge_options.js';
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
 import type { $SpecialType } from '../type_plus/$special_type.js';
-import type { $Exact } from '../type_plus/branch/$exact.js';
+import type { $ExactOptions } from '../type_plus/branch/$exact.js';
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
 import type { $Else, $Then } from '../type_plus/branch/$selection.js';
@@ -60,7 +60,7 @@ export type IsString<T, $O extends IsString.$Options = {}> = $SpecialType<T, $Me
     $else: IsString.$<T, $O>;
 }>>;
 export declare namespace IsString {
-    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Options = $Equality.$Options & $ExactOptions;
     type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
     /**
      * 🧰 *type util*
@@ -74,7 +74,7 @@ export declare namespace IsString {
         $then: _D<T, $O>;
         $else: _N<T, $O>;
     }> : Assignable.$<T, string, $O>;
-    type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options;
+    type $UtilOptions = Assignable.$UtilOptions & $ExactOptions;
     type _D<T, $O extends $UtilOptions> = T extends string & infer U ? U extends string ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
     type _N<T, $O extends $UtilOptions> = [T] extends [string & infer U] ? U extends string ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"is_string.d.ts","sourceRoot":"","sources":["../../src/string/is_string.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,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACxE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,IAAI,GAC3F,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC3D,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAE9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;IAEpE,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}
+{"version":3,"file":"is_string.d.ts","sourceRoot":"","sources":["../../src/string/is_string.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,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACxE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,CAAA;IACzD,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,IAAI,GAC3F,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC3D,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAE9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,aAAa,CAAA;IAElE,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/esm/string/is_string_literal.d.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js';
 import type { $MergeOptions } from '../type_plus/$merge_options.js';
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
 import type { $SpecialType } from '../type_plus/$special_type.js';
-import type { $Exact } from '../type_plus/branch/$exact.js';
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js';
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
 import type { $Else, $Then } from '../type_plus/branch/$selection.js';
@@ -72,7 +72,7 @@ export type IsStringLiteral<T, $O extends IsStringLiteral.$Options = {}> = $Spec
     $else: IsStringLiteral.$<T, $O>;
 }>>;
 export declare namespace IsStringLiteral {
-    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Options = $Equality.$Options & $ExactOptions;
     type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
     /**
      * 🧰 *type util*
@@ -82,14 +82,14 @@ export declare namespace IsStringLiteral {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true ? $IsDistributive<$O, {
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true ? $IsDistributive<$O, {
         $then: _ED<T, $O>;
         $else: _EN<T, $O>;
     }> : $IsDistributive<$O, {
         $then: _D<T, $O>;
         $else: _N<T, $O>;
     }>;
-    type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options;
+    type $UtilOptions = Assignable.$UtilOptions & $ExactOptions;
     type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Else]>;
     type _EN<T, $O extends $SelectionOptions> = [T] extends [string] ? _E<T, $O> : $ResolveBranch<T, $O, [$Else]>;
     type _E<T extends string, $O extends $SelectionOptions> = T extends string ? _StringType<T> extends infer R ? R extends 'stringLiteral' ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : never : $ResolveBranch<T, $O, [$Else]>;

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

@@ -1 +1 @@
-{"version":3,"file":"is_string_literal.d.ts","sourceRoot":"","sources":["../../src/string/is_string_literal.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,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,EAAE,SAAS,eAAe,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACtF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC/B,CACD,CACD,CAAA;AAED,yBAAiB,eAAe,CAAC;IAChC,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,GACrG,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC7D,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAE9D,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;IAEpE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,MAAM,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEhH,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEpH,KAAY,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,MAAM,GAC9E,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAC7B,CAAC,SAAS,eAAe,GACxB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACN,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACzE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GACZ,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GAC7E,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GACZ,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,GAAG,GAAG,EAAE,GACpE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC3B,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GACT,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC3B,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GACT,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACnC"}
+{"version":3,"file":"is_string_literal.d.ts","sourceRoot":"","sources":["../../src/string/is_string_literal.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,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,EAAE,SAAS,eAAe,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACtF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC/B,CACD,CACD,CAAA;AAED,yBAAiB,eAAe,CAAC;IAChC,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,CAAA;IACzD,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,SAAS,IAAI,GACnG,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC7D,eAAe,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAE9D,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,aAAa,CAAA;IAElE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,MAAM,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEhH,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEpH,KAAY,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,MAAM,GAC9E,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAC7B,CAAC,SAAS,eAAe,GACxB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,KAAK,GACN,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACzE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GACZ,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GAC7E,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GACZ,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,iBAAiB,IAAI,CAAC,SAAS,GAAG,GAAG,EAAE,GACpE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC3B,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GACT,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC3B,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GACT,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACnC"}

package/esm/testing/stub.d.ts

@@ -11,8 +11,8 @@ import type { NoInfer } from '../type/no_infer.js';
 export declare function stub<T extends AnyFunction>(stub: T): T;
 export declare function stub<T>(stub: RecursivePartial<NoInfer<T>>): T;
 export declare namespace stub {
-    var build: <T>(init: RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>)) => (stub?: RecursivePartial<T>) => T;
-    var builder: <T>(init: RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>)) => {
+    var build: <T>(init: RecursivePartial<T> | ((stub?: RecursivePartial<T> | undefined) => RecursivePartial<T>)) => (stub?: RecursivePartial<T> | undefined) => T;
+    var builder: <T>(init: RecursivePartial<T> | ((stub?: RecursivePartial<T> | undefined) => RecursivePartial<T>)) => {
         /**
          * Adds an init object or handler to the builder.
          *

package/esm/testing/stub.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stub.d.ts","sourceRoot":"","sources":["../../src/testing/stub.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAA;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAElD;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AACvD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;yBAA9C,IAAI;gBAQL,CAAC,QACT,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAC/E,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC;kBAmBnB,CAAC,QAAQ,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAQnG;;;;;;;WAOG;;QAIH;;WAEG"}
+{"version":3,"file":"stub.d.ts","sourceRoot":"","sources":["../../src/testing/stub.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAA;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAElD;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AACvD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;yBAA9C,IAAI;;;QAqClB;;;;;;;WAOG;;QAIH;;WAEG"}

package/esm/type-guard/is_type.d.ts

@@ -8,8 +8,8 @@ export declare function isType<T>(subject: T): subject is T;
  */
 export declare function isType<T>(subject: unknown, validator: (s: T) => unknown): subject is T;
 export declare namespace isType {
-    var t: <T extends true>(subject?: T) => boolean;
-    var f: <T extends false>(subject?: T) => boolean;
+    var t: <T extends true>(subject?: T | undefined) => boolean;
+    var f: <T extends false>(subject?: T | undefined) => boolean;
     var never: typeof isNever;
     var equal: <_C extends IsEqual<A, B>, A, B>() => void;
 }

package/esm/type-guard/is_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_type.d.ts","sourceRoot":"","sources":["../../src/type-guard/is_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;yBAAvE,MAAM;YAQV,CAAC,SAAS,IAAI,YAAY,CAAC;YAK3B,CAAC,SAAS,KAAK,YAAY,CAAC;;gBAyBxB,EAAE,SAAS,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;;AAvB9C;;;GAGG;AACH,iBAAS,OAAO,CAAC,EAAE,SAAS,KAAK,KAAK,OAAO,CAAA;AAC7C;;;GAGG;AACH,iBAAS,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,CAAA"}
+{"version":3,"file":"is_type.d.ts","sourceRoot":"","sources":["../../src/type-guard/is_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;yBAAvE,MAAM;;;;;;AAetB;;;GAGG;AACH,iBAAS,OAAO,CAAC,EAAE,SAAS,KAAK,KAAK,OAAO,CAAA;AAC7C;;;GAGG;AACH,iBAAS,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,CAAA"}

package/esm/type_plus/branch/$exact.d.ts

@@ -1,30 +1,21 @@
 import type { $ResolveOptions } from '../$resolve_options.js';
-import type { $Branch } from './$branch.js';
 import type { $InputOptions } from './$input_options.js';
 import type { $Else, $Then } from './$selection.js';
 /**
  * 🧰 *type util*
  *
- * Branch to handle exact comparison.
+ * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
+ *
+ * The `$exact` branch is used to handle when it is an exact comparison.
  */
-export type $Exact = $Branch<'$exact'>;
-export declare namespace $Exact {
-    /**
-     * 🧰 *type util*
-     *
-     * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
-     *
-     * The `$exact` branch is used to handle when it is an exact comparison.
-     */
-    type $Options = {
-        exact?: boolean | undefined;
-    };
-    type $Default = {
-        exact: false;
-    };
-    type $IsExact<$Opt extends $Options, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[
-        $Opt['exact'],
-        $Exact.$Default
-    ]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
-}
+export type $ExactOptions = {
+    exact?: boolean | undefined;
+};
+export type $ExactDefault = {
+    exact: false;
+};
+export type $IsExact<$Opt extends $ExactOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[
+    $Opt['exact'],
+    $ExactDefault
+]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
 //# sourceMappingURL=$exact.d.ts.map

package/esm/type_plus/branch/$exact.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"$exact.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$exact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;AAEtC,yBAAiB,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,KAAY,QAAQ,GAAG;QACtB,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;KAC3B,CAAA;IAED,KAAY,QAAQ,GAAG;QACtB,KAAK,EAAE,KAAK,CAAA;KACZ,CAAA;IAED,KAAY,QAAQ,CAAC,IAAI,SAAS,QAAQ,EAAE,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAC1G;QAAC,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,CAAC,QAAQ;KAAC,CAChC,SAAS,IAAI,GACX,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA;CACT"}
+{"version":3,"file":"$exact.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$exact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,KAAK,EAAE,KAAK,CAAA;CACZ,CAAA;AAED,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,aAAa,EAAE,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAC/G;IAAC,IAAI,CAAC,OAAO,CAAC;IAAE,aAAa;CAAC,CAC9B,SAAS,IAAI,GACX,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA"}

package/esm/type_plus/branch/$select.d.ts

@@ -1,9 +1,9 @@
+import type { $SpecialType } from '../$special_type.js';
 import type { $Any } from '../../any/any.js';
 import type { $Never } from '../../never/never.js';
 import type { $Unknown } from '../../unknown/unknown.js';
-import type { $SpecialType } from '../$special_type.js';
 import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
-import type { $Exact } from './$exact.js';
+import type { $ExactOptions } from './$exact.js';
 import type { $InputOptions } from './$input_options.js';
 import type { $IsDistributive } from './$is_distributive.js';
 import type { $ResolveBranch } from './$resolve_branch.js';
@@ -67,7 +67,7 @@ export type $Select<T, U, $O extends $Select.$Options = {}> = $SpecialType<T, {
     $else: $ResolveBranch<T, $O, [$Else], $Select._<T, U, $O>>;
 }>;
 export declare namespace $Select {
-    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never> & $Exact.$Options;
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never> & $ExactOptions;
     type $Default = $SelectionPredicate & $DistributiveDefault;
     type $Branch<$O extends $DistributiveOptions = $DistributiveDefault> = $SelectionBranch & $O;
     type _<T, U, $O extends $Select.$Options> = $IsDistributive<$O> extends true ? _D<T, U, $O> : _N<T, U, $O>;

package/esm/type_plus/branch/$select.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"$select.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$select.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACzE,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,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,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,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;CAC1D,CACD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,QAAQ,GAAG,iBAAiB,GACvC,oBAAoB,GACpB,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,GACvC,MAAM,CAAC,QAAQ,CAAA;IAChB,KAAY,QAAQ,GAAG,mBAAmB,GAAG,oBAAoB,CAAA;IACjE,KAAY,OAAO,CAAC,EAAE,SAAS,oBAAoB,GAAG,oBAAoB,IAAI,gBAAgB,GAAG,EAAE,CAAA;IACnG,KAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;IAEjH,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAC5D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAChE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}
+{"version":3,"file":"$select.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$select.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACzE,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,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,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,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;CAC1D,CACD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,QAAQ,GAAG,iBAAiB,GACvC,oBAAoB,GACpB,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,GACvC,aAAa,CAAA;IACd,KAAY,QAAQ,GAAG,mBAAmB,GAAG,oBAAoB,CAAA;IACjE,KAAY,OAAO,CAAC,EAAE,SAAS,oBAAoB,GAAG,oBAAoB,IAAI,gBAAgB,GAAG,EAAE,CAAA;IACnG,KAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;IAEjH,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAC5D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAChE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/esm/union/sub_union.d.ts

@@ -0,0 +1,6 @@
+/**
+ * 🧰 *type util*
+ * Define a union type that is a subset of union type.
+ */
+export type SubUnion<U, T extends U> = T;
+//# sourceMappingURL=sub_union.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sub_union.d.ts","sourceRoot":"","sources":["../../src/union/sub_union.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA"}

package/esm/union/sub_union.js

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

package/esm/union/sub_union.js.map

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

package/esm/utils/as.d.ts

@@ -5,6 +5,6 @@ export declare function asAny(subject: unknown): any;
  */
 export declare function amend<S>(subject: S): {
     union<T>(): T & S;
-    intersect<T>(): T | S;
+    intersect<T_1>(): S | T_1;
 };
 //# sourceMappingURL=as.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"as.d.ts","sourceRoot":"","sources":["../../src/utils/as.ts"],"names":[],"mappings":"AAAA,wBAAgB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,CAAC,CAEzC;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAE3C;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;UAE3B,CAAC,KAAK,CAAC,GAAG,CAAC;cAGP,CAAC,KAAK,CAAC,GAAG,CAAC;EAItB"}
+{"version":3,"file":"as.d.ts","sourceRoot":"","sources":["../../src/utils/as.ts"],"names":[],"mappings":"AAAA,wBAAgB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,CAAC,CAEzC;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAE3C;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBAErB,CAAC,GAAG,CAAC;;EAOlB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "8.0.0-beta.4",
+  "version": "8.0.0-beta.5",
   "description": "Provides additional types for TypeScript.",
   "keywords": [
     "assert",
@@ -44,19 +44,10 @@
   },
   "module": "./esm/index.js",
   "types": "./esm/index.d.ts",
-  "typesVersions": {
-    ">=5.4.0": {
-      "*": [
-        "*"
-      ]
-    }
-  },
   "files": [
     "cjs",
     "esm",
     "src",
-    "!src/types",
-    "!src/type-checker",
     "!**/*.{spec,test,unit,accept,integrate,system,perf,stress}.*"
   ],
   "dependencies": {
@@ -67,22 +58,23 @@
     "@jest/globals": "^29.5.0",
     "@repobuddy/jest": "^4.0.0",
     "@repobuddy/typescript": "^2.0.0",
-    "@size-limit/esbuild-why": "^9.0.0",
-    "@size-limit/preset-small-lib": "^9.0.0",
-    "@types/node": "^18.0.0",
-    "@unional/fixture": "^3.0.0",
-    "assertron": "^11.0.1",
+    "@size-limit/esbuild-why": "^11.1.5",
+    "@size-limit/preset-small-lib": "^11.1.5",
+    "@types/node": "^18.11.11",
+    "assertron": "^11.0.2",
     "cross-env": "^7.0.3",
     "depcheck": "^1.4.3",
     "jest": "^29.7.0",
     "jest-watch-suspend": "^1.1.2",
     "jest-watch-toggle-config-2": "^2.1.0",
     "jest-watch-typeahead": "^2.2.2",
-    "npm-run-all2": "^6.0.0",
-    "rimraf": "^5.0.5",
-    "satisfier": "^5.2.2",
-    "size-limit": "^9.0.0",
-    "ts-jest": "^29.1.2"
+    "npm-run-all2": "^6.1.1",
+    "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-jest": "^29.1.2",
+    "typescript": "^5.6.2"
   },
   "scripts": {
     "build": "run-p build:*",
@@ -96,7 +88,10 @@
     "nuke:local": "rimraf node_modules",
     "size": "size-limit",
     "test": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest",
-    "test:type": "tsc --noEmit",
+    "test:type": "run-p test:type:*",
+    "test:type:latest": "./node_modules/typescript/bin/tsc --noEmit",
+    "test:type:54": "./node_modules/ts-5.4/bin/tsc -p tsconfig.ts54.json --noEmit",
+    "test:type:55": "./node_modules/ts-5.5/bin/tsc -p tsconfig.ts55.json --noEmit",
     "test:watch": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --watch",
     "verify": "npm-run-all clean -p build depcheck lint coverage -p size",
     "w": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --watch",

package/readme.md

@@ -8,44 +8,45 @@
 
 [![Visual Studio Code][vscode_image]][vscode_url]
 
-More than 200 type utilities for [TypeScript] for applications, library, and type-level programming.
+More than 200 type utilities for [TypeScript] for applications, library,
+and type-level programming.
 
 ## Table of Contents
 
 1. [Table of Contents](#table-of-contents)
 2. [Installation](#installation)
 3. [What's in the package?](#whats-in-the-package)
-   1. [Update organization](#update-organization)
-   2. [Update documentation](#update-documentation)
+	1. [Update organization](#update-organization)
+	2. [Update documentation](#update-documentation)
 4. [Assertion Function](#assertion-function)
-   1. [assertType](#asserttype)
+	1. [assertType](#asserttype)
 5. [Type Guard](#type-guard)
 6. [Type Utilities](#type-utilities)
 7. [Type Specific Utilities](#type-specific-utilities)
-   1. [any](#any)
-   2. [Array](#array)
-   3. [union](#union)
-   4. [bigint](#bigint)
-   5. [boolean](#boolean)
-   6. [function](#function)
-   7. [never](#never)
-   8. [null](#null)
-   9. [number](#number)
-   10. [numeric](#numeric)
-   11. [object](#object)
-   12. [Promise](#promise)
-   13. [string](#string)
-   14. [symbol](#symbol)
-   15. [tuple](#tuple)
-   16. [undefined](#undefined)
-   17. [unknown](#unknown)
-   18. [void](#void)
+	1. [any](#any)
+	2. [Array](#array)
+	3. [union](#union)
+	4. [bigint](#bigint)
+	5. [boolean](#boolean)
+	6. [function](#function)
+	7. [never](#never)
+	8. [null](#null)
+	9. [number](#number)
+	10. [numeric](#numeric)
+	11. [object](#object)
+	12. [Promise](#promise)
+	13. [string](#string)
+	14. [symbol](#symbol)
+	15. [tuple](#tuple)
+	16. [undefined](#undefined)
+	17. [unknown](#unknown)
+	18. [void](#void)
 8. [Testing Utilities](#testing-utilities)
 9. [Constant Types](#constant-types)
 10. [JSON Support](#json-support)
 11. [Type manipulation](#type-manipulation)
 12. [Type Predicates](#type-predicates)
-    1. [Logical](#logical)
+	1. [Logical](#logical)
 13. [Math](#math)
 14. [Utility Functions](#utility-functions)
 15. [Nominal Types](#nominal-types)
@@ -69,7 +70,7 @@ pnpm add type-plus
 With over 200 types in [type-plus],
 it can become difficult to find the types you need.
 
-Also, some of the types need to be updated as TypeScript continue to evolve.
+Also, some types need to be updated as TypeScript continue to evolve.
 
 Currently, we are updating [type-plus] with the following objective:
 

package/src/array/is_array.ts

@@ -2,7 +2,7 @@ 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 { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions, $IsExact } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -72,7 +72,7 @@ export type IsArray<T, $O extends IsArray.$Options = {}> = $SpecialType<
 >
 
 export namespace IsArray {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -83,7 +83,7 @@ export namespace IsArray {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $Exact.$IsExact<
+	export type $<T, $O extends $UtilOptions> = $IsExact<
 		$O,
 		{
 			$then: $IsDistributive<
@@ -111,5 +111,5 @@ export namespace IsArray {
 		}
 	>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 }

package/src/array/is_not_array.ts

@@ -2,7 +2,7 @@ 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 { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions, $IsExact } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -71,7 +71,7 @@ export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $SpecialType<
 	>
 >
 export namespace IsNotArray {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -82,7 +82,7 @@ export namespace IsNotArray {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $Exact.$IsExact<
+	export type $<T, $O extends $UtilOptions> = $IsExact<
 		$O,
 		{
 			$then: $IsDistributive<
@@ -110,5 +110,5 @@ export namespace IsNotArray {
 		}
 	>
 
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 }

package/src/bigint/is_bigint.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -82,7 +82,7 @@ export type IsBigint<T, $O extends IsBigint.$Options = {}> = $SpecialType<
 >
 
 export namespace IsBigint {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -93,10 +93,10 @@ export namespace IsBigint {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _SN<T, $O> }>
 		: Assignable.$<T, bigint, $O>
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _SD<T, $O extends $Options> = T extends bigint & infer U
 		? U extends bigint

package/src/bigint/is_not_bigint.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -79,7 +79,7 @@ export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<
 >
 
 export namespace IsNotBigint {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -93,7 +93,7 @@ export namespace IsNotBigint {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _SN<T, $O> }>
 		: NotAssignable.$<T, bigint, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _SD<T, $O extends $Options> = T extends bigint & infer U
 		? U extends bigint

package/src/boolean/is_boolean.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -70,7 +70,7 @@ export type IsBoolean<T, $O extends IsBoolean.$Options = {}> = $SpecialType<
 	>
 >
 export namespace IsBoolean {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -81,10 +81,10 @@ export namespace IsBoolean {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, boolean, $O>
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _SD<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R
 		? ['aBcD' | 'AbCd' | 'abcd'] extends [R]

package/src/boolean/is_not_boolean.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -72,7 +72,7 @@ export type IsNotBoolean<T, $O extends IsNotBoolean.$Options = {}> = $SpecialTyp
 >
 
 export namespace IsNotBoolean {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -86,7 +86,7 @@ export namespace IsNotBoolean {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, boolean, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R
 		? ['aBcD' | 'AbCd' | 'abcd'] extends [R]

package/src/index.ts

@@ -73,11 +73,11 @@ export type * from './numeric/is_numeric.js'
 export type * from './numeric/is_positive.js'
 export * as NumericPlus from './numeric/numeric_plus.js'
 export type * from './numeric/numeric_type.js'
-export type { Required, RequiredExcept, RequiredPick } from './object/Required.js'
 export * from './object/index.js'
 export type * from './object/is_not_object.js'
 export type * from './object/is_object.js'
 export * as ObjectPlus from './object/object_plus.js'
+export type { Required, RequiredExcept, RequiredPick } from './object/Required.js'
 export type * from './predicates/assignable.js'
 export * from './predicates/index.js'
 export type * from './predicates/not_assignable.js'
@@ -125,6 +125,7 @@ export type * from './type_plus/branch/$selection_options.js'
 export type * from './undefined/has_undefined.js'
 export type * from './undefined/is_not_undefined.js'
 export type * from './undefined/is_undefined.js'
+export type * from './union/sub_union.js'
 export type { IsUnion, UnionType } from './union/union.js'
 export type { UnionKeys } from './union_keys.js'
 export type * from './unknown/is_not_unknown.js'
@@ -136,3 +137,4 @@ export * from './utils/index.js'
 export type { TypePlusOptions } from './utils/options.js'
 export type * from './void/is_not_void.js'
 export type * from './void/is_void.js'
+