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

package/src/undefined/is_undefined.ts

@@ -1,9 +1,15 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js'
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js'
+import type { $Else, $Selection } from '../$type/branch/$selection.js'
+import type { $Distributive } from '../$type/distributive/$distributive.js'
+import type { $Exact } from '../$type/exact/$exact.js'
+import type { $Any } from '../$type/special/$any.js'
+import type { $Never } from '../$type/special/$never.js'
+import type { $Special } from '../$type/special/$special.js'
+import type { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
+import type { $MergeOptions } from '../$type/utils/$merge_options.js'
 import type { Assignable } from '../predicates/assignable.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $MergeOptions } from '../type_plus/$merge_options.js'
-import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else } from '../type_plus/branch/$selection.js'
 
 /**
  * 🎭 *predicate*
@@ -55,20 +61,23 @@ import type { $Else } from '../type_plus/branch/$selection.js'
  * type R = IsUndefined<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsUndefined<T, $O extends IsUndefined.$Options = {}> = $SpecialType<
+export type IsUndefined<T, $O extends IsUndefined.$Options = {}> = $Special<
 	T,
 	$MergeOptions<
 		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>
+			$then: $ResolveBranch<$O, [$Else]>
 			$else: IsUndefined.$<T, $O>
 		}
 	>
 >
 
 export namespace IsUndefined {
-	export type $Options = $Equality.$Options
-	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
+	export type $Options = $Selection.Options &
+		$Distributive.Options &
+		$Exact.Options &
+		$InputOptions<$Any | $Unknown | $Never | $Void>
+	export type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>
 
 	/**
 	 * 🧰 *type util*

package/src/unknown/is_not_unknown.ts

@@ -1,10 +1,10 @@
-import type { $Any } from '../any/any.js'
-import type { $Never } from '../never/never.js'
-import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $InputOptions } from '../type_plus/branch/$input_options.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js'
-import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js'
+import type { $InputOptions } from '../$type/branch/$input_options.js'
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js'
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js'
+import type { $Any } from '../$type/special/$any.js'
+import type { $Never } from '../$type/special/$never.js'
+import type { $Special } from '../$type/special/$special.js'
+import type { $Void } from '../$type/special/$void.js'
 
 /**
  * 🎭 *predicate*
@@ -41,17 +41,18 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsNotUnknown<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotUnknown<T, $O extends IsNotUnknown.$Options = {}> = $SpecialType<
+export type IsNotUnknown<T, $O extends IsNotUnknown.$Options = {}> = $Special<
 	T,
 	{
-		$any: $ResolveBranch<T, $O, [$Any, $Then]>
-		$unknown: $ResolveBranch<T, $O, [$Else]>
-		$never: $ResolveBranch<T, $O, [$Never, $Then]>
-		$else: $ResolveBranch<T, $O, [$Then]>
+		$any: $ResolveBranch<$O, [$Any, $Then], T>
+		$unknown: $ResolveBranch<$O, [$Else]>
+		$never: $ResolveBranch<$O, [$Never, $Then], T>
+		$void: $ResolveBranch<$O, [$Void, $Then], T>
+		$else: $ResolveBranch<$O, [$Then], T>
 	}
 >
 
 export namespace IsNotUnknown {
-	export type $Options = $SelectionOptions & $InputOptions<$Any | $Never>
-	export type $Branch = $SelectionBranch
+	export type $Options = $Selection.Options & $InputOptions<$Any | $Never>
+	export type $Branch = $Selection.Branch
 }

package/src/unknown/is_unknown.ts

@@ -1,10 +1,10 @@
-import type { $Any } from '../any/any.js'
-import type { $Never } from '../never/never.js'
-import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $InputOptions } from '../type_plus/branch/$input_options.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js'
-import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js'
+import type { $InputOptions } from '../$type/branch/$input_options.js'
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js'
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js'
+import type { $Any } from '../$type/special/$any.js'
+import type { $Never } from '../$type/special/$never.js'
+import type { $Special } from '../$type/special/$special.js'
+import type { $Void } from '../$type/special/$void.js'
 
 /**
  * 🎭 *predicate*
@@ -41,17 +41,18 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsUnknown<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsUnknown<T, $O extends IsUnknown.$Options = {}> = $SpecialType<
+export type IsUnknown<T, $O extends IsUnknown.$Options = {}> = $Special<
 	T,
 	{
-		$any: $ResolveBranch<T, $O, [$Any, $Else]>
-		$unknown: $ResolveBranch<T, $O, [$Then]>
-		$never: $ResolveBranch<T, $O, [$Never, $Else]>
-		$else: $ResolveBranch<T, $O, [$Else]>
+		$any: $ResolveBranch<$O, [$Any, $Else]>
+		$never: $ResolveBranch<$O, [$Never, $Else]>
+		$unknown: $ResolveBranch<$O, [$Then], T>
+		$void: $ResolveBranch<$O, [$Void, $Else]>
+		$else: $ResolveBranch<$O, [$Else]>
 	}
 >
 
 export namespace IsUnknown {
-	export type $Options = $SelectionOptions & $InputOptions<$Any | $Never>
-	export type $Branch = $SelectionBranch
+	export type $Options = $Selection.Options & $InputOptions<$Any | $Never>
+	export type $Branch = $Selection.Branch
 }

package/src/unknown/not_unknown_or.ts

@@ -1,5 +1,5 @@
+import type { $Unknown } from '../$type/special/$unknown.js'
 import type { IsUnknown } from './is_unknown.js'
-import type { $Unknown } from './unknown.js'
 
 /**
  * 🌪️ *filter*

package/src/utils/Widen.ts

@@ -1,5 +1,12 @@
 /**
- * Widen scalar types from literals to their parent types.
- * Borrow from `typical`
+ * ⚗️ *transform*
+ *
+ * Widen literal types to their respective parent types.
+ *
+ * ```ts
+ * type R = Widen<1> // number
+ * type R = Widen<true> // boolean
+ * type R = Widen<'a'> // string
+ * ```
  */
 export type Widen<T> = T extends boolean ? boolean : T extends number ? number : T extends string ? string : T

