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

package/src/bigint/is_not_bigint.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -79,7 +79,7 @@ export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<
 >
 
 export namespace IsNotBigint {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -93,7 +93,7 @@ export namespace IsNotBigint {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _SN<T, $O> }>
 		: NotAssignable.$<T, bigint, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _SD<T, $O extends $Options> = T extends bigint & infer U
 		? U extends bigint

package/src/boolean/is_boolean.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -70,7 +70,7 @@ export type IsBoolean<T, $O extends IsBoolean.$Options = {}> = $SpecialType<
 	>
 >
 export namespace IsBoolean {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -81,10 +81,10 @@ export namespace IsBoolean {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, boolean, $O>
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _SD<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R
 		? ['aBcD' | 'AbCd' | 'abcd'] extends [R]

package/src/boolean/is_not_boolean.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -72,7 +72,7 @@ export type IsNotBoolean<T, $O extends IsNotBoolean.$Options = {}> = $SpecialTyp
 >
 
 export namespace IsNotBoolean {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -86,7 +86,7 @@ export namespace IsNotBoolean {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, boolean, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R
 		? ['aBcD' | 'AbCd' | 'abcd'] extends [R]

package/src/index.ts

@@ -73,11 +73,11 @@ export type * from './numeric/is_numeric.js'
 export type * from './numeric/is_positive.js'
 export * as NumericPlus from './numeric/numeric_plus.js'
 export type * from './numeric/numeric_type.js'
-export type { Required, RequiredExcept, RequiredPick } from './object/Required.js'
 export * from './object/index.js'
 export type * from './object/is_not_object.js'
 export type * from './object/is_object.js'
 export * as ObjectPlus from './object/object_plus.js'
+export type { Required, RequiredExcept, RequiredPick } from './object/Required.js'
 export type * from './predicates/assignable.js'
 export * from './predicates/index.js'
 export type * from './predicates/not_assignable.js'
@@ -125,6 +125,7 @@ export type * from './type_plus/branch/$selection_options.js'
 export type * from './undefined/has_undefined.js'
 export type * from './undefined/is_not_undefined.js'
 export type * from './undefined/is_undefined.js'
+export type * from './union/sub_union.js'
 export type { IsUnion, UnionType } from './union/union.js'
 export type { UnionKeys } from './union_keys.js'
 export type * from './unknown/is_not_unknown.js'

package/src/number/is_not_number.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -69,7 +69,7 @@ export type IsNotNumber<T, $O extends IsNotNumber.$Options = {}> = $SpecialType<
 >
 
 export namespace IsNotNumber {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -83,7 +83,7 @@ export namespace IsNotNumber {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, number, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 	export type _D<T, $O extends IsNotNumber.$Options> = T extends number & infer U
 		? U extends number
 			? $ResolveBranch<T, $O, [$Then]>

package/src/number/is_number.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -72,7 +72,7 @@ export type IsNumber<T, $O extends IsNumber.$Options = {}> = $SpecialType<
 >
 
 export namespace IsNumber {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -86,7 +86,7 @@ export namespace IsNumber {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, number, $O>
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $UtilOptions> = T extends number & infer U
 		? U extends number

package/src/object/adjust_exact_optional_props.ts

@@ -0,0 +1,14 @@
+import type { AnyRecord } from './any_record.js'
+import type { OptionalKeys } from './optional_key.js'
+import type { RequiredKeys } from './RequiredKeys.js'
+
+/**
+ * ⚗️ *transform*
+ *
+ * Adjust `T` to work with compiler flag [exactOptionalPropertyTypes](https://www.typescriptlang.org/tsconfig/#exactOptionalPropertyTypes).
+ *
+ * It adds `undefined` to optional properties.
+ */
+export type AdjustExactOptionalProps<T extends AnyRecord> = T extends object
+	? { [K in OptionalKeys<T>]?: T[K] | undefined } & { [K in RequiredKeys<T>]: T[K] }
+	: never

package/src/object/index.ts

@@ -1,3 +1,4 @@
+export type * from './adjust_exact_optional_props.js'
 export type { ANotB, BNotA } from './ANotB.js'
 export type { AnyRecord } from './any_record.js'
 export * from './everyKey.js'

package/src/object/is_not_object.ts

@@ -5,7 +5,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -100,7 +100,7 @@ export type IsNotObject<T, $O extends IsNotObject.$Options = {}> = $SpecialType<
 	>
 >
 export namespace IsNotObject {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -111,10 +111,10 @@ export namespace IsNotObject {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, object, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $UtilOptions> = T extends object
 		? IdentityEqual<

package/src/object/is_object.ts

@@ -5,7 +5,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -88,7 +88,7 @@ export type IsObject<T, $O extends IsObject.$Options = {}> = $SpecialType<
 >
 
 export namespace IsObject {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -99,10 +99,10 @@ export namespace IsObject {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, object, $O>
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $UtilOptions> = T extends object
 		? IdentityEqual<

package/src/string/is_not_string.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -69,7 +69,7 @@ export type IsNotString<T, $O extends IsNotString.$Options = {}> = $SpecialType<
 >
 
 export namespace IsNotString {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -83,7 +83,7 @@ export namespace IsNotString {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, string, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $SelectionOptions> = T extends string & infer U
 		? U extends string

package/src/string/is_not_string_literal.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -80,7 +80,7 @@ export type IsNotStringLiteral<T, $O extends IsNotStringLiteral.$Options = {}> =
 >
 
 export namespace IsNotStringLiteral {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -91,11 +91,11 @@ export namespace IsNotStringLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _ED<T, $O>; $else: _EN<T, $O> }>
 		: $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Then]>
 

package/src/string/is_string.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -68,7 +68,7 @@ export type IsString<T, $O extends IsString.$Options = {}> = $SpecialType<
 >
 
 export namespace IsString {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -83,7 +83,7 @@ export namespace IsString {
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, string, $O>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $UtilOptions> = T extends string & infer U
 		? U extends string

package/src/string/is_string_literal.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -80,7 +80,7 @@ export type IsStringLiteral<T, $O extends IsStringLiteral.$Options = {}> = $Spec
 >
 
 export namespace IsStringLiteral {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -91,11 +91,11 @@ export namespace IsStringLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _ED<T, $O>; $else: _EN<T, $O> }>
 		: $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Else]>
 

package/src/type_plus/branch/$exact.ts

@@ -1,38 +1,28 @@
 import type { $ResolveOptions } from '../$resolve_options.js'
-import type { $Branch } from './$branch.js'
 import type { $InputOptions } from './$input_options.js'
 import type { $Else, $Then } from './$selection.js'
 
 /**
  * 🧰 *type util*
  *
- * Branch to handle exact comparison.
+ * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
+ *
+ * The `$exact` branch is used to handle when it is an exact comparison.
  */
-export type $Exact = $Branch<'$exact'>
-
-export namespace $Exact {
-	/**
-	 * 🧰 *type util*
-	 *
-	 * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
-	 *
-	 * The `$exact` branch is used to handle when it is an exact comparison.
-	 */
-	export type $Options = {
-		exact?: boolean | undefined
-	}
-
-	export type $Default = {
-		exact: false
-	}
+export type $ExactOptions = {
+	exact?: boolean | undefined
+}
 
-	export type $IsExact<$Opt extends $Options, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<
-		[$Opt['exact'], $Exact.$Default]
-	> extends true
-		? '$then' extends keyof $O
-			? $O['$then']
-			: true
-		: '$else' extends keyof $O
-			? $O['$else']
-			: false
+export type $ExactDefault = {
+	exact: false
 }
+
+export type $IsExact<$Opt extends $ExactOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<
+	[$Opt['exact'], $ExactDefault]
+> extends true
+	? '$then' extends keyof $O
+		? $O['$then']
+		: true
+	: '$else' extends keyof $O
+		? $O['$else']
+		: false

package/src/type_plus/branch/$select.ts

@@ -1,9 +1,9 @@
+import type { $SpecialType } from '../$special_type.js'
 import type { $Any } from '../../any/any.js'
 import type { $Never } from '../../never/never.js'
 import type { $Unknown } from '../../unknown/unknown.js'
-import type { $SpecialType } from '../$special_type.js'
 import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js'
-import type { $Exact } from './$exact.js'
+import type { $ExactOptions } from './$exact.js'
 import type { $InputOptions } from './$input_options.js'
 import type { $IsDistributive } from './$is_distributive.js'
 import type { $ResolveBranch } from './$resolve_branch.js'
@@ -75,7 +75,7 @@ export namespace $Select {
 	export type $Options = $SelectionOptions &
 		$DistributiveOptions &
 		$InputOptions<$Any | $Unknown | $Never> &
-		$Exact.$Options
+		$ExactOptions
 	export type $Default = $SelectionPredicate & $DistributiveDefault
 	export type $Branch<$O extends $DistributiveOptions = $DistributiveDefault> = $SelectionBranch & $O
 	export type _<T, U, $O extends $Select.$Options> = $IsDistributive<$O> extends true ? _D<T, U, $O> : _N<T, U, $O>

package/src/union/sub_union.ts

@@ -0,0 +1,5 @@
+/**
+ * 🧰 *type util*
+ * Define a union type that is a subset of union type.
+ */
+export type SubUnion<U, T extends U> = T