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

package/cjs/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,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS;KAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO;CAAE,IAAI;KACpG,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACzC,GAAG,EAAE,CAAA"}

package/cjs/type_plus/$merge_options.js

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

package/cjs/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/cjs/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/cjs/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,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GACnE,CAAC,GACD,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GAC9B,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAChC,eAAe,CAAC,CAAC,CAAC,GAClB,CAAC,GACF,WAAW,CAAC,mCAAmC,EAAE,CAAC,CAAC,CAAA"}

package/cjs/type_plus/$resolve_options.js

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

package/cjs/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/cjs/type_plus/$special_type.d.ts

@@ -0,0 +1,19 @@
+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/cjs/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,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAC5E,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GACpC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAChC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,GACxC,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAC5B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GACtC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAEnC,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/cjs/type_plus/$special_type.js

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

package/cjs/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/cjs/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/cjs/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,CAAA;IACP,OAAO,EAAE,CAAC,CAAA;IACV,KAAK,EAAE,CAAC,CAAA;CACR"}

package/cjs/type_plus/$type.js

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

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

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

package/cjs/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/cjs/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,IAAI;KAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,GAAG,KAAK;CAAE,CAAA"}

package/cjs/type_plus/branch/$branch.js

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

package/cjs/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/cjs/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/cjs/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/cjs/type_plus/branch/$distributive.js

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

package/cjs/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/cjs/type_plus/branch/$exact.d.ts

@@ -0,0 +1,21 @@
+import type { $ResolveOptions } from '../$resolve_options.js';
+import type { $InputOptions } from './$input_options.js';
+import type { $Else, $Then } from './$selection.js';
+/**
+ * 🧰 *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.
+ */
+export type $ExactOptions = {
+    exact?: boolean | undefined;
+};
+export type $ExactDefault = {
+    exact: false;
+};
+export type $IsExact<$Opt extends $ExactOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[
+    $Opt['exact'],
+    $ExactDefault
+]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
+//# sourceMappingURL=$exact.d.ts.map

package/cjs/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,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,KAAK,EAAE,KAAK,CAAA;CACZ,CAAA;AAED,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,aAAa,EAAE,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAC/G;IAAC,IAAI,CAAC,OAAO,CAAC;IAAE,aAAa;CAAC,CAC9B,SAAS,IAAI,GACX,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA"}

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

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

package/cjs/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/cjs/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/cjs/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,IAAI;KAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO;CAAE,CAAA"}

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

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

package/cjs/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/cjs/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/cjs/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,IACzC,eAAe,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/F,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA"}

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

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

package/cjs/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/cjs/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/cjs/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/cjs/type_plus/branch/$override.js

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

package/cjs/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/cjs/type_plus/branch/$resolve_branch.d.ts

@@ -0,0 +1,29 @@
+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/cjs/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;;;;;;;;;;;;;;;GAeG;AACH,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,IACT,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,GACpC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GACnB,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAC9B,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GACtE,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAClD,KAAK,GACP,cAAc,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;AAEvC,yBAAiB,cAAc,CAAC;IAC/B,KAAY,SAAS,CAAC,EAAE,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS;QAChH,MAAM,CAAC;KACP,GACE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GACjB,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GACtE,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACpC,KAAK,CAAA;IAET,KAAY,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAChH,EAAE,CAAC,OAAO,CAAC,SAAS,MAAM,EAAE,GAC3B,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GACrD,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAC5B,EAAE,GACF,CAAC,CAAC,OAAO,CAAC,GACX,EAAE,GACH,EAAE,GACH,EAAE,CAAA;IAEL,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAC3E,EAAE,CAAC,OAAO,CAAC,SAAS,MAAM,EAAE,GAC3B,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAClC,CAAC,GACF,CAAC,CAAA;IACJ,KAAY,KAAK,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,KAAK,GACxE,OAAO,SAAS,MAAM,EAAE,GACvB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAC9B,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,CAAC,GACD,IAAI,GACN,EAAE,SAAS,KAAK,GACf,OAAO,SAAS,MAAM,EAAE,GACvB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAC9B,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,KAAK,GACL,KAAK,GACP,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;CAChB"}

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

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

package/cjs/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":""}

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