package/src/utils/excessive.ts

@@ -0,0 +1,11 @@
+/**
+ * 🧰 *type util*
+ *
+ * A type that causes the error:
+ *
+ * `Type instantiation is excessively deep and possibly infinite.ts(2589)`
+ *
+ * This is used interally to test type path execution.
+ * It is not exported and likely not useful in real world.
+ */
+export type Excessive<T = any> = T extends any ? Excessive<T> : never

package/src/{type → utils}/no_infer.ts

@@ -1,6 +1,6 @@
+import type { $Selection } from '../$type/branch/$selection.js'
+import type { Or } from '../logical/logical.js'
 import type { IsNull } from '../null/is_null.js'
-import type { Or } from '../predicates/logical.js'
-import type { $SelectionPredicate } from '../type_plus/branch/$selection.js'
 import type { IsUndefined } from '../undefined/is_undefined.js'
 
 /**
@@ -8,7 +8,9 @@ import type { IsUndefined } from '../undefined/is_undefined.js'
  *
  * 🦴 *utilities*
  *
- * @ajafff original version author
+ * @deprecated 💀 **deprecated since 8.0.0**: use `NoInfer` from TypeScript 5.4 instead
+ *
+ * @author original version author @ajafff
  * @see https://github.com/microsoft/TypeScript/issues/14829#issuecomment-298425341
  *
  * @example
@@ -21,8 +23,12 @@ import type { IsUndefined } from '../undefined/is_undefined.js'
  * assertEqual(123, 'abc') // Error
  * assertEqual({ x: 1 }, { x: 1, y: 2 }) // Error
  * ```
- *
- * A build-in `NoInfer` is coming soon.
- * @see https://github.com/microsoft/TypeScript/pull/52968
  */
-export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T, $SelectionPredicate>, T, T & {}>
+export type NoInfer<T> = Or<
+	IsNull<T>,
+	IsUndefined<T, $Selection.Predicate>,
+	{
+		$then: T
+		$else: T & {}
+	}
+>

package/src/utils/readme.md

@@ -0,0 +1,17 @@
+# Utilities
+
+## [`NoInfer`](./no_infer.ts)
+
+💀 **deprecated 8.0.0**: use the built-in `NoInfer` from TypeScript 5.4 instead.
+
+`NoInfer<T>` is a type to prevent type inference.
+
+```ts
+import { type NoInfer } from 'type-plus'
+
+ function assertEqual<T>(a: T, b: NoInfer<T>) {
+	 return a === b
+ }
+
+ function stub<T>(v: RecursivePartial<NoInfer<T>>): T { return v }
+```

package/src/void/is_not_void.ts

