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

package/{esm/type_plus → cjs/$type}/$resolve_options.d.ts

@@ -1,4 +1,4 @@
-import type { $InferError } from './$infer_error.js';
+import type { $InferError } from './errors/$infer_error.js';
 /**
  * 🧰 *type util*
  *
@@ -7,5 +7,5 @@ import type { $InferError } from './$infer_error.js';
  * 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>;
+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] extends [undefined] ? $ResolveOptions<U> : T : $InferError<'cannot [infer T, ...infer U] from', V>;
 //# sourceMappingURL=$resolve_options.d.ts.map

package/cjs/$type/$resolve_options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$resolve_options.d.ts","sourceRoot":"","sources":["../../src/$type/$resolve_options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAE3D;;;;;;;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,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GACtB,eAAe,CAAC,CAAC,CAAC,GAClB,CAAC,GACH,WAAW,CAAC,mCAAmC,EAAE,CAAC,CAAC,CAAA"}

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

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

package/cjs/$type/$type.d.ts

@@ -0,0 +1,34 @@
+/**
+ * A branded type to define unique types for type-level programming.
+ *
+ * It supports all primitive types and object types.
+ *
+ * When using object types, the type intersect with the specified type to give easy access to its properties.
+ *
+ * Internally, it uses the properties `_$type` and `_$value` to store the type and value.
+ * The type you provide should avoid specifying these properties.
+ *
+ * If needed, use `$O: { bare: true }` to avoid the intersection.
+ *
+ * @type V value
+ * @type $O options
+ *
+ * @since 8.0.0
+ */
+export type $Type<T extends string, V = unknown, $O extends {
+    bare: true;
+} | unknown = unknown> = $O extends {
+    bare: true;
+} ? $Type.$<T, V> : [V] extends [null] | [undefined] | [symbol] | [void] ? $Type.$<T, V> : $Type.$<T, V> & V;
+declare const _$type: '_$type';
+declare const _$value: '_$value';
+export declare namespace $Type {
+    type $TypeKey = '_$type';
+    type $ValueKey = '_$value';
+    type $<T extends string, V = unknown> = {
+        [_$type]: T;
+        [_$value]: V;
+    };
+}
+export {};
+//# sourceMappingURL=$type.d.ts.map

package/cjs/$type/$type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$type.d.ts","sourceRoot":"","sources":["../../src/$type/$type.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,EAAE,SAAS;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG,OAAO,GAAG,OAAO,IAAI,EAAE,SAAS;IAC5G,IAAI,EAAE,IAAI,CAAA;CACV,GACE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACb,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GACnD,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACb,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AAErB,OAAO,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAA;AAC9B,OAAO,CAAC,MAAM,OAAO,EAAE,SAAS,CAAA;AAEhC,yBAAiB,KAAK,CAAC;IACtB,KAAY,QAAQ,GAAG,QAAQ,CAAA;IAC/B,KAAY,SAAS,GAAG,SAAS,CAAA;IAEjC,KAAY,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI;QAC9C,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACX,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;KACZ,CAAA;CACD"}

package/cjs/{type_plus → $type}/$type.js.map

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

package/{esm/type_plus → cjs/$type}/branch/$branch.d.ts

@@ -11,7 +11,7 @@ import type { $Type } from '../$type.js';
  * type $Then = $Branch<'$then'>
  * type $Any = $Branch<'$any'>
  */