@@ -0,0 +1,77 @@
+import type { $SpecialType } from '../$special_type.js';
+import type { $Any } from '../../any/any.js';
+import type { $Never } from '../../never/never.js';
+import type { $Unknown } from '../../unknown/unknown.js';
+import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
+import type { $ExactOptions } from './$exact.js';
+import type { $InputOptions } from './$input_options.js';
+import type { $IsDistributive } from './$is_distributive.js';
+import type { $ResolveBranch } from './$resolve_branch.js';
+import type { $Else, $SelectionBranch, $SelectionPredicate, $Then } from './$selection.js';
+import type { $SelectionOptions } from './$selection_options.js';
+/**
+ * 🎭 *predicate*
+ * ㊙️ *internal*
+ *
+ * Validate if `T` is `U`.
+ *
+ * @example
+ * ```ts
+ * type R = $Select<undefined, undefined> // true
+ *
+ * type R = $Select<never, undefined> // false
+ * type R = $Select<unknown, undefined> // false
+ * type R = $Select<string | boolean, undefined> // false
+ *
+ * type R = $Select<string | undefined, undefined> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `U`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = $Select<undefined, undefined, { selection: 'filter' }> // undefined
+ *
+ * type R = $Select<never, undefined, { selection: 'filter' }> // never
+ * type R = $Select<unknown, undefined, { selection: 'filter' }> // never
+ * type R = $Select<string | boolean, undefined, { selection: 'filter' }> // never
+ *
+ * type R = $Select<string | undefined, undefined> // undefined
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = $Select<undefined | 1, undefined> // boolean
+ * type R = $Select<undefined | 1, undefined, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = $Select<undefined, undefined, $SelectionBranch> // $Then
+ * type R = $Select<string, undefined, $SelectionBranch> // $Else
+ * ```
+ */
+export type $Select<T, U, $O extends $Select.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Else]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>;
+    $never: $ResolveBranch<T, $O, [$Never, $Else]>;
+    $else: $ResolveBranch<T, $O, [$Else], $Select._<T, U, $O>>;
+}>;
+export declare namespace $Select {
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never> & $ExactOptions;
+    type $Default = $SelectionPredicate & $DistributiveDefault;
+    type $Branch<$O extends $DistributiveOptions = $DistributiveDefault> = $SelectionBranch & $O;
+    type _<T, U, $O extends $Select.$Options> = $IsDistributive<$O> extends true ? _D<T, U, $O> : _N<T, U, $O>;
+    type _D<T, U, $O extends $Select.$Options> = T extends U ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+    type _N<T, U, $O extends $Select.$Options> = [T] extends [U] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=$select.d.ts.map

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

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

package/cjs/type_plus/branch/$select.js

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

package/cjs/type_plus/branch/$select.js.map

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

package/cjs/type_plus/branch/$select_invert.d.ts

@@ -0,0 +1,75 @@
+import type { $Any } from '../../any/any.js';
+import type { $Never } from '../../never/never.js';
+import type { $Unknown } from '../../unknown/unknown.js';
+import type { $SpecialType } from '../$special_type.js';
+import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
+import type { $InputOptions } from './$input_options.js';
+import type { $IsDistributive } from './$is_distributive.js';
+import type { $ResolveBranch } from './$resolve_branch.js';
+import type { $Else, $SelectionBranch, $SelectionPredicate, $Then } from './$selection.js';
+import type { $SelectionOptions } from './$selection_options.js';
+/**
+ * 🎭 *predicate*
+ * ㊙️ *internal*
+ *
+ * Validate if `T` is `U`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvert<undefined, undefined> // true
+ *
+ * type R = $SelectInvert<never, undefined> // false
+ * type R = $SelectInvert<unknown, undefined> // false
+ * type R = $SelectInvert<string | boolean, undefined> // false
+ *
+ * type R = $SelectInvert<string | undefined, undefined> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `U`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvert<undefined, undefined, { selection: 'filter' }> // undefined
+ *
+ * type R = $SelectInvert<never, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvert<unknown, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvert<string | boolean, undefined, { selection: 'filter' }> // never
+ *
+ * type R = $SelectInvert<string | undefined, undefined> // undefined
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = $SelectInvert<undefined | 1, undefined> // boolean
+ * type R = $SelectInvert<undefined | 1, undefined, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvert<undefined, undefined, $SelectionBranch> // $Then
+ * type R = $SelectInvert<string, undefined, $SelectionBranch> // $Else
+ * ```
+ */
+export type $SelectInvert<T, U, $O extends $SelectInvert.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Then]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>;
+    $never: $ResolveBranch<T, $O, [$Never, $Then]>;
+    $else: $IsDistributive<$O> extends true ? $SelectInvert._D<T, U, $O> : $SelectInvert._N<T, U, $O>;
+}>;
+export declare namespace $SelectInvert {
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>;
+    type $Default = $SelectionPredicate & $DistributiveDefault;
+    type $Branch = $SelectionBranch & $DistributiveDefault;
+    type _D<T, U, $O extends $SelectInvert.$Options> = T extends U ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+    type _N<T, U, $O extends $SelectInvert.$Options> = [T] extends [U] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+}
+//# sourceMappingURL=$select_invert.d.ts.map

