type-plus 8.0.0-beta.0 → 8.0.0-beta.2

package/esm/tuple/tuple_plus.find.d.ts

@@ -1,7 +1,7 @@
 import type { ElementMatch } from '../array/array_plus.element_match.js';
-import type { NeverType } from '../never/never_type.js';
+import type { $Never } from '../never/never.js';
 import type { TypePlusOptions } from '../utils/options.js';
-import type { TupleType } from './tuple_type.js';
+import type { IsTuple } from './is_tuple.js';
 /**
  * 🦴 *utilities*
  * 🔢 *customizable*
@@ -47,16 +47,19 @@ import type { TupleType } from './tuple_type.js';
  *
  * Since it is a union, the result will be joined to the matched branch as union.
  */
-export type Find<A extends readonly unknown[], Criteria, Options extends Find.Options = Find.DefaultOptions<Criteria>> = TypePlusOptions.Merge<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options ? TupleType<A, A['length'] extends 0 ? O['$emptyTuple'] : Find.Device<A, Criteria, O>, O['$array'], O> : never;
+export type Find<A extends readonly unknown[], Criteria, Options extends Find.Options = Find.DefaultOptions<Criteria>> = TypePlusOptions.Merge<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options ? IsTuple<A, {
+    $then: A['length'] extends 0 ? O['$emptyTuple'] : Find.Device<A, Criteria, O>;
+    $else: O['$array'];
+}> : never;
 export declare namespace Find {
     type Device<A extends readonly unknown[], Criteria, Options extends Find.Options> = A['length'] extends 0 ? Options['$notMatch'] : (A extends readonly [infer Head, ...infer Tail] ? ElementMatch<Head, Criteria, TypePlusOptions.Merge<{
         $notMatch: Device<Tail, Criteria, Options>;
     }, Options>> : never);
-    interface Options extends ElementMatch.Options, NeverType.Options {
+    interface Options extends ElementMatch.Options, $Never.$Options {
         $array?: unknown;
         $emptyTuple?: unknown;
     }
-    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, NeverType.DefaultOptions {
+    interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, $Never.$Default {
         $array: 'does not support array. Please use `FindFirst` or `ArrayPlus.Find` instead.';
         $emptyTuple: never;
     }

package/esm/tuple/tuple_plus.find.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.find.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAA;AACxE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IACzD,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,GACnG,SAAS,CACV,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,CAAC,CAAC,aAAa,CAAC,GAChB,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAC7B,CAAC,CAAC,QAAQ,CAAC,EACX,CAAC,CACD,GACC,KAAK,CAAA;AACR,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CACjB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,IACzB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtB,OAAO,CAAC,WAAW,CAAC,GACpB,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,YAAY,CACb,IAAI,EACJ,QAAQ,EACR,eAAe,CAAC,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;KAAE,EAAE,OAAO,CAAC,CAC9E,GACC,KAAK,CAAC,CAAA;IACV,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO;QACvE,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,WAAW,CAAC,EAAE,OAAO,CAAC;KACtB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,cAAc;QAChH,MAAM,EAAE,6EAA6E,CAAC;QACtF,WAAW,EAAE,KAAK,CAAC;KACnB;CACD"}
+{"version":3,"file":"tuple_plus.find.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,MAAM,MAAM,IAAI,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IACzD,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,GACnG,OAAO,CACR,CAAC,EACD;IACC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC1B,CAAC,CAAC,aAAa,CAAC,GAChB,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;CAClB,CACD,GACC,KAAK,CAAA;AACR,yBAAiB,IAAI,CAAC;IACrB,KAAY,MAAM,CACjB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,QAAQ,EACR,OAAO,SAAS,IAAI,CAAC,OAAO,IACzB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtB,OAAO,CAAC,WAAW,CAAC,GACpB,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,YAAY,CACb,IAAI,EACJ,QAAQ,EACR,eAAe,CAAC,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;KAAE,EAAE,OAAO,CAAC,CAC9E,GACC,KAAK,CAAC,CAAA;IACV,UAAiB,OAAQ,SAAQ,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ;QACrE,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,WAAW,CAAC,EAAE,OAAO,CAAC;KACtB;IAED,UAAiB,cAAc,CAAC,QAAQ,CAAE,SAAQ,YAAY,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ;QACvG,MAAM,EAAE,6EAA6E,CAAC;QACtF,WAAW,EAAE,KAAK,CAAC;KACnB;CACD"}

package/esm/tuple/tuple_plus.find.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.find.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.find.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.find.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.find.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.js.map

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

package/esm/tuple/tuple_plus.pad_start.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.pad_start.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CACnB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IAAI,QAAQ,CAAC,MAAM,CACnC,KAAK,EACL,SAAS,EACT,OAAO,EACP;CAAE,CACF,CAAA;AAEF,yBAAiB,QAAQ,CAAC;IACzB,KAAY,MAAM,CACjB,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,IAExB,MAAM,CAAC,QAAQ,CAAC,SAAS,SAAS,GAChC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,GACN,CACD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACjD,CACD;QAAC,IAAI;QAAE,GAAG,MAAM;KAAC,SAAS,MAAM,CAAC,SAAS,OAAO,EAAE,GACjD,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GACrC,KAAK,CACP,GACC,KAAK,CACP,CACD,GACC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GACxD,CACD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACjD,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,GACnD,MAAM,CACR,CACD,CAAA;CAEF"}
+{"version":3,"file":"tuple_plus.pad_start.d.ts","sourceRoot":"","sources":["../../src/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CACnB,KAAK,SAAS,SAAS,OAAO,EAAE,EAChC,SAAS,SAAS,MAAM,EACxB,OAAO,GAAG,OAAO,IAAI,QAAQ,CAAC,MAAM,CACnC,KAAK,EACL,SAAS,EACT,OAAO,EACP;CAAE,CACF,CAAA;AAEF,yBAAiB,QAAQ,CAAC;IACzB,KAAY,MAAM,CACjB,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,IAExB,MAAM,CAAC,QAAQ,CAAC,SAAS,SAAS,GAChC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,GACN,CACD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACjD,CACD;QAAC,IAAI;QAAE,GAAG,MAAM;KAAC,SAAS,MAAM,CAAC,SAAS,OAAO,EAAE,GACjD,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GACrC,KAAK,CACP,GACC,KAAK,CACP,CACD,GACC,CACD,MAAM,SAAS,EAAE,GACf,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GACxD,CACD,MAAM,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACjD,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,GACnD,MAAM,CACR,CACD,CAAA;CAEF"}

package/esm/tuple/tuple_plus.pad_start.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuple_plus.pad_start.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":""}
+{"version":3,"file":"tuple_plus.pad_start.js","sourceRoot":"","sources":["../../src/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":""}

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

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

package/esm/type/failed.js.map

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

package/esm/type/no_infer.d.ts

@@ -1,6 +1,7 @@
-import type { IsNull } from '../null/null_type.js';
+import type { IsNull } from '../null/is_null.js';
 import type { Or } from '../predicates/logical.js';
-import type { IsUndefined } from '../undefined/undefined_type.js';
+import type { $SelectionPredicate } from '../type_plus/branch/$selection.js';
+import type { IsUndefined } from '../undefined/is_undefined.js';
 /**
  * Prevents inference of a type parameter `T`.
  *
@@ -23,5 +24,5 @@ import type { IsUndefined } from '../undefined/undefined_type.js';
  * A build-in `NoInfer` is coming soon.
  * @see https://github.com/microsoft/TypeScript/pull/52968
  */
-export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T>, T, T & {}>;
+export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T, $SelectionPredicate>, T, T & {}>;
 //# sourceMappingURL=no_infer.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../ts/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}
+{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../src/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAA;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}

package/esm/type/no_infer.js.map

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

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

@@ -17,7 +17,7 @@ export declare namespace isType {
  * Check is the type `never`
  * @deprecated use `isType<T>()` or `testType.never<T>()` instead
  */
-declare function isNever<S extends never>(): unknown;
+declare function isNever<_S extends never>(): unknown;
 /**
  * Check is the value is type `never`
  * @deprecated use `isType<T>()` or `testType.never<T>()` instead

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

@@ -1 +1 @@
-{"version":3,"file":"is_type.d.ts","sourceRoot":"","sources":["../../ts/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;;;;;;AAmBtB;;;GAGG;AACH,iBAAS,OAAO,CAAC,CAAC,SAAS,KAAK,KAAK,OAAO,CAAA;AAC5C;;;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-guard/is_type.js

@@ -4,15 +4,11 @@ export function isType(subject, validator) {
 /**
  * @deprecated use `isType<T>()` or `testType.true<T>()` instead
  */
-isType.t = function (subject) {
-    return subject === undefined || subject === true;
-};
+isType.t = (subject) => subject === undefined || subject === true;
 /**
  * @deprecated use `isType<T>()` or `testType.false<T>()` instead
  */
-isType.f = function (subject) {
-    return subject === undefined || subject === false;
-};
+isType.f = (subject) => subject === undefined || subject === false;
 function isNever(_subject) {
     return true;
 }
@@ -24,5 +20,5 @@ isType.never = isNever;
  *
  * @deprecated use `testType.equal()` instead
  */
-isType.equal = function () { };
+isType.equal = () => { };
 //# sourceMappingURL=is_type.js.map

package/esm/type-guard/is_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AACjD,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAChD,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAClD,CAAC,CAAA;AAYD,SAAS,OAAO,CAAC,QAAkB;IAClC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,cAA6C,CAAC,CAAA"}
+{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../src/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,CAAiB,OAAW,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AAErF;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,CAAkB,OAAW,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAYvF,SAAS,OAAO,CAAC,QAAkB;IAClC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,GAAmC,EAAE,GAAE,CAAC,CAAA"}

package/esm/type_plus/$equality.d.ts

@@ -0,0 +1,12 @@
+import type { $Any } from '../any/any.js';
+import type { $Never } from '../never/never.js';
+import type { $Unknown } from '../unknown/unknown.js';
+import type { $DistributiveOptions } from './branch/$distributive.js';
+import type { $InputOptions } from './branch/$input_options.js';
+import type { $SelectionBranch } from './branch/$selection.js';
+import type { $SelectionOptions } from './branch/$selection_options.js';
+export declare namespace $Equality {
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>;
+    type $Branch<$O extends $SelectionOptions = {}> = $SelectionBranch<$O>;
+}
+//# sourceMappingURL=$equality.d.ts.map

package/esm/type_plus/$equality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$equality.d.ts","sourceRoot":"","sources":["../../src/type_plus/$equality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAEvE,yBAAiB,SAAS,CAAC;IAC1B,KAAY,QAAQ,GAAG,iBAAiB,GACvC,oBAAoB,GACpB,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IACxC,KAAY,OAAO,CAAC,EAAE,SAAS,iBAAiB,GAAG,EAAE,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAA;CAC7E"}

package/esm/type_plus/$equality.js

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

package/esm/type_plus/$equality.js.map

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

package/esm/type_plus/$error.d.ts

@@ -0,0 +1,8 @@
+import type { $Type } from './$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * A basic type-level error.
+ */
+export type $Error<M extends string, T = unknown> = M extends any ? $Type<'error', M, T> : never;
+//# sourceMappingURL=$error.d.ts.map

package/esm/type_plus/$error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$error.d.ts","sourceRoot":"","sources":["../../src/type_plus/$error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA"}

package/esm/type_plus/$error.js

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

package/esm/type_plus/$error.js.map

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

package/esm/type_plus/$infer_error.d.ts

@@ -0,0 +1,21 @@
+import type { $Type } from './$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * An error for unexpected failure of infer type.
+ *
+ * In your type,
+ * you can use `T extends infer U extends V` to specify the type of the inferred type `U`.
+ *
+ * But doing so means you have to do an extra conditional type.
+ *
+ * This type can be use in the else case to indicate unexpected failure to infer the type.
+ *
+ * ```ts
+ * type F<T> = T extends infer U extends V
+ *   ? ...your type logic...
+ *   : InferError<'some message', T>
+ * ```
+ */
+export type $InferError<M extends string, T = unknown> = M extends any ? $Type<'error', `Unable to infer: ${M}`, T> : never;
+//# sourceMappingURL=$infer_error.d.ts.map

package/esm/type_plus/$infer_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$infer_error.d.ts","sourceRoot":"","sources":["../../src/type_plus/$infer_error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA"}

package/esm/type_plus/$infer_error.js

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

package/esm/type_plus/$infer_error.js.map

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

package/esm/type_plus/$merge_options.d.ts

@@ -0,0 +1,11 @@
+/**
+ * 🧰 *type util*
+ *
+ * Merge type options.
+ */
+export type $MergeOptions<$O extends Record<string, any>, $V extends {
+    [k in keyof $O]?: unknown;
+}> = {
+    [k in Exclude<keyof $O, keyof $V>]: $O[k];
+} & $V;
+//# sourceMappingURL=$merge_options.d.ts.map

package/esm/type_plus/$merge_options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$merge_options.d.ts","sourceRoot":"","sources":["../../src/type_plus/$merge_options.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACxB,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,EAAE,SAAS;KAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO;CAAE,IACrC;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAA"}

package/esm/type_plus/$merge_options.js

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

package/esm/type_plus/$merge_options.js.map

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

package/esm/type_plus/$resolve_options.d.ts

@@ -0,0 +1,11 @@
+import type { $InferError } from './$infer_error.js';
+/**
+ * 🧰 *type util*
+ *
+ * Resolve options to the first non `unknown` value.
+ *
+ * The `Values` are assumed to be a tuple with at least one value.
+ * These checks are not performed for performance considerations.
+ */
+export type $ResolveOptions<V extends unknown[]> = V extends [infer T] ? T : (V extends [infer T, ...infer U] ? ([T, unknown] extends [unknown, T] ? $ResolveOptions<U> : T) : $InferError<'cannot [infer T, ...infer U] from', V>);
+//# sourceMappingURL=$resolve_options.d.ts.map

package/esm/type_plus/$resolve_options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$resolve_options.d.ts","sourceRoot":"","sources":["../../src/type_plus/$resolve_options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEpD;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,IAC9C,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GACjB,CAAC,GACD,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GAC/B,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAC5D,WAAW,CAAC,mCAAmC,EAAE,CAAC,CAAC,CAAC,CAAA"}

package/esm/type_plus/$resolve_options.js

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

package/esm/type_plus/$resolve_options.js.map

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

package/esm/type_plus/$special_type.d.ts

@@ -0,0 +1,25 @@
+import type { $Any } from '../any/any.js';
+import type { $Never } from '../never/never.js';
+import type { $Unknown } from '../unknown/unknown.js';
+import type { $BranchOptions } from './branch/$branch.js';
+import type { $InputOptions } from './branch/$input_options.js';
+import type { $ResolveBranch } from './branch/$resolve_branch.js';
+import type { $Else, $SelectionBranch, $Then } from './branch/$selection.js';
+import type { $SelectionOptions } from './branch/$selection_options.js';
+/**
+ * 🧰 *type util*
+ *
+ * A type utility to handle special types: `any`, `unknown`, and `never`.
+ */
+export type $SpecialType<T, $O extends $SpecialType.$Options> = 0 extends 1 & T ? $ResolveBranch<T, $O, [$Any, $Then]> : [
+    T,
+    unknown
+] extends [unknown, T] ? $ResolveBranch<T, $O, [$Unknown, $Then]> : [
+    T,
+    never
+] extends [never, T] ? $ResolveBranch<T, $O, [$Never, $Then]> : $ResolveBranch<T, $O, [$Else]>;
+export declare namespace $SpecialType {
+    type $Options = $SelectionOptions & $InputOptions<$Any | $Unknown | $Never>;
+    type $Branch = $SelectionBranch & $BranchOptions<$Any | $Unknown | $Never>;
+}
+//# sourceMappingURL=$special_type.d.ts.map

package/esm/type_plus/$special_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$special_type.d.ts","sourceRoot":"","sources":["../../src/type_plus/$special_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAC5E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAEvE;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,CAAC,QAAQ,IAC3D,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GACtD;IAAC,CAAC;IAAE,OAAO;CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC5E;IAAC,CAAC;IAAE,KAAK;CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GACtE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAE/B,yBAAiB,YAAY,CAAC;IAC7B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IAClF,KAAY,OAAO,GAAG,gBAAgB,GAAG,cAAc,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;CACjF"}

package/esm/type_plus/$special_type.js

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

package/esm/type_plus/$special_type.js.map

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

package/esm/type_plus/$type.d.ts

@@ -0,0 +1,11 @@
+/**
+ * 🧰 *type util*
+ *
+ * Special `type-plus` interface to represent unique types with messages.
+ */
+export interface $Type<T extends string, M extends string = '', V = unknown> {
+    type: T;
+    message: M;
+    value: V;
+}
+//# sourceMappingURL=$type.d.ts.map

package/esm/type_plus/$type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$type.d.ts","sourceRoot":"","sources":["../../src/type_plus/$type.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,EAAE,EAAE,CAAC,GAAG,OAAO;IAC1E,IAAI,EAAE,CAAC,CAAC;IACR,OAAO,EAAE,CAAC,CAAC;IACX,KAAK,EAAE,CAAC,CAAC;CACT"}

package/esm/type_plus/$type.js

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

package/esm/type_plus/$type.js.map

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

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

@@ -0,0 +1,29 @@
+import type { $Type } from '../$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * Create a branch type.
+ *
+ * @typeparam P the property name for the branch.
+ *
+ * @example
+ * ```ts
+ * type $Then = $Branch<'$then'>
+ * type $Any = $Branch<'$any'>
+ */
+export type $Branch<P extends `$${string}`> = $Type<'branch', P, P>;
+/**
+ * 🧰 *type util*
+ *
+ * Define the branch options of the specified branches.
+ *
+ * ```ts
+ * type $YourOptions = $BranchOptions<$Then | $Else> // { $then: $Then, $else: $Else }
+ * ```
+ */
+export type $BranchOptions<$B extends $Branch<any>> = {
+    [k in $B['value']]: $B extends {
+        value: k;
+    } ? $B : never;
+};
+//# sourceMappingURL=$branch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$branch.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$branch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAExC;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,IAAI,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnE;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,IACjD;KAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,GAAG,KAAK;CAAE,CAAA"}

package/esm/type_plus/branch/$branch.js

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

package/esm/type_plus/branch/$branch.js.map

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

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

@@ -0,0 +1,19 @@
+/**
+ * 🧰 *type util*
+ *
+ * Options for to control if the type is distributive.
+ */
+export type $DistributiveOptions = {
+    distributive?: boolean | undefined;
+};
+/**
+ * 🧰 *type util*
+ *
+ * Default options for `distributive` behavior.
+ *
+ * By default it is `true`.
+ */
+export type $DistributiveDefault = {
+    distributive: true;
+};
+//# sourceMappingURL=$distributive.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$distributive.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$distributive.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAClC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,YAAY,EAAE,IAAI,CAAA;CAClB,CAAA"}

package/esm/type_plus/branch/$distributive.js

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

package/esm/type_plus/branch/$distributive.js.map

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

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

@@ -0,0 +1,27 @@
+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.
+ */
+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;
+}
+//# sourceMappingURL=$exact.d.ts.map

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

@@ -0,0 +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,EACzC,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IACzC,eAAe,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,GAC/D,OAAO,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,IAAI,GAC7C,OAAO,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,KAAK,CAAA;CACjD"}

package/esm/type_plus/branch/$exact.js

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

package/esm/type_plus/branch/$exact.js.map

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

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

@@ -0,0 +1,10 @@
+import type { $Branch } from './$branch.js';
+/**
+ * 🧰 *type util*
+ *
+ * Define branch input options.
+ */
+export type $InputOptions<$B extends $Branch<any>> = {
+    [k in $B['value']]?: unknown;
+};
+//# sourceMappingURL=$input_options.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$input_options.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$input_options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,IAChD;KAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO;CAAE,CAAA"}

package/esm/type_plus/branch/$input_options.js

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

package/esm/type_plus/branch/$input_options.js.map

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

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

@@ -0,0 +1,6 @@
+import type { $ResolveOptions } from '../$resolve_options.js';
+import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
+import type { $InputOptions } from './$input_options.js';
+import type { $Else, $Then } from './$selection.js';
+export type $IsDistributive<$Options extends $DistributiveOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[$Options['distributive'], $DistributiveDefault['distributive']]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
+//# sourceMappingURL=$is_distributive.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$is_distributive.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$is_distributive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD,MAAM,MAAM,eAAe,CAC1B,QAAQ,SAAS,oBAAoB,EACrC,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAE5C,eAAe,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,IAAI,GAC5F,OAAO,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,IAAI,GAC7C,OAAO,SAAS,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,KAAK,CAAA"}

package/esm/type_plus/branch/$is_distributive.js

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

package/esm/type_plus/branch/$is_distributive.js.map

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

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

@@ -0,0 +1,21 @@
+import type { $Type } from '../$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * A utility type to override the behavior of a branch.
+ *
+ * ```ts
+ * type R = IsString<any, { $any: DoThisInstead }> // DoThisInstead
+ * type R = IsString<any, { $any: $Override<DoThisInstead> }> // use DoThisInstead as the sole branch logic
+ * ```
+ */
+export type $Override<T> = $Type<'override', 'override', T>;
+export declare namespace $Override {
+    /**
+     * 🧰 *type util*
+     *
+     * A utility type to unwrap an override.
+     */
+    type $Unwrap<T> = T extends $Override<infer U> ? U : T;
+}
+//# sourceMappingURL=$override.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$override.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$override.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAExC;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;AAE3D,yBAAiB,SAAS,CAAC;IAC1B;;;;OAIG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAC7D"}

package/esm/type_plus/branch/$override.js

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

package/esm/type_plus/branch/$override.js.map

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

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

@@ -0,0 +1,30 @@
+import type { $Branch } from './$branch.js';
+import type { $Override } from './$override.js';
+import type { $Else, $Then } from './$selection.js';
+/**
+ * 🧰 *type util*
+ *
+ * Resolve option value based on list of branches.
+ * It returns the first branch value that is specified in the option,
+ * otherwise will return the default value.
+ *
+ * Since this is an type utility,
+ * it does not perform extensive validations.
+ * Please check the description of each input below for information.
+ *
+ * @typeparam $O Should be a Record, not any, unknown, or never
+ * @typeparam $B Tuple of branches with at least one entry.
+ * @typeparam $D When specified, resolve the branch in override mode.
+ * If no branch in `$B` is resolved to `$Override<X>`, `$D` will be returned.
+*/
+export type $ResolveBranch<T, $O extends Record<string, any>, $B extends Array<$Branch<any> | unknown>, $D = unknown> = [
+    unknown,
+    $D
+] extends [$D, unknown] ? ($B extends [infer B] ? $ResolveBranch._Last<T, $O, B> : ($B extends [infer B, ...infer Bs extends Array<$Branch<any> | unknown>] ? $ResolveBranch._<$ResolveBranch<T, $O, Bs>, $O, B> : never)) : $ResolveBranch._Override<$D, $O, $B>;
+export declare namespace $ResolveBranch {
+    type _Override<$D, $O extends Record<string, any>, $B extends Array<$Branch<any> | unknown>> = $B extends [infer B] ? _OLast<$D, $O, B> : ($B extends [infer B, ...infer Bs extends Array<$Branch<any> | unknown>] ? _OLast<_Override<$D, $O, Bs>, $O, B> : never);
+    type _OLast<$D, $O extends Record<string, any>, $B extends $Branch<any> | unknown> = $B extends $Branch<any> ? ($B['value'] extends keyof $O ? ($O[$B['value']] extends infer R extends $Override<any> ? ([R, never] extends [never, R] ? $D : R['value']) : $D) : $D) : $D;
+    type _<T, $O extends Record<string, any>, $B> = $B extends $Branch<any> ? ($B['value'] extends keyof $O ? $Override.$Unwrap<$O[$B['value']]> : T) : T;
+    type _Last<T, $O extends Record<string, any>, $B> = $B extends $Then ? ('$then' extends keyof $O ? $Override.$Unwrap<$O['$then']> : $O['selection'] extends 'filter' ? T : true) : $B extends $Else ? ('$else' extends keyof $O ? $Override.$Unwrap<$O['$else']> : $O['selection'] extends 'filter' ? never : false) : _<T, $O, $B>;
+}
+//# sourceMappingURL=$resolve_branch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$resolve_branch.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$resolve_branch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;;;;;;;;;;;;EAeE;AACF,MAAM,MAAM,cAAc,CACzB,CAAC,EACD,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,EACxC,EAAE,GAAG,OAAO,IAEZ;IAAC,OAAO;IAAE,EAAE;CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,GACjC,CACD,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAClB,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAC9B,CACD,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GACrE,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAClD,KAAK,CACP,CACD,GACC,cAAc,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;AAEvC,yBAAiB,cAAc,CAAC;IAC/B,KAAY,SAAS,CACpB,EAAE,EACF,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IACrC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GACrB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GACjB,CACD,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GACrE,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACpC,KAAK,CACP,CAAA;IAEF,KAAY,MAAM,CACjB,EAAE,EACF,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAC9B,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GACxB,CACD,EAAE,CAAC,OAAO,CAAC,SAAS,MAAM,EAAE,GAC1B,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GACtD,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,GACjD,EAAE,CACJ,GACC,EAAE,CACJ,GACC,EAAE,CAAA;IAEL,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAClD,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GACvB,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GACrE,CAAC,CAAA;IACJ,KAAY,KAAK,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IACtD,EAAE,SAAS,KAAK,GACd,CAAC,OAAO,SAAS,MAAM,EAAE,GACxB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAC9B,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,GAC7C,EAAE,SAAS,KAAK,GAChB,CAAC,OAAO,SAAS,MAAM,EAAE,GACxB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAC9B,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC,GAClD,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;CACf"}

package/esm/type_plus/branch/$resolve_branch.js

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

package/esm/type_plus/branch/$resolve_branch.js.map

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