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

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 { $Any } from '../../any/any.js';
+import type { $Never } from '../../never/never.js';
+import type { $Unknown } from '../../unknown/unknown.js';
+import type { $SpecialType } from '../$special_type.js';
+import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js';
+import type { $Exact } from './$exact.js';
+import type { $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> & $Exact.$Options;
+    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,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACpF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACzE,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;CAC1D,CACD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,QAAQ,GAAG,iBAAiB,GACvC,oBAAoB,GACpB,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,GACvC,MAAM,CAAC,QAAQ,CAAA;IAChB,KAAY,QAAQ,GAAG,mBAAmB,GAAG,oBAAoB,CAAA;IACjE,KAAY,OAAO,CAAC,EAAE,SAAS,oBAAoB,GAAG,oBAAoB,IAAI,gBAAgB,GAAG,EAAE,CAAA;IACnG,KAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;IAEjH,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAC5D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAChE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

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":""}

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

@@ -0,0 +1,76 @@
+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 = $SelectStrict<undefined, undefined> // true
+ *
+ * type R = $SelectStrict<never, undefined> // false
+ * type R = $SelectStrict<unknown, undefined> // false
+ * type R = $SelectStrict<string | boolean, undefined> // false
+ *
+ * type R = $SelectStrict<string | undefined, undefined> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `U`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectStrict<undefined, undefined, { selection: 'filter' }> // undefined
+ *
+ * type R = $SelectStrict<never, undefined, { selection: 'filter' }> // never
+ * type R = $SelectStrict<unknown, undefined, { selection: 'filter' }> // never
+ * type R = $SelectStrict<string | boolean, undefined, { selection: 'filter' }> // never
+ *
+ * type R = $SelectStrict<string | undefined, undefined> // undefined
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = $SelectStrict<undefined | 1, undefined> // boolean
+ * type R = $SelectStrict<undefined | 1, undefined, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectStrict<undefined, undefined, $SelectionBranch> // $Then
+ * type R = $SelectStrict<string, undefined, $SelectionBranch> // $Else
+ * ```
+ */
+export type $SelectStrict<T, U, $O extends $SelectStrict.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Else]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>;
+    $never: $ResolveBranch<T, $O, [$Never, $Else]>;
+    $else: $SelectStrict._Else<T, U, $O>;
+}>;
+export declare namespace $SelectStrict {
+    type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>;
+    type $Default = $SelectionPredicate & $DistributiveDefault;
+    type $Branch = $SelectionBranch & $DistributiveDefault;
+    type _Else<T, U, $O extends $SelectStrict.$Options> = $IsDistributive<$O> extends true ? _D<T, U, $O> : _N<T, U, $O>;
+    type _D<T, U, $O extends $SelectStrict.$Options> = T extends U ? U extends T ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+    type _N<T, U, $O extends $SelectStrict.$Options> = [T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=$select_strict.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$select_strict.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$select_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,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,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CACpC,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,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,eAAe,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1F,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GACZ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;IACf,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAClE,CAAC,SAAS,CAAC,GACV,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,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5E,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_strict.js

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

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

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

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

@@ -0,0 +1,127 @@
+import type { $Branch } from './$branch.js';
+import type { $SelectionOptions } from './$selection_options.js';
+export type $Then = $Branch<'$then'>;
+export type $Else = $Branch<'$else'>;
+export declare namespace $Then {
+    type $Branch = {
+        $else: $Then;
+    };
+}
+export declare namespace $Else {
+    type $Branch = {
+        $else: $Else;
+    };
+}
+/**
+ * 🧰 *type util*
+ *
+ * Invert the selection branch.
+ *
+ * i.e.
+ * - `$Then` -> `$Else`
+ * - `$Else` -> `$Then`
+ */
+export type $InvertSelection<Branch extends $Then | $Else> = Branch extends $Then ? $Else : $Then;
+/**
+ * 🧰 *type util*
+ *
+ * Branch option for selection logic.
+ * It allows finely customizing the behavior of your type.
+ *
+ * Using this as the default value of your `$Options` is the recommended best practice.
+ *
+ * This encourage consumer of your type to use conditional type to avoid performance issues.
+ *
+ * @example
+ * ```ts
+ * type YourType<
+ *   T,
+ *   $Options extends YourType.$Options = YourType.$Branch
+ * > = ...
+ *
+ * namespace YourType {
+ *   export type $Options = $SelectionOptions
+ *   export type $Branch = $SelectionBranch
+ * }
+ *
+ * type R = YourType<T> extends infer R
+ *   ? R extends $Then ? HandleThen
+ *   : R extends $Else ? HandleElse
+ *   : never
+ * ```
+ */
+export type $SelectionBranch<$O extends $SelectionOptions = {}> = {
+    $then: $Then;
+    $else: $Else;
+} & $O;
+/**
+ * 🧰 *type util*
+ *
+ * Default Options for filter selection logic.
+ *
+ * `filter` means the logic returns `T` when the condition is met,
+ * and returns `never` otherwise.
+ *
+ * @example
+ * ```ts
+ * type YourType<
+ *   T,
+ *   Options extends YourType.$Options = YourType.$Default> = ...
+ *
+ * namespace YourType {
+ *   export type $Options = $SelectionOptions
+ *   export type $Default = $SelectionFilter
+ * }
+ *
+ * type R = YourType<ThenType> // ThenType
+ * type X = YourType<ElseType> // never
+ * ```
+ */
+export type $SelectionFilter<T> = {
+    selection: 'filter';
+    $then: T;
+    $else: never;
+};
+/**
+ * 🧰 *type util*
+ *
+ * Default Options for predicate selection logic.
+ *
+ * `predicate` means the logic returns `true` or `false` depending on the condition.
+ *
+ * @example
+ * ```ts
+ * type YourType<
+ *   T,
+ *   Options extends YourType.$Options = YourType.$Default> = ...
+ *
+ * namespace YourType {
+ *   export type $Options = $SelectionOptions
+ *   export type $Default = $SelectionPredicate
+ * }
+ *
+ * type R = YourType<ThenType> // true
+ * type X = YourType<ElseType> // false
+ * ```
+ */
+export type $SelectionPredicate = {
+    $then: true;
+    $else: false;
+};
+/**
+ * 🧰 *type util*
+ *
+ * Flip the selection options.
+ *
+ * @example
+ * ```ts
+ * type IsBoolean<T, $Options = $SelectionOptions> = ...
+ *
+ * type IsNotBoolean<T, $Options = $SelectionOptions> = IsBoolean<T, $FlipSelection<$Options>>
+ * ```
+ */
+export type $FlipSelection<$Options extends $SelectionOptions> = {
+    $then: $Options['$else'];
+    $else: $Options['$then'];
+} & Omit<$Options, '$then' | '$else'>;
+//# sourceMappingURL=$selection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$selection.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$selection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;AACpC,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;AAEpC,yBAAiB,KAAK,CAAC;IACtB,KAAY,OAAO,GAAG;QACrB,KAAK,EAAE,KAAK,CAAA;KACZ,CAAA;CACD;AAED,yBAAiB,KAAK,CAAC;IACtB,KAAY,OAAO,GAAG;QACrB,KAAK,EAAE,KAAK,CAAA;KACZ,CAAA;CACD;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,CAAC,MAAM,SAAS,KAAK,GAAG,KAAK,IAAI,MAAM,SAAS,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,gBAAgB,CAAC,EAAE,SAAS,iBAAiB,GAAG,EAAE,IAAI;IACjE,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;CACZ,GAAG,EAAE,CAAA;AAEN;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI;IACjC,SAAS,EAAE,QAAQ,CAAA;IACnB,KAAK,EAAE,CAAC,CAAA;IACR,KAAK,EAAE,KAAK,CAAA;CACZ,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,mBAAmB,GAAG;IACjC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,KAAK,CAAA;CACZ,CAAA;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,cAAc,CAAC,QAAQ,SAAS,iBAAiB,IAAI;IAChE,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;IACxB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;CACxB,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,CAAA"}

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

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

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

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

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

@@ -0,0 +1,37 @@
+/**
+ * 🧰 *type util*
+ *
+ * Options for selection (if-then-else) logic.
+ *
+ * The word "selection" refers to the basic elements in structural programming:
+ * sequence, selection, and iteration.
+ *
+ * @example
+ * ```ts
+ * type YourType<
+ *   T,
+ *   $Options extends YourType.$Options = YourType.$Branch
+ * > = ...
+ *
+ * namespace YourType {
+ *   export type $Options = $SelectionOptions
+ *   export type $Branch = $SelectionBranch
+ * }
+ * ```
+ */
+export type $SelectionOptions = {
+    /**
+     * Specifies which default selection logic to use.
+     *
+     * `filter` returns `T` when the condition is met,
+     * and returns `never` otherwise.
+     *
+     * `predicate` returns boolean depends on the condition.
+     *
+     * Note that setting `$then` and `$else` overrides the default selection logic.
+     */
+    selection?: 'predicate' | 'filter' | undefined;
+    $then?: unknown;
+    $else?: unknown;
+};
+//# sourceMappingURL=$selection_options.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$selection_options.d.ts","sourceRoot":"","sources":["../../../src/type_plus/branch/$selection_options.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC/B;;;;;;;;;OASG;IACH,SAAS,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAA;IAC9C,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,KAAK,CAAC,EAAE,OAAO,CAAA;CACf,CAAA"}

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

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

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

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

package/cjs/undefined/has_undefined.d.ts

@@ -0,0 +1,43 @@
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+import type { IsUndefined } from './is_undefined.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is `undefined` or an union with `undefined`.
+ *
+ * @example
+ * ```ts
+ * type R = HasUndefined<undefined> // true
+ * type R = HasUndefined<undefined | 1> // true
+ *
+ * type R = HasUndefined<number> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `undefined` or an union with `undefined`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = HasUndefined<undefined> // undefined
+ * type R = HasUndefined<undefined | 1> // undefined | 1
+ *
+ * type R = HasUndefined<number> // never
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = HasUndefined<undefined, $SelectionBranch> // $Then
+ * type R = HasUndefined<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type HasUndefined<T, $O extends $SelectionOptions = {}> = $ResolveBranch<T, $O, [
+    IsUndefined<T> extends false ? $Else : $Then
+]>;
+//# sourceMappingURL=has_undefined.d.ts.map