@@ -1,9 +1,15 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js'
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js'
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js'
+import type { $Distributive } from '../$type/distributive/$distributive.js'
+import type { $Exact } from '../$type/exact/$exact.js'
+import type { $Any } from '../$type/special/$any.js'
+import type { $Never } from '../$type/special/$never.js'
+import type { $Special } from '../$type/special/$special.js'
+import type { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
+import type { $MergeOptions } from '../$type/utils/$merge_options.js'
 import type { NotAssignable } from '../predicates/not_assignable.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $MergeOptions } from '../type_plus/$merge_options.js'
-import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Then } from '../type_plus/branch/$selection.js'
 import type { IsUndefined } from '../undefined/is_undefined.js'
 
 /**
@@ -55,20 +61,24 @@ import type { IsUndefined } from '../undefined/is_undefined.js'
  * type R = IsNotVoid<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotVoid<T, $O extends IsNotVoid.$Options = {}> = $SpecialType<
+export type IsNotVoid<T, $O extends IsNotVoid.$Options = {}> = $Special<
 	T,
 	$MergeOptions<
 		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>
+			$then: $ResolveBranch<$O, [$Then], T>
+			$void: $ResolveBranch<$O, [$Void, $Else]>
 			$else: IsNotVoid.$<T, $O>
 		}
 	>
 >
 
 export namespace IsNotVoid {
-	export type $Options = $Equality.$Options
-	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
+	export type $Options = $Selection.Options &
+		$Distributive.Options &
+		$Exact.Options &
+		$InputOptions<$Any | $Unknown | $Never | $Void>
+	export type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>
 
 	/**
 	 * 🧰 *type util*
@@ -81,7 +91,7 @@ export namespace IsNotVoid {
 	export type $<T, $O extends $UtilOptions> = IsUndefined.$<
 		T,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>
+			$then: $ResolveBranch<$O, [$Then], T>
 			$else: NotAssignable.$<T, void, $O>
 		}
 	>

package/src/void/is_void.ts

@@ -1,9 +1,15 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js'
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js'
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js'
+import type { $Distributive } from '../$type/distributive/$distributive.js'
+import type { $Exact } from '../$type/exact/$exact.js'
+import type { $Any } from '../$type/special/$any.js'
+import type { $Never } from '../$type/special/$never.js'
+import type { $Special } from '../$type/special/$special.js'
+import type { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
+import type { $MergeOptions } from '../$type/utils/$merge_options.js'
 import type { Assignable } from '../predicates/assignable.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $MergeOptions } from '../type_plus/$merge_options.js'
-import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else } from '../type_plus/branch/$selection.js'
 import type { IsUndefined } from '../undefined/is_undefined.js'
 
 /**
@@ -56,20 +62,24 @@ import type { IsUndefined } from '../undefined/is_undefined.js'
  * type R = IsVoid<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsVoid<T, $O extends IsVoid.$Options = {}> = $SpecialType<
+export type IsVoid<T, $O extends IsVoid.$Options = {}> = $Special<
 	T,
 	$MergeOptions<
 		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>
+			$void: $ResolveBranch<$O, [$Void, $Then], T>
+			$then: $ResolveBranch<$O, [$Else]>
 			$else: IsVoid.$<T, $O>
 		}
 	>
 >
 
 export namespace IsVoid {
-	export type $Options = $Equality.$Options
-	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
+	export type $Options = $Selection.Options &
+		$Distributive.Options &
+		$Exact.Options &
+		$InputOptions<$Any | $Unknown | $Never | $Void>
+	export type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>
 
 	/**
 	 * 🧰 *type util*
@@ -82,7 +92,7 @@ export namespace IsVoid {
 	export type $<T, $O extends $UtilOptions> = IsUndefined.$<
 		T,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>
+			$then: $ResolveBranch<$O, [$Else]>
 			$else: Assignable.$<T, void, $O>
 		}
 	>

package/cjs/any/any.d.ts

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

package/cjs/any/any.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"any.d.ts","sourceRoot":"","sources":["../../src/any/any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;AAElC,yBAAiB,IAAI,CAAC;IACrB;;;;;;;;;;;;;;;;OAgBG;IACH,KAAY,QAAQ,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;IACzC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE,CAAA;CACpC"}

package/cjs/any/any.js.map

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

package/cjs/binary/Bit.d.ts

@@ -1,6 +0,0 @@
-export type Bit = 0 | 1;
-export type BitNot<X extends Bit> = X extends 0 ? 1 : 0;
-export type BitAnd<A extends Bit, B extends Bit> = A extends 1 ? (B extends 1 ? 1 : 0) : 0;
-export type BitOr<A extends Bit, B extends Bit> = A extends 1 ? 1 : B extends 1 ? 1 : 0;
-export type BitXor<A extends Bit, B extends Bit> = A extends 1 ? BitNot<B> : B;
-//# sourceMappingURL=Bit.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Bit.d.ts","sourceRoot":"","sources":["../../src/binary/Bit.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;AAEvB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvD,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;AAC1F,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}

package/cjs/binary/Bit.js.map

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

package/cjs/binary/index.d.ts

@@ -1,3 +0,0 @@
-export * as B from './_binary.js';
-export * as Bit from './_binary.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/binary/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}

package/cjs/binary/index.js

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

package/cjs/binary/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/binary/index.ts"],"names":[],"mappings":";;;AAAA,oCAAiC;AACjC,sCAAmC"}

package/cjs/never/never.d.ts

@@ -1,75 +0,0 @@
-import type { $Branch } from '../type_plus/branch/$branch.js';
-/**
- * 🧰 *type util*
- *
- * A special branch type to indicate the type is `never`.
- */
-export type $Never = $Branch<'$never'>;
-export declare namespace $Never {
-    /**
-     * 🧰 *type util*
-     *
-     * `$Never.$Options` enables customizing the behavior of the `$never` branch.
-     *
-     * The `$never` branch is used to handle when the input type is `never`.
-     *
-     * @example
-     * ```ts
-     * type YourType<
-     *   T,
-     *   $Options extends YourType.$Options = YourType.$Default
-     * > = ...
-     *
-     * namespace YourType {
-     *   export type $Options = $Never.$Options
-     *   export type $Branch = $Never.$Branch
-     * }
-     * ```
-     */
-    type $Options = {
-        $never?: unknown;
-    };
-    /**
-     * 🧰 *type util*
-     *
-     * `$Never.$Branch` is the branch option for the `$never` branch.
-     *
-     * It sets the value to `$Never`,
-     * so that the branch can be uniquely identified and handled.
-     *
-     * Use this to allow the consumer to customize the behavior of your type.
-     *
-     * @example
-     * ```ts
-     * type YourType<T, $O extends $NeverOptions> = NeverType<T> extends infer R
-     *   ? R extends $Never
-     *     ? $ResolveOptions<[$O['$never'], never]>
-     *     : HandleOtherBranches<R> // R is narrowed
-     *   : never
-     *
-     * type R = YourType<T, $Never.$Branch> extends $Never ? HandleNever : HandleOthers
-     * ```
-     */
-    type $Branch = {
-        $never: $Never;
-    };
-    /**
-     * 🧰 *type util*
-     *
-     * Default option for the `$never` branch.
-     *
-     * Unsurprisingly, defaulting `$never` to `never`.
-     */
-    type $Default = {
-        $never: never;
-    };
-}
-/**
- * 🧰 *type util*
- *
- * `$NotNever` is a special branch type to indicate the type is not `never`.
- *
- * It is used in [`NeverType`](./never_type.ts).
- */
-export type $NotNever = $Branch<'$not_never'>;
-//# sourceMappingURL=never.d.ts.map