-export type $Branch<P extends `$${string}`> = $Type<'branch', P, P>;
+export type $Branch<P extends `$${string}`> = $Type<'branch', P>;
 /**
  * 🧰 *type util*
  *
@@ -22,8 +22,8 @@ export type $Branch<P extends `$${string}`> = $Type<'branch', P, P>;
  * ```
  */
 export type $BranchOptions<$B extends $Branch<any>> = {
-    [k in $B['value']]: $B extends {
-        value: k;
+    [k in $B[$Type.$ValueKey]]: $B extends {
+        _$value: k;
     } ? $B : never;
 };
 //# sourceMappingURL=$branch.d.ts.map

package/cjs/$type/branch/$branch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$branch.d.ts","sourceRoot":"","sources":["../../../src/$type/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,CAAC,CAAA;AAEhE;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI;KACpD,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS;QAAE,OAAO,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,GAAG,KAAK;CAClE,CAAA"}

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

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

package/{esm/type_plus → cjs/$type}/branch/$input_options.d.ts

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

package/cjs/$type/branch/$input_options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$input_options.d.ts","sourceRoot":"","sources":["../../../src/$type/branch/$input_options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACxC,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,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO;CAAE,CAAA"}

package/cjs/$type/branch/$input_options.js.map

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

package/cjs/$type/branch/$resolve_branch.d.ts

@@ -0,0 +1,22 @@
+import type { $Type } from '../$type.js';
+import type { $InferError } from '../errors/$infer_error.js';
+import type { $Branch } from './$branch.js';
+import type { $Else, $Then } from './$selection.js';
+/**
+ * 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 The input option. It should be a Record, not any, unknown, or never
+ * @typeparam $B Tuple of branches with at least one entry.
+ * @typeparam D Default value to return if no branch is found.
+ */
+export type $ResolveBranch<$O extends Record<string, any>, $Branches extends Array<$Branch<any> | unknown>, D = unknown> = $Branches extends [infer B] ? _Last<$O, B, D> : $Branches extends [infer B, ...infer Rest extends Array<$Branch<any> | unknown>] ? _<$O, B, $ResolveBranch<$O, Rest, D>> : $InferError<'$Branches must have at least one entry'>;
+type _<$O extends Record<string, any>, $B, D> = $B extends $Branch<any> ? $B[$Type.$ValueKey] extends keyof $O ? $O[$B[$Type.$ValueKey]] : D : D;
+type _Last<$O extends Record<string, any>, $B, D> = $B extends $Then ? '$then' extends keyof $O ? $O['$then'] : $O['selection'] extends 'filter' ? D : true : $B extends $Else ? '$else' extends keyof $O ? $O['$else'] : $O['selection'] extends 'filter' ? never : false : _<$O, $B, D>;
+export {};
+//# sourceMappingURL=$resolve_branch.d.ts.map

package/cjs/$type/branch/$resolve_branch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$resolve_branch.d.ts","sourceRoot":"","sources":["../../../src/$type/branch/$resolve_branch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEnD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,CACzB,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC9B,SAAS,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,EAC/C,CAAC,GAAG,OAAO,IACR,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC5B,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,GACf,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAC/E,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,GACrC,WAAW,CAAC,wCAAwC,CAAC,CAAA;AAEzD,KAAK,CAAC,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GACpE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,MAAM,EAAE,GACnC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GACvB,CAAC,GACF,CAAC,CAAA;AACJ,KAAK,KAAK,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,GACjE,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,CAAC,GACD,IAAI,GACN,EAAE,SAAS,KAAK,GACf,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,KAAK,GACL,KAAK,GACP,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA"}

package/cjs/$type/branch/$resolve_branch.js.map

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

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

@@ -0,0 +1,161 @@
+import type { $Branch } from './$branch.js';
+export type $Then = $Branch<'$then'>;
+export type $Else = $Branch<'$else'>;
+declare const $then: '$then';
+declare const $else: '$else';
+export declare namespace $Then {
+    type $Key = '$then';
+    type $Branch = {
+        [$then]: $Then;
+    };
+}
+export declare namespace $Else {
+    type $Key = '$else';
+    type $Branch = {
+        [$else]: $Else;
+    };
+}
+export declare namespace $Selection {
+    /**
+     * 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
+     * }
+     * ```
+     */
+    type Options = {
+        /**
+         * 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;
+    };
+    type $BaseOptions = {
+        $then?: unknown;
+        $else?: unknown;
+    };
+    /**
+     * Invert the selection branch.
+     *
+     * i.e.
+     * - `$Then` -> `$Else`
+     * - `$Else` -> `$Then`
+     */
+    type Invert<Branch extends $Then | $Else> = Branch extends $Then ? $Else : $Then;
+    /**
+     * 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
+     * ```
+     */
+    type Branch<$O extends $Selection.Options = {}> = {
+        [$then]: $Then;
+        [$else]: $Else;
+    } & $O;
+    /**
+     * 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
+     * ```
+     */
+    type Filter<T> = {
+        selection: 'filter';
+        [$then]: T;
+        [$else]: never;
+    };
+    /**
+     * 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
+     * ```
+     */
+    type Predicate = {
+        [$then]: true;
+        [$else]: false;
+    };
+    /**
+     * Flip the selection options.
+     *
+     * @example
+     * ```ts
+     * type IsBoolean<T, $Options = $SelectionOptions> = ...
+     *
+     * type IsNotBoolean<T, $Options = $SelectionOptions> = IsBoolean<T, $FlipSelection<$Options>>
+     * ```
+     */
+    type Flip<$Options extends $Selection.Options> = {
+        [$then]: $Options['$else'];
+        [$else]: $Options['$then'];
+    } & Omit<$Options, '$then' | '$else'>;
+}
+export {};
+//# sourceMappingURL=$selection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"$selection.d.ts","sourceRoot":"","sources":["../../../src/$type/branch/$selection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;AACpC,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;AAEpC,OAAO,CAAC,MAAM,KAAK,EAAE,OAAO,CAAA;AAC5B,OAAO,CAAC,MAAM,KAAK,EAAE,OAAO,CAAA;AAE5B,yBAAiB,KAAK,CAAC;IACtB,KAAY,IAAI,GAAG,OAAO,CAAA;IAC1B,KAAY,OAAO,GAAG;QACrB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KACd,CAAA;CACD;AAED,yBAAiB,KAAK,CAAC;IACtB,KAAY,IAAI,GAAG,OAAO,CAAA;IAC1B,KAAY,OAAO,GAAG;QACrB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KACd,CAAA;CACD;AAED,yBAAiB,UAAU,CAAC;IAC3B;;;;;;;;;;;;;;;;;;OAkBG;IACH,KAAY,OAAO,GAAG;QACrB;;;;;;;;;WASG;QACH,SAAS,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAA;QAC9C,KAAK,CAAC,EAAE,OAAO,CAAA;QACf,KAAK,CAAC,EAAE,OAAO,CAAA;KACf,CAAA;IAED,KAAY,YAAY,GAAG;QAC1B,KAAK,CAAC,EAAE,OAAO,CAAA;QACf,KAAK,CAAC,EAAE,OAAO,CAAA;KACf,CAAA;IAED;;;;;;OAMG;IACH,KAAY,MAAM,CAAC,MAAM,SAAS,KAAK,GAAG,KAAK,IAAI,MAAM,SAAS,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;IAEvF;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,KAAY,MAAM,CAAC,EAAE,SAAS,UAAU,CAAC,OAAO,GAAG,EAAE,IAAI;QACxD,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;QACd,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KACd,GAAG,EAAE,CAAA;IAEN;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,MAAM,CAAC,CAAC,IAAI;QACvB,SAAS,EAAE,QAAQ,CAAA;QACnB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACV,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KACd,CAAA;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,KAAY,SAAS,GAAG;QACvB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAA;QACb,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KACd,CAAA;IAED;;;;;;;;;OASG;IACH,KAAY,IAAI,CAAC,QAAQ,SAAS,UAAU,CAAC,OAAO,IAAI;QACvD,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QAC1B,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;KAC1B,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,CAAA;CACrC"}

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

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

package/cjs/$type/distributive/$distributive.d.ts

@@ -0,0 +1,27 @@
+import type { $ResolveOptions } from '../$resolve_options.js';
+import type { $InputOptions } from '../branch/$input_options.js';
+import type { $Else, $Then } from '../branch/$selection.js';
+export declare namespace $Distributive {
+    /**
+     * Options for controlling if the type is distributive.
+     */
+    type Options = {
+        distributive?: boolean | undefined;
+    };
+    /**
+     * Default options for `distributive` behavior.
+     *
+     * By default it is `true`.
+     */
+    type Default = {
+        distributive: true;
+    };
+    /**
+     * Parse the options for `distributive`.
+     */
+    type Parse<$Options extends Options, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[
+        $Options['distributive'],
+        Default['distributive']
+    ]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
+}
+//# sourceMappingURL=$distributive.d.ts.map

package/cjs/$type/distributive/$distributive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$distributive.d.ts","sourceRoot":"","sources":["../../../src/$type/distributive/$distributive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAE3D,yBAAiB,aAAa,CAAC;IAC9B;;OAEG;IACH,KAAY,OAAO,GAAG;QACrB,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;KAClC,CAAA;IAED;;;;OAIG;IACH,KAAY,OAAO,GAAG;QACrB,YAAY,EAAE,IAAI,CAAA;KAClB,CAAA;IAED;;OAEG;IACH,KAAY,KAAK,CAAC,QAAQ,SAAS,OAAO,EAAE,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAC1G;QAAC,QAAQ,CAAC,cAAc,CAAC;QAAE,OAAO,CAAC,cAAc,CAAC;KAAC,CACnD,SAAS,IAAI,GACX,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA;CACT"}

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

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

package/cjs/$type/errors/$error.d.ts

@@ -0,0 +1,23 @@
+import type { $Type } from '../$type.js';
+/**
+ * 🧰 *type util*
+ *
+ * A type-level error.
+ *
+ * This is analogous to the `Error` class in JavaScript.
+ *
+ * It can be used in type-level programming to represent an error with a message.
+ *
+ * @example
+ * ```ts
+ * type T = $Error<'error message'>
+ * type T = $Error<'error message', number>
+ * ```
+ *
+ * @since 8.0.0
+ */
+export type $Error<M extends string, T = unknown> = M extends any ? $Type<'error', {
+    message: M;
+    type: T;
+}> : never;
+//# sourceMappingURL=$error.d.ts.map

package/cjs/$type/errors/$error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$error.d.ts","sourceRoot":"","sources":["../../../src/$type/errors/$error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAExC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,GAAG,KAAK,CAAA"}

package/cjs/{type_plus → $type/errors}/$error.js.map

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

package/{esm/type_plus → cjs/$type/errors}/$infer_error.d.ts

@@ -1,21 +1,22 @@
-import type { $Type } from './$type.js';
+import type { $Error } from './$error.js';
 /**
- * 🧰 *type util*
- *
- * An error for unexpected failure of infer type.
+ * An error to indicate unexpected failure when inferring 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.
+ * This type can be use in the else case to indicate unexpected failure when inferring type.
  *
+ * @example
  * ```ts
  * type F<T> = T extends infer U extends V
  *   ? ...your type logic...
  *   : InferError<'some message', T>
  * ```
+ *
+ * @since 8.0.0
  */
-export type $InferError<M extends string, T = unknown> = M extends any ? $Type<'error', `Unable to infer: ${M}`, T> : never;
+export type $InferError<M extends string, T = unknown> = M extends any ? $Error<`Unable to infer: ${M}`, T> : never;
 //# sourceMappingURL=$infer_error.d.ts.map

package/cjs/$type/errors/$infer_error.d.ts.map

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

package/cjs/$type/errors/$infer_error.js.map

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

package/{esm/type → cjs/$type/errors}/failed.d.ts

@@ -1,5 +1,7 @@
 declare const uniSym: unique symbol;
 /**
+ * @deprecated **💀 deprecated since 8.0.0**: use `$Error` instead.
+ *
  * A failed type with message.
  *
  * This is analogous to the `Error` class in JavaScript.
@@ -17,6 +19,8 @@ export interface Failed<Msg extends string> {
     [uniSym]: Msg;
 }
 /**
+ * @deprecated **💀 deprecated since 8.0.0**: use `$Error` instead.
+ *
  * A failed type with message and one additional type.
  *
  * Use this to add a generic type to the failed type.

package/cjs/$type/errors/failed.d.ts.map

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

package/cjs/{type → $type/errors}/failed.js.map

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

package/cjs/$type/exact/$exact.d.ts

@@ -0,0 +1,27 @@
+import type { $ResolveOptions } from '../$resolve_options.js';
+import type { $InputOptions } from '../branch/$input_options.js';
+import type { $Else, $Then } from '../branch/$selection.js';
+export declare namespace $Exact {
+    /**
+     * Options for controlling if the type perform exact comparison.
+     */
+    type Options = {
+        exact?: boolean | undefined;
+    };
+    /**
+     * Default options for `exact` behavior.
+     *
+     * By default it is `false`.
+     */
+    type Default = {
+        exact: false;
+    };
+    /**
+     * Parse the options for `exact`.
+     */
+    type Parse<$Options extends Options, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<[
+        $Options['exact'],
+        Default['exact']
+    ]> extends true ? '$then' extends keyof $O ? $O['$then'] : true : '$else' extends keyof $O ? $O['$else'] : false;
+}
+//# sourceMappingURL=$exact.d.ts.map

package/cjs/$type/exact/$exact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$exact.d.ts","sourceRoot":"","sources":["../../../src/$type/exact/$exact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAE3D,yBAAiB,MAAM,CAAC;IACvB;;OAEG;IACH,KAAY,OAAO,GAAG;QACrB,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;KAC3B,CAAA;IAED;;;;OAIG;IACH,KAAY,OAAO,GAAG;QACrB,KAAK,EAAE,KAAK,CAAA;KACZ,CAAA;IAED;;OAEG;IACH,KAAY,KAAK,CAAC,QAAQ,SAAS,OAAO,EAAE,EAAE,SAAS,aAAa,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,eAAe,CAC1G;QAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC;KAAC,CACrC,SAAS,IAAI,GACX,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,IAAI,GACL,OAAO,SAAS,MAAM,EAAE,GACvB,EAAE,CAAC,OAAO,CAAC,GACX,KAAK,CAAA;CACT"}

package/cjs/{type_plus/branch → $type/exact}/$exact.js.map

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

package/cjs/$type/special/$any.d.ts

@@ -0,0 +1,36 @@
+import type { $Branch } from '../branch/$branch.js';
+/**
+ * Branch selector for type `any`.
+ */
+export type $Any = $Branch<'$any'>;
+declare const $any: '$any';
+export declare namespace $Any {
+    type $Key = '$any';
+    /**
+     * Options to specifically handles the `any` type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options extends $Any.$Options> = ...
+     * ```
+     */
+    type $Options = {
+        [$any]?: unknown;
+    };
+    /**
+     * Branch option to specifically handles the `any` type.
+     *
+     * Use this to finely customize the behavior of your type.
+     *
+     * ```ts
+     * type YourType<T, $Options extends $Any.Options> = ...
+     *
+     * type R = YourType<T, $Any.$Branch> extends $Any ? HandleAny : HandleOthers
+     * ```
+     */
+    type $Branch = {
+        [$any]: $Any;
+    };
+}
+export {};
+//# sourceMappingURL=$any.d.ts.map

package/cjs/$type/special/$any.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$any.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;AAElC,OAAO,CAAC,MAAM,IAAI,EAAE,MAAM,CAAA;AAE1B,yBAAiB,IAAI,CAAC;IACrB,KAAY,IAAI,GAAG,MAAM,CAAA;IACzB;;;;;;;OAOG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IAE3C;;;;;;;;;;OAUG;IACH,KAAY,OAAO,GAAG;QAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;KAAE,CAAA;CACtC"}

package/cjs/{any/any.js → $type/special/$any.js}

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

package/cjs/$type/special/$any.js.map

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

package/cjs/$type/special/$never.d.ts

@@ -0,0 +1,52 @@
+import type { $Branch } from '../branch/$branch.js';
+/**
+ * Branch selector for type `never`.
+ */
+export type $Never = $Branch<'$never'>;
+declare const $never: '$never';
+export declare namespace $Never {
+    type $Key = '$never';
+    /**
+     * Options to specifically handles the `never` type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options extends $Never.$Options> = ...
+     * ```
+     */
+    type $Options = {
+        [$never]?: unknown;
+    };
+    /**
+     * Branch option to specifically handles the `never` type.
+     *
+     * Use this to finely customize the behavior of your type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $Options $Never.$Options> = ...
+     *
+     * type R = YourType<T, $Never.$Branch> extends $Never ? HandleNever : HandleOthers
+
+     * ```
+     */
+    type $Branch = {
+        [$never]: $Never;
+    };
+    /**
+     * Default option for the `$never` branch.
+     *
+     * Unsurprisingly, defaulting `$never` to `never`.
+     */
+    type $Default = {
+        [$never]: never;
+    };
+}
+/**
+ * Branch selector for type is not `never`.
+ *
+ * It is used in [`IsNever`](../../never/is_never.ts).
+ */
+export type $NotNever = $Branch<'$not_never'>;
+export {};
+//# sourceMappingURL=$never.d.ts.map

package/cjs/$type/special/$never.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$never.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;AAEtC,OAAO,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAA;AAE9B,yBAAiB,MAAM,CAAC;IACvB,KAAY,IAAI,GAAG,QAAQ,CAAA;IAE3B;;;;;;;OAOG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IAE7C;;;;;;;;;;;;OAYG;IACH,KAAY,OAAO,GAAG;QAAE,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAE1C;;;;OAIG;IACH,KAAY,QAAQ,GAAG;QAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;KAAE,CAAA;CAC1C;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA"}

package/cjs/$type/special/$never.js

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

package/cjs/$type/special/$never.js.map

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

package/cjs/$type/special/$special.d.ts

@@ -0,0 +1,31 @@
+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, $Selection, $Then } from '../branch/$selection.js';
+import type { $Any } from './$any.js';
+import type { $Never } from './$never.js';
+import type { $Unknown } from './$unknown.js';
+import type { $Void } from './$void.js';
+/**
+ * A type to handle special types: `any`, `unknown`, `never`, and `void`.
+ *
+ * @example
+ * ```ts
+ * type YourType<T, $Options extends $Special.Options> = Special<T,
+ * {
+ *   $any: $ResolveBranch<$Options, [$Any, ...], T>
+ *   $unknown: $ResolveBranch<$Options, [$Unknown, ...], T>
+ *   $never: $ResolveBranch<$Options, [$Never, ...], T>
+ *   $void: $ResolveBranch<$Options, [$Void, ...], T>
+ *   $then: $ResolveBranch<$Options, [...], T>
+ *   $else: $ResolveBranch<$Options, [...], T>
+ * }>
+ *
+ * @since 🏷️ 8.0.0
+ */
+export type $Special<T, $O extends $Special.Options = {}> = 0 extends 1 & T ? $ResolveBranch<$O, [$Any, $Then], T> : [T, unknown] extends [unknown, T] ? $ResolveBranch<$O, [$Unknown, $Then], T> : [T, never] extends [never, T] ? $ResolveBranch<$O, [$Never, $Then], T> : [T, void] extends [void, T] ? $ResolveBranch<$O, [$Void, $Then], T> : $ResolveBranch<$O, [$Else]>;
+export declare namespace $Special {
+    type Options = $Selection.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type Branch = $Selection.Branch & $BranchOptions<$Any | $Unknown | $Never | $Void>;
+}
+//# sourceMappingURL=$special.d.ts.map

package/cjs/$type/special/$special.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$special.d.ts","sourceRoot":"","sources":["../../../src/$type/special/$special.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAClE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AACvE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,OAAO,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GACxE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACpC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAChC,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACxC,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACtC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAC1B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GACrC,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAEjC,yBAAiB,QAAQ,CAAC;IACzB,KAAY,OAAO,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAC1F,KAAY,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,cAAc,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;CACzF"}