package/cjs/type_plus/branch/$select_invert.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$select_invert.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$select_invert.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACrF,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,eAAe,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CACjG,CACD,CAAA;AAED,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IACzG,KAAY,QAAQ,GAAG,mBAAmB,GAAG,oBAAoB,CAAA;IACjE,KAAY,OAAO,GAAG,gBAAgB,GAAG,oBAAoB,CAAA;IAC7D,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAClE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACtE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/type_plus/branch/$select_invert.js

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

package/cjs/type_plus/branch/$select_invert.js.map

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

package/cjs/type_plus/branch/$select_invert_strict.d.ts

@@ -0,0 +1,75 @@
+import type { $Any } from '../../any/any.js';
+import type { $Never } from '../../never/never.js';
+import type { $Unknown } from '../../unknown/unknown.js';
+import type { $SpecialType } from '../$special_type.js';
+import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
+import type { $InputOptions } from './$input_options.js';
+import type { $IsDistributive } from './$is_distributive.js';
+import type { $ResolveBranch } from './$resolve_branch.js';
+import type { $Else, $SelectionBranch, $SelectionPredicate, $Then } from './$selection.js';
+import type { $SelectionOptions } from './$selection_options.js';
+/**
+ * 🎭 *predicate*
+ * ㊙️ *internal*
+ *
+ * Validate if `T` is `U`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvertStrict<undefined, undefined> // true
+ *
+ * type R = $SelectInvertStrict<never, undefined> // false
+ * type R = $SelectInvertStrict<unknown, undefined> // false
+ * type R = $SelectInvertStrict<string | boolean, undefined> // false
+ *
+ * type R = $SelectInvertStrict<string | undefined, undefined> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `U`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvertStrict<undefined, undefined, { selection: 'filter' }> // undefined
+ *
+ * type R = $SelectInvertStrict<never, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvertStrict<unknown, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvertStrict<string | boolean, undefined, { selection: 'filter' }> // never
+ *
+ * type R = $SelectInvertStrict<string | undefined, undefined> // undefined
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = $SelectInvertStrict<undefined | 1, undefined> // boolean
+ * type R = $SelectInvertStrict<undefined | 1, undefined, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvertStrict<undefined, undefined, $SelectionBranch> // $Then
+ * type R = $SelectInvertStrict<string, undefined, $SelectionBranch> // $Else
+ * ```
+ */
+export type $SelectInvertStrict<T, U, $O extends $SelectInvertStrict.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Then]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>;
+    $never: $ResolveBranch<T, $O, [$Never, $Then]>;
+    $else: $IsDistributive<$O> extends true ? $SelectInvertStrict._D<T, U, $O> : $SelectInvertStrict._N<T, U, $O>;
+}>;
+export declare namespace $SelectInvertStrict {
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>;
+    type $Default = $SelectionPredicate & $DistributiveDefault;
+    type $Branch = $SelectionBranch & $DistributiveDefault;
+    type _D<T, U, $O extends $SelectInvertStrict.$Options> = T extends U ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+    type _N<T, U, $O extends $SelectInvertStrict.$Options> = [T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+}
+//# sourceMappingURL=$select_invert_strict.d.ts.map

package/cjs/type_plus/branch/$select_invert_strict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$select_invert_strict.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$select_invert_strict.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACjG,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,eAAe,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CAC7G,CACD,CAAA;AAED,yBAAiB,mBAAmB,CAAC;IACpC,KAAY,QAAQ,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IACzG,KAAY,QAAQ,GAAG,mBAAmB,GAAG,oBAAoB,CAAA;IACjE,KAAY,OAAO,GAAG,gBAAgB,GAAG,oBAAoB,CAAA;IAC7D,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACxE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAClF,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/type_plus/branch/$select_invert_strict.js

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

package/cjs/type_plus/branch/$select_invert_strict.js.map

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