package/cjs/never/never.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"never.d.ts","sourceRoot":"","sources":["../../src/never/never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;AAEtC,yBAAiB,MAAM,CAAC;IACvB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,KAAY,QAAQ,GAAG;QACtB,MAAM,CAAC,EAAE,OAAO,CAAA;KAChB,CAAA;IACD;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QACrB,MAAM,EAAE,MAAM,CAAA;KACd,CAAA;IAED;;;;;;OAMG;IACH,KAAY,QAAQ,GAAG;QACtB,MAAM,EAAE,KAAK,CAAA;KACb,CAAA;CACD;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA"}

package/cjs/never/never.js.map

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

package/cjs/predicates/logical.d.ts

@@ -1,5 +0,0 @@
-export type And<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true ? B extends true ? Then : Else : Else;
-export type Or<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true ? Then : B extends true ? Then : Else;
-export type Not<X extends boolean, Then = true, Else = false> = X extends true ? Else : Then;
-export type Xor<A extends boolean, B extends boolean, Then = true, Else = false> = A extends Then ? Not<B> : B extends true ? Then : Else;
-//# sourceMappingURL=logical.d.ts.map

package/cjs/predicates/logical.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"logical.d.ts","sourceRoot":"","sources":["../../src/predicates/logical.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAC9F,CAAC,SAAS,IAAI,GACb,IAAI,GACJ,IAAI,GACL,IAAI,CAAA;AAEP,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAC7F,IAAI,GACJ,CAAC,SAAS,IAAI,GACb,IAAI,GACJ,IAAI,CAAA;AAER,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;AAE5F,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,IAAI,GAC9F,GAAG,CAAC,CAAC,CAAC,GACN,CAAC,SAAS,IAAI,GACb,IAAI,GACJ,IAAI,CAAA"}

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

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

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

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

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

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

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

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

package/cjs/type_plus/$equality.js

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -1 +0,0 @@
-{"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.map

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

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

@@ -1 +0,0 @@
-{"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.map

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