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

package/cjs/array/is_not_array.d.ts

@@ -1,11 +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 { $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';
 /**
  * 🎭 *predicate*
  *
@@ -59,13 +63,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
  * type R = IsNotArray<number, IsNotArray.$Branch> // $Then
  * ```
  */
-export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Then]>;
+export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Then], T>;
     $else: IsNotArray.$<T, $O>;
 }>>;
 export declare namespace IsNotArray {
-    type $Options = $Equality.$Options & $ExactOptions;
-    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*
      *
@@ -74,16 +78,16 @@ export declare namespace IsNotArray {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $IsExact<$O, {
-        $then: $IsDistributive<$O, {
-            $then: T extends readonly any[] ? number extends T['length'] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
-            $else: [T] extends [readonly any[]] ? number extends T['length'] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
+    type $<T, $O extends $UtilOptions> = $Exact.Parse<$O, {
+        $then: $Distributive.Parse<$O, {
+            $then: T extends readonly any[] ? number extends T['length'] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Then], T>;
+            $else: [T] extends [readonly any[]] ? number extends T['length'] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Then], T>;
         }>;
-        $else: $IsDistributive<$O, {
-            $then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
-            $else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+        $else: $Distributive.Parse<$O, {
+            $then: T extends readonly any[] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+            $else: [T] extends readonly [any[]] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
         }>;
     }>;
-    type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions;
+    type $UtilOptions = NotAssignable.$UtilOptions & $Exact.Options;
 }
 //# sourceMappingURL=is_not_array.d.ts.map

package/cjs/array/is_not_array.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_not_array.d.ts","sourceRoot":"","sources":["../../src/array/is_not_array.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,aAAa,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAA;AAC5E,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC5E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC1B,CACD,CACD,CAAA;AACD,yBAAiB,UAAU,CAAC;IAC3B,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,QAAQ,CACnD,EAAE,EACF;QACC,KAAK,EAAE,eAAe,CACrB,EAAE,EACF;YACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAC5B,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,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;YACjC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,GAChC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,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;SACjC,CACD,CAAA;QACD,KAAK,EAAE,eAAe,CACrB,EAAE,EACF;YACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;YACjG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;SACrG,CACD,CAAA;KACD,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,aAAa,CAAA;CACrE"}
+{"version":3,"file":"is_not_array.d.ts","sourceRoot":"","sources":["../../src/array/is_not_array.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;AAEpE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC1B,CACD,CACD,CAAA;AACD,yBAAiB,UAAU,CAAC;IAC3B,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,MAAM,CAAC,KAAK,CACvD,EAAE,EACF;QACC,KAAK,EAAE,aAAa,CAAC,KAAK,CACzB,EAAE,EACF;YACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAC5B,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;YACjC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,GAChC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;SACjC,CACD,CAAA;QACD,KAAK,EAAE,aAAa,CAAC,KAAK,CACzB,EAAE,EACF;YACC,KAAK,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;YAC9F,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;SAClG,CACD,CAAA;KACD,CACD,CAAA;IAED,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;CACtE"}

package/cjs/array/last.d.ts

@@ -1,6 +1,5 @@
+import type { $Never } from '../$type/special/$never.js';
 import type { IsNever } from '../never/is_never.js';
-import type { $Never } from '../never/never.js';
-import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
 /**
  * 🦴 *utilities*
  *
@@ -20,7 +19,10 @@ import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$select
  * @typeParam Options['caseEmptyTuple'] Return type when `T` is `[]`.
  * Default to `never`.
  */
-export type Last<T extends readonly unknown[], Options extends Last.Options = Last.DefaultOptions> = IsNever<T, $SelectionBranch> extends infer R ? R extends $Then ? Options['$never'] : R extends $Else ? T['length'] extends 0 ? Options['caseEmptyTuple'] : T extends readonly [...unknown[], infer R] ? R : T[0] : never : never;
+export type Last<T extends readonly unknown[], Options extends Last.Options = Last.DefaultOptions> = IsNever<T, {
+    $then: Options['$never'];
+    $else: T['length'] extends 0 ? Options['caseEmptyTuple'] : T extends readonly [...unknown[], infer R] ? R : T[0];
+}>;
 export declare namespace Last {
     interface Options extends $Never.$Options {
         caseEmptyTuple?: unknown;

package/cjs/array/last.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"last.d.ts","sourceRoot":"","sources":["../../src/array/last.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAEvF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,IAAI,OAAO,CAC3G,CAAC,EACD,gBAAgB,CAChB,SAAS,MAAM,CAAC,GACd,CAAC,SAAS,KAAK,GACd,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,SAAS,KAAK,GACd,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,OAAO,CAAC,gBAAgB,CAAC,GACzB,CAAC,SAAS,SAAS,CAAC,GAAG,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC,GACzC,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,GACN,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,MAAM,CAAC,QAAQ;QAC/C,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IAED,UAAiB,cAAe,SAAQ,MAAM,CAAC,QAAQ;QACtD,cAAc,EAAE,KAAK,CAAA;KACrB;CACD"}
+{"version":3,"file":"last.d.ts","sourceRoot":"","sources":["../../src/array/last.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,IAAI,OAAO,CAC3G,CAAC,EACD;IACC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;IACxB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,GAAG,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;CAChH,CACD,CAAA;AAED,yBAAiB,IAAI,CAAC;IACrB,UAAiB,OAAQ,SAAQ,MAAM,CAAC,QAAQ;QAC/C,cAAc,CAAC,EAAE,OAAO,CAAA;KACxB;IAED,UAAiB,cAAe,SAAQ,MAAM,CAAC,QAAQ;QACtD,cAAc,EAAE,KAAK,CAAA;KACrB;CACD"}

package/cjs/assertion/assert_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assert_type.d.ts","sourceRoot":"","sources":["../../src/assertion/assert_type.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AAC/D,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AACnG;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,EAChE,OAAO,EAAE,OAAO,EAChB,gBAAgB,EAAE,CAAC,GACjB,OAAO,CAAC,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAA;yBAHrB,UAAU"}
+{"version":3,"file":"assert_type.d.ts","sourceRoot":"","sources":["../../src/assertion/assert_type.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,cAAc,EAAiB,MAAM,mBAAmB,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AAC/D,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AACnG;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,EAChE,OAAO,EAAE,OAAO,EAChB,gBAAgB,EAAE,CAAC,GACjB,OAAO,CAAC,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAA;yBAHrB,UAAU"}

package/cjs/bigint/is_bigint.d.ts

@@ -1,12 +1,16 @@
+import type { $ResolveOptions } from '../$type/$resolve_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 { $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 { $ResolveOptions } from '../type_plus/$resolve_options.js';
-import type { $SpecialType } from '../type_plus/$special_type.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';
 /**
  * 🎭 *predicate*
  *
@@ -69,13 +73,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
  * type R = IsBigint<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBigint<T, $O extends IsBigint.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Else]>;
+export type IsBigint<T, $O extends IsBigint.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
     $else: IsBigint.$<T, $O>;
 }>>;
 export declare namespace IsBigint {
-    type $Options = $Equality.$Options & $ExactOptions;
-    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*
      *
@@ -84,12 +88,12 @@ export declare namespace IsBigint {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true ? $IsDistributive<$O, {
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.Default]> extends true ? $Distributive.Parse<$O, {
         $then: _SD<T, $O>;
         $else: _SN<T, $O>;
     }> : Assignable.$<T, bigint, $O>;
-    type $UtilOptions = Assignable.$UtilOptions & $ExactOptions;
-    type _SD<T, $O extends $Options> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
-    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+    type $UtilOptions = Assignable.$UtilOptions & $Exact.Options;
+    type _SD<T, $O extends $Options> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
+    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
 }
 //# sourceMappingURL=is_bigint.d.ts.map

package/cjs/bigint/is_bigint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_bigint.d.ts","sourceRoot":"","sources":["../../src/bigint/is_bigint.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;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;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,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,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,aAAa,CAAA;IAElE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,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,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACrE,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_bigint.d.ts","sourceRoot":"","sources":["../../src/bigint/is_bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,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;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACpE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,GACpG,aAAa,CAAC,KAAK,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,GACjE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEnE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9B,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACrE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC9B"}

package/cjs/bigint/is_bigint_literal.d.ts

@@ -1,10 +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 { $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';
 /**
  * 🎭 *predicate*
  *
@@ -57,13 +62,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
  * type R = IsBigintLiteral<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Else]>;
+export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
     $else: IsBigintLiteral.$<T, $O>;
 }>>;
 export declare namespace IsBigintLiteral {
-    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*
      *
@@ -72,12 +77,12 @@ export declare namespace IsBigintLiteral {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $IsDistributive<$O, {
+    type $<T, $O extends $UtilOptions> = $Distributive.Parse<$O, {
         $then: _D<T, $O>;
         $else: _N<T, $O>;
     }>;
     type $UtilOptions = Assignable.$UtilOptions;
-    type _D<T, $O extends $UtilOptions> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
-    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+    type _D<T, $O extends $UtilOptions> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Else]>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Else]>;
 }
 //# sourceMappingURL=is_bigint_literal.d.ts.map

package/cjs/bigint/is_bigint_literal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_bigint_literal.d.ts","sourceRoot":"","sources":["../../src/bigint/is_bigint_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,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;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,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,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;IAEvG,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;IAElD,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_bigint_literal.d.ts","sourceRoot":"","sources":["../../src/bigint/is_bigint_literal.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;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,EAAE,SAAS,eAAe,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAClF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC/B,CACD,CACD,CAAA;AAED,yBAAiB,eAAe,CAAC;IAChC,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,aAAa,CAAC,KAAK,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;IAE3G,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;IAElD,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9B,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,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC9B"}

package/cjs/bigint/is_not_bigint.d.ts

@@ -1,12 +1,16 @@
+import type { $ResolveOptions } from '../$type/$resolve_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 { $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 { $ResolveOptions } from '../type_plus/$resolve_options.js';
-import type { $SpecialType } from '../type_plus/$special_type.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';
 /**
  * 🎭 *predicate*
  *
@@ -66,13 +70,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
  * type R = IsNotBigint<bigint, $SelectionBranch> // $Else
  * ```
  */
-export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Then]>;
+export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Then], T>;
     $else: IsNotBigint.$<T, $O>;
 }>>;
 export declare namespace IsNotBigint {
-    type $Options = $Equality.$Options & $ExactOptions;
-    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*
      *
@@ -81,12 +85,12 @@ export declare namespace IsNotBigint {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true ? $IsDistributive<$O, {
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true ? $Distributive.Parse<$O, {
         $then: _SD<T, $O>;
         $else: _SN<T, $O>;
     }> : NotAssignable.$<T, bigint, $O>;
-    type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions;
-    type _SD<T, $O extends $Options> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
-    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+    type $UtilOptions = NotAssignable.$UtilOptions & $Exact.Options;
+    type _SD<T, $O extends $Options> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
 }
 //# sourceMappingURL=is_not_bigint.d.ts.map

package/cjs/bigint/is_not_bigint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_not_bigint.d.ts","sourceRoot":"","sources":["../../src/bigint/is_not_bigint.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,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,SAAS,WAAW,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC9E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC3B,CACD,CACD,CAAA;AAED,yBAAiB,WAAW,CAAC;IAC5B,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,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC7D,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IACjC,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,aAAa,CAAA;IAErE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,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,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACrE,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_not_bigint.d.ts","sourceRoot":"","sources":["../../src/bigint/is_not_bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,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;AAEpE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,SAAS,WAAW,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC1E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC3B,CACD,CACD,CAAA;AAED,yBAAiB,WAAW,CAAC;IAC5B,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,IAAI,GAC3F,aAAa,CAAC,KAAK,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,GACjE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IACjC,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEtE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACrE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC"}

package/cjs/bigint/is_not_bigint_literal.d.ts

@@ -1,10 +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 { $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';
 /**
  * 🎭 *predicate*
  *
@@ -55,13 +60,14 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
  * type R = IsNotBigintLiteral<bigint, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Then]>;
+export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Then], T>;
     $else: IsNotBigintLiteral.$<T, $O>;
 }>>;
 export declare namespace IsNotBigintLiteral {
-    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 $Default = $Selection.Predicate & $Distributive.Default & $Exact.Default;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
     /**
      * 🧰 *type util*
      *
@@ -70,12 +76,12 @@ export declare namespace IsNotBigintLiteral {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $IsDistributive<$O, {
+    type $<T, $O extends $UtilOptions> = $Distributive.Parse<$O, {
         $then: _D<T, $O>;
         $else: _N<T, $O>;
     }>;
     type $UtilOptions = Assignable.$UtilOptions;
-    type _D<T, $O extends $UtilOptions> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
-    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
+    type _D<T, $O extends $UtilOptions> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Then], T>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Then], T>;
 }
 //# sourceMappingURL=is_not_bigint_literal.d.ts.map

package/cjs/bigint/is_not_bigint_literal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_not_bigint_literal.d.ts","sourceRoot":"","sources":["../../src/bigint/is_not_bigint_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,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,EAAE,SAAS,kBAAkB,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC5F,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAClC,CACD,CACD,CAAA;AAED,yBAAiB,kBAAkB,CAAC;IACnC,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,eAAe,CAC1D,EAAE,EACF;QACC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAChB,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAChB,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;IAElD,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_not_bigint_literal.d.ts","sourceRoot":"","sources":["../../src/bigint/is_not_bigint_literal.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;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,EAAE,SAAS,kBAAkB,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAClC,CACD,CACD,CAAA;AAED,yBAAiB,kBAAkB,CAAC;IACnC,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,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;IACpF,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,aAAa,CAAC,KAAK,CAC9D,EAAE,EACF;QACC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAChB,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAChB,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;IAElD,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,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,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC"}

package/cjs/binary/_binary.d.ts

@@ -1,2 +1,3 @@
-export type { Bit, BitAnd, BitNot, BitOr, BitXor } from './Bit.js';
+export * as B from './bit.js';
+export * as Bit from './bit.js';
 //# sourceMappingURL=_binary.d.ts.map

package/cjs/binary/_binary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_binary.d.ts","sourceRoot":"","sources":["../../src/binary/_binary.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA"}
+{"version":3,"file":"_binary.d.ts","sourceRoot":"","sources":["../../src/binary/_binary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAA;AAC7B,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA"}

package/cjs/binary/_binary.js

@@ -1,3 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.Bit = exports.B = void 0;
+exports.B = require("./bit.js");
+exports.Bit = require("./bit.js");
 //# sourceMappingURL=_binary.js.map

package/cjs/binary/_binary.js.map

@@ -1 +1 @@
-{"version":3,"file":"_binary.js","sourceRoot":"","sources":["../../src/binary/_binary.ts"],"names":[],"mappings":""}
+{"version":3,"file":"_binary.js","sourceRoot":"","sources":["../../src/binary/_binary.ts"],"names":[],"mappings":";;;AAAA,gCAA6B;AAC7B,kCAA+B"}

package/cjs/binary/bit.d.ts

@@ -0,0 +1,26 @@
+export type Bit = 0 | 1;
+/**
+ * Bitwise NOT operation.
+ *
+ * @since 🏷️ 8.0.0
+ */
+export type Not<X extends Bit> = X extends 0 ? 1 : 0;
+/**
+ * Bitwise AND operation.
+ *
+ * @since 🏷️ 8.0.0
+ */
+export type And<A extends Bit, B extends Bit> = A extends 1 ? (B extends 1 ? 1 : 0) : 0;
+/**
+ * Bitwise OR operation.
+ *
+ * @since 🏷️ 8.0.0
+ */
+export type Or<A extends Bit, B extends Bit> = A extends 1 ? 1 : B extends 1 ? 1 : 0;
+/**
+ * Bitwise XOR operation.
+ *
+ * @since 🏷️ 8.0.0
+ */
+export type Xor<A extends Bit, B extends Bit> = A extends 1 ? Not<B> : B;
+//# sourceMappingURL=bit.d.ts.map

package/cjs/binary/bit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bit.d.ts","sourceRoot":"","sources":["../../src/binary/bit.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;AAEvB;;;;GAIG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAEpD;;;;GAIG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;AAEvF;;;;GAIG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAEpF;;;;GAIG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}

package/cjs/binary/{Bit.js → bit.js}

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

package/cjs/binary/bit.js.map

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

package/cjs/boolean/is_boolean.d.ts

@@ -1,12 +1,16 @@
+import type { $ResolveOptions } from '../$type/$resolve_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 { $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 { $ResolveOptions } from '../type_plus/$resolve_options.js';
-import type { $SpecialType } from '../type_plus/$special_type.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';
 /**
  * 🎭 *predicate*
  *
@@ -58,13 +62,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
  * type R = IsBoolean<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBoolean<T, $O extends IsBoolean.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Else]>;
+export type IsBoolean<T, $O extends IsBoolean.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
     $else: IsBoolean.$<T, $O>;
 }>>;
 export declare namespace IsBoolean {
-    type $Options = $Equality.$Options & $ExactOptions;
-    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*
      *
@@ -73,13 +77,13 @@ export declare namespace IsBoolean {
      * This is a type util for building custom types.
      * It does not check against special types.
      */
-    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true ? $IsDistributive<$O, {
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.Default]> extends true ? $Distributive.Parse<$O, {
         $then: _SD<T, $O>;
         $else: _N<T, $O>;
     }> : Assignable.$<T, boolean, $O>;
-    type $UtilOptions = Assignable.$UtilOptions & $ExactOptions;
-    type _SD<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R ? ['aBcD' | 'AbCd' | 'abcd'] extends [R] ? $ResolveBranch<boolean, $O, [$Then]> | $ResolveBranch<Exclude<T, boolean>, $O, [$Else]> : ['aBcD' | 'AbCd'] extends [R] ? $ResolveBranch<T, $O, [$Then]> : ['aBcd' | 'Abcd'] extends [R] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : never;
-    type _N<T, $O extends $Options> = [T] extends [boolean] ? [T] extends [true] ? $ResolveBranch<T, $O, [$Else]> : [T] extends [false] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+    type $UtilOptions = Assignable.$UtilOptions & $Exact.Options;
+    type _SD<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R ? ['aBcD' | 'AbCd' | 'abcd'] extends [R] ? $ResolveBranch<$O, [$Then], boolean> | $ResolveBranch<$O, [$Else], Exclude<T, boolean>> : ['aBcD' | 'AbCd'] extends [R] ? $ResolveBranch<$O, [$Then], T> : ['aBcd' | 'Abcd'] extends [R] ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : never;
+    type _N<T, $O extends $Options> = [T] extends [boolean] ? [T] extends [true] ? $ResolveBranch<$O, [$Else]> : [T] extends [false] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
     type _DistributeMap<T> = T extends true ? T extends false ? true extends T ? false extends T ? 'ABCD' : 'ABCd' : false extends T ? 'ABcD' : 'ABcd' : true extends T ? false extends T ? 'AbCD' : 'AbCd' : false extends T ? 'AbcD' : 'Abcd' : T extends false ? true extends T ? false extends T ? 'aBCD' : 'aBCd' : false extends T ? 'aBcD' : 'aBcd' : true extends T ? false extends T ? 'abCD' : 'abCd' : false extends T ? 'abcD' : 'abcd';
 }
 //# sourceMappingURL=is_boolean.d.ts.map

package/cjs/boolean/is_boolean.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"is_boolean.d.ts","sourceRoot":"","sources":["../../src/boolean/is_boolean.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;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;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;AACD,yBAAiB,SAAS,CAAC;IAC1B,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,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC5D,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;IAC/B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,aAAa,CAAA;IAElE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAClF,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GACrC,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACvF,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAC5B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAC5B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GACjC,KAAK,CAAA;IAER,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAC3D,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACjB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAChC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEjC,KAAY,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,GAC3C,CAAC,SAAS,KAAK,GACd,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACR,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACT,CAAC,SAAS,KAAK,GACd,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACR,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,CAAA;CACZ"}
+{"version":3,"file":"is_boolean.d.ts","sourceRoot":"","sources":["../../src/boolean/is_boolean.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,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;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;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,CAAC,CAAA;IAClC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AACD,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,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,GACpG,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAChE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;IAC/B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEnE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAClF,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GACrC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,GACvF,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,KAAK,CAAA;IAER,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAC3D,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACjB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAChC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAE9B,KAAY,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,GAC3C,CAAC,SAAS,KAAK,GACd,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACR,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACT,CAAC,SAAS,KAAK,GACd,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACR,IAAI,SAAS,CAAC,GACb,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,GACP,KAAK,SAAS,CAAC,GACd,MAAM,GACN,MAAM,CAAA;CACZ"}

package/cjs/boolean/is_false.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 } 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';
 /**
  * 🎭 *predicate*
  *
@@ -57,13 +63,13 @@ import type { $Else } from '../type_plus/branch/$selection.js';
  * type R = IsFalse<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsFalse<T, $O extends IsFalse.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
-    $then: $ResolveBranch<T, $O, [$Else]>;
+export type IsFalse<T, $O extends IsFalse.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
     $else: IsFalse.$<T, $O>;
 }>>;
 export declare namespace IsFalse {
-    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*
      *