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

package/src/tuple/tuple_plus.filter.ts

@@ -11,19 +11,12 @@
  */
 export type Filter<T extends readonly unknown[], Criteria = true> = T['length'] extends 0
 	? []
-	: (
-		T extends readonly [infer Head, ...infer Tail]
-		? (
-			Tail['length'] extends 0
-			? (
-				Head extends Criteria
+	: T extends readonly [infer Head, ...infer Tail]
+		? Tail['length'] extends 0
+			? Head extends Criteria
 				? [Head]
-				: [])
-			: (
-				Head extends Criteria
+				: []
+			: Head extends Criteria
 				? [Head, ...Filter<Tail, Criteria>]
 				: Filter<Tail, Criteria>
-			)
-		)
 		: never
-	)

package/src/tuple/tuple_plus.find.ts

@@ -54,36 +54,26 @@ export type Find<
 	Options extends Find.Options = Find.DefaultOptions<Criteria>
 > = TypePlusOptions.Merge<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options
 	? IsTuple<
-		A,
-		{
-			$then: A['length'] extends 0
-			? O['$emptyTuple']
-			: Find.Device<A, Criteria, O>,
-			$else: O['$array']
-		}
-	>
+			A,
+			{
+				$then: A['length'] extends 0 ? O['$emptyTuple'] : Find.Device<A, Criteria, O>
+				$else: O['$array']
+			}
+		>
 	: never
 export namespace Find {
-	export type Device<
-		A extends readonly unknown[],
-		Criteria,
-		Options extends Find.Options
-	> = A['length'] extends 0
+	export type Device<A extends readonly unknown[], Criteria, Options extends Find.Options> = A['length'] extends 0
 		? Options['$notMatch']
-		: (A extends readonly [infer Head, ...infer Tail]
-			? ElementMatch<
-				Head,
-				Criteria,
-				TypePlusOptions.Merge<{ $notMatch: Device<Tail, Criteria, Options> }, Options>
-			>
-			: never)
+		: A extends readonly [infer Head, ...infer Tail]
+			? ElementMatch<Head, Criteria, TypePlusOptions.Merge<{ $notMatch: Device<Tail, Criteria, Options> }, Options>>
+			: never
 	export interface Options extends ElementMatch.Options, $Never.$Options {
-		$array?: unknown,
-		$emptyTuple?: unknown,
+		$array?: unknown
+		$emptyTuple?: unknown
 	}
 
 	export interface DefaultOptions<Criteria> extends ElementMatch.DefaultOptions<Criteria>, $Never.$Default {
-		$array: 'does not support array. Please use `FindFirst` or `ArrayPlus.Find` instead.',
-		$emptyTuple: never,
+		$array: 'does not support array. Please use `FindFirst` or `ArrayPlus.Find` instead.'
+		$emptyTuple: never
 	}
 }

package/src/tuple/tuple_plus.pad_start.ts

@@ -17,15 +17,12 @@
  * PadStart<[1, 2, 3], 5> // [unknown, unknown, 1, 2, 3]
  * ```
  */
-export type PadStart<
-	Tuple extends readonly unknown[],
-	MaxLength extends number,
-	PadWith = unknown> = PadStart.Device<
-		Tuple,
-		MaxLength,
-		PadWith,
-		[]
-	>
+export type PadStart<Tuple extends readonly unknown[], MaxLength extends number, PadWith = unknown> = PadStart.Device<
+	Tuple,
+	MaxLength,
+	PadWith,
+	[]
+>
 
 export namespace PadStart {
 	export type Device<
@@ -33,29 +30,17 @@ export namespace PadStart {
 		MaxLength extends number,
 		PadWith,
 		Result extends unknown[]
-	> =
-		Result['length'] extends MaxLength
-		? (
-			Source extends []
+	> = Result['length'] extends MaxLength
+		? Source extends []
 			? Result
-			: (
-				Source extends readonly [...infer Head, infer Tail]
-				? (
-					[Tail, ...Result] extends infer R extends unknown[]
+			: Source extends readonly [...infer Head, infer Tail]
+				? [Tail, ...Result] extends infer R extends unknown[]
 					? Device<Head, R['length'], PadWith, R>
 					: never
-				)
 				: never
-			)
-		)
-		: (
-			Source extends []
+		: Source extends []
 			? Device<Source, MaxLength, PadWith, [PadWith, ...Result]>
-			: (
-				Source extends readonly [...infer Head, infer Tail]
+			: Source extends readonly [...infer Head, infer Tail]
 				? Device<Head, MaxLength, PadWith, [Tail, ...Result]>
 				: Source
-			)
-		)
-
 }

package/src/type_plus/$equality.ts

@@ -7,8 +7,6 @@ import type { $SelectionBranch } from './branch/$selection.js'
 import type { $SelectionOptions } from './branch/$selection_options.js'
 
 export namespace $Equality {
-	export type $Options = $SelectionOptions &
-		$DistributiveOptions &
-		$InputOptions<$Any | $Unknown | $Never>
+	export type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>
 	export type $Branch<$O extends $SelectionOptions = {}> = $SelectionBranch<$O>
 }

package/src/type_plus/$infer_error.ts

@@ -18,4 +18,6 @@ import type { $Type } from './$type.js'
  *   : InferError<'some message', T>
  * ```
  */
-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
+	? $Type<'error', `Unable to infer: ${M}`, T>
+	: never

package/src/type_plus/$merge_options.ts

@@ -3,7 +3,6 @@
  *
  * 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
+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

package/src/type_plus/$resolve_options.ts

@@ -8,9 +8,10 @@ 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]
+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>)
+	: V extends [infer T, ...infer U]
+		? [T, unknown] extends [unknown, T]
+			? $ResolveOptions<U>
+			: T
+		: $InferError<'cannot [infer T, ...infer U] from', V>

package/src/type_plus/$special_type.ts

@@ -12,11 +12,13 @@ import type { $SelectionOptions } from './branch/$selection_options.js'
  *
  * A type utility to handle special types: `any`, `unknown`, and `never`.
  */
-export type $SpecialType<T, $O extends $SpecialType.$Options> =
-	0 extends 1 & T ? $ResolveBranch<T, $O, [$Any, $Then]> :
-	[T, unknown] extends [unknown, T] ? $ResolveBranch<T, $O, [$Unknown, $Then]> :
-	[T, never] extends [never, T] ? $ResolveBranch<T, $O, [$Never, $Then]> :
-	$ResolveBranch<T, $O, [$Else]>
+export type $SpecialType<T, $O extends $SpecialType.$Options> = 0 extends 1 & T
+	? $ResolveBranch<T, $O, [$Any, $Then]>
+	: [T, unknown] extends [unknown, T]
+		? $ResolveBranch<T, $O, [$Unknown, $Then]>
+		: [T, never] extends [never, T]
+			? $ResolveBranch<T, $O, [$Never, $Then]>
+			: $ResolveBranch<T, $O, [$Else]>
 
 export namespace $SpecialType {
 	export type $Options = $SelectionOptions & $InputOptions<$Any | $Unknown | $Never>

package/src/type_plus/$type.ts

@@ -4,7 +4,7 @@
  * Special `type-plus` interface to represent unique types with messages.
  */
 export interface $Type<T extends string, M extends string = '', V = unknown> {
-	type: T,
-	message: M,
-	value: V,
+	type: T
+	message: M
+	value: V
 }

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

@@ -23,5 +23,4 @@ export type $Branch<P extends `$${string}`> = $Type<'branch', P, P>
  * type $YourOptions = $BranchOptions<$Then | $Else> // { $then: $Then, $else: $Else }
  * ```
  */
-export type $BranchOptions<$B extends $Branch<any>> =
-	{ [k in $B['value']]: $B extends { value: k } ? $B : never }
+export type $BranchOptions<$B extends $Branch<any>> = { [k in $B['value']]: $B extends { value: k } ? $B : never }

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

@@ -26,9 +26,13 @@ export namespace $Exact {
 		exact: false
 	}
 
-	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 $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
 }

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

@@ -5,5 +5,4 @@ import type { $Branch } from './$branch.js'
  *
  * Define branch input options.
  */
-export type $InputOptions<$B extends $Branch<any>> =
-	{ [k in $B['value']]?: unknown }
+export type $InputOptions<$B extends $Branch<any>> = { [k in $B['value']]?: unknown }

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

@@ -6,7 +6,10 @@ import type { $Else, $Then } from './$selection.js'
 export type $IsDistributive<
 	$Options extends $DistributiveOptions,
 	$O extends $InputOptions<$Then | $Else> = {}
-> =
-	$ResolveOptions<[$Options['distributive'], $DistributiveDefault['distributive']]> extends true
-	? '$then' extends keyof $O ? $O['$then'] : true
-	: '$else' extends keyof $O ? $O['$else'] : false
+> = $ResolveOptions<[$Options['distributive'], $DistributiveDefault['distributive']]> extends true
+	? '$then' extends keyof $O
+		? $O['$then']
+		: true
+	: '$else' extends keyof $O
+		? $O['$else']
+		: false

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

@@ -17,65 +17,55 @@ import type { $Else, $Then } from './$selection.js'
  * @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]
+> = [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>]
+		: $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 namespace $ResolveBranch {
-	export type _Override<
-		$D,
-		$O extends Record<string, any>,
-		$B extends Array<$Branch<any> | unknown>,
-	> = $B extends [infer B]
+	export 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>]
+		: $B extends [infer B, ...infer Bs extends Array<$Branch<any> | unknown>]
 			? _OLast<_Override<$D, $O, Bs>, $O, B>
 			: never
-		)
 
-	export 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'])
+	export 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
 
-	export type _<T, $O extends Record<string, any>, $B> =
-		$B extends $Branch<any> ?
-		($B['value'] extends keyof $O ? $Override.$Unwrap<$O[$B['value']]> : T)
+	export type _<T, $O extends Record<string, any>, $B> = $B extends $Branch<any>
+		? $B['value'] extends keyof $O
+			? $Override.$Unwrap<$O[$B['value']]>
+			: T
 		: T
-	export type _Last<T, $O extends Record<string, any>, $B> =
-		$B extends $Then
-		? ('$then' extends keyof $O
+	export 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)
+			: $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>
+			? '$else' extends keyof $O
+				? $Override.$Unwrap<$O['$else']>
+				: $O['selection'] extends 'filter'
+					? never
+					: false
+			: _<T, $O, $B>
 }

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

@@ -61,30 +61,29 @@ import type { $SelectionOptions } from './$selection_options.js'
  * type R = $Select<string, undefined, $SelectionBranch> // $Else
  * ```
  */
-export type $Select<
-	T,
-	U,
-	$O extends $Select.$Options = {}
-> = $SpecialType<
+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]>,
+		$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 namespace $Select {
-	export type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never> & $Exact.$Options
+	export type $Options = $SelectionOptions &
+		$DistributiveOptions &
+		$InputOptions<$Any | $Unknown | $Never> &
+		$Exact.$Options
 	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>
+	export type _<T, U, $O extends $Select.$Options> = $IsDistributive<$O> extends true ? _D<T, U, $O> : _N<T, U, $O>
 
-	export type _D<T, U, $O extends $Select.$Options> =
-		T extends U ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
-	export type _N<T, U, $O extends $Select.$Options> =
-		[T] extends [U] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
+	export type _D<T, U, $O extends $Select.$Options> = T extends U
+		? $ResolveBranch<T, $O, [$Then]>
+		: $ResolveBranch<T, $O, [$Else]>
+	export type _N<T, U, $O extends $Select.$Options> = [T] extends [U]
+		? $ResolveBranch<T, $O, [$Then]>
+		: $ResolveBranch<T, $O, [$Else]>
 }

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

@@ -60,19 +60,13 @@ import type { $SelectionOptions } from './$selection_options.js'
  * type R = $SelectInvert<string, undefined, $SelectionBranch> // $Else
  * ```
  */
-export type $SelectInvert<
-	T,
-	U,
-	$O extends $SelectInvert.$Options = {}
-> = $SpecialType<
+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>
+		$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>
 	}
 >
 
@@ -80,9 +74,10 @@ export namespace $SelectInvert {
 	export type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>
 	export type $Default = $SelectionPredicate & $DistributiveDefault
 	export type $Branch = $SelectionBranch & $DistributiveDefault
-	export type _D<T, U, $O extends $SelectInvert.$Options> =
-		T extends U ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
-	export type _N<T, U, $O extends $SelectInvert.$Options> =
-		[T] extends [U] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
-
+	export type _D<T, U, $O extends $SelectInvert.$Options> = T extends U
+		? $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, U, $O extends $SelectInvert.$Options> = [T] extends [U]
+		? $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<T, $O, [$Then]>
 }

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

@@ -60,29 +60,24 @@ import type { $SelectionOptions } from './$selection_options.js'
  * type R = $SelectInvertStrict<string, undefined, $SelectionBranch> // $Else
  * ```
  */
-export type $SelectInvertStrict<
+export type $SelectInvertStrict<T, U, $O extends $SelectInvertStrict.$Options = {}> = $SpecialType<
 	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>
-		}
-	>
+	{
+		$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 namespace $SelectInvertStrict {
 	export type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>
 	export type $Default = $SelectionPredicate & $DistributiveDefault
 	export type $Branch = $SelectionBranch & $DistributiveDefault
-	export type _D<T, U, $O extends $SelectInvertStrict.$Options> =
-		T extends U ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
-	export type _N<T, U, $O extends $SelectInvertStrict.$Options> =
-		[T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
+	export type _D<T, U, $O extends $SelectInvertStrict.$Options> = T extends U
+		? $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, U, $O extends $SelectInvertStrict.$Options> = [T, U] extends [U, T]
+		? $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<T, $O, [$Then]>
 }

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

@@ -60,15 +60,12 @@ import type { $SelectionOptions } from './$selection_options.js'
  * type R = $SelectStrict<string, undefined, $SelectionBranch> // $Else
  * ```
  */
-export type $SelectStrict<
+export type $SelectStrict<T, U, $O extends $SelectStrict.$Options = {}> = $SpecialType<
 	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]>,
+	{
+		$any: $ResolveBranch<T, $O, [$Any, $Else]>
+		$unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>
+		$never: $ResolveBranch<T, $O, [$Never, $Else]>
 		$else: $SelectStrict._Else<T, U, $O>
 	}
 >
@@ -80,11 +77,12 @@ export namespace $SelectStrict {
 	export type _Else<T, U, $O extends $SelectStrict.$Options> = $IsDistributive<$O> extends true
 		? _D<T, U, $O>
 		: _N<T, U, $O>
-	export type _D<T, U, $O extends $SelectStrict.$Options> =
-		T extends U ? U extends T
-		? $ResolveBranch<T, $O, [$Then]>
+	export 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]>
+	export type _N<T, U, $O extends $SelectStrict.$Options> = [T, U] extends [U, T]
+		? $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
-	export type _N<T, U, $O extends $SelectStrict.$Options> =
-		[T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
 }

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

@@ -25,8 +25,7 @@ export namespace $Else {
  * - `$Then` -> `$Else`
  * - `$Else` -> `$Then`
  */
-export type $InvertSelection<Branch extends $Then | $Else> =
-	Branch extends $Then ? $Else : $Then
+export type $InvertSelection<Branch extends $Then | $Else> = Branch extends $Then ? $Else : $Then
 
 /**
  * 🧰 *type util*
@@ -57,8 +56,8 @@ export type $InvertSelection<Branch extends $Then | $Else> =
  * ```
  */
 export type $SelectionBranch<$O extends $SelectionOptions = {}> = {
-	$then: $Then,
-	$else: $Else,
+	$then: $Then
+	$else: $Else
 } & $O
 
 /**
@@ -85,9 +84,9 @@ export type $SelectionBranch<$O extends $SelectionOptions = {}> = {
  * ```
  */
 export type $SelectionFilter<T> = {
-	selection: 'filter',
-	$then: T,
-	$else: never,
+	selection: 'filter'
+	$then: T
+	$else: never
 }
 
 /**
@@ -113,7 +112,7 @@ export type $SelectionFilter<T> = {
  * ```
  */
 export type $SelectionPredicate = {
-	$then: true,
+	$then: true
 	$else: false
 }
 
@@ -130,6 +129,6 @@ export type $SelectionPredicate = {
  * ```
  */
 export type $FlipSelection<$Options extends $SelectionOptions> = {
-	$then: $Options['$else'],
+	$then: $Options['$else']
 	$else: $Options['$then']
 } & Omit<$Options, '$then' | '$else'>

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

@@ -30,7 +30,7 @@ export type $SelectionOptions = {
 	 *
 	 * Note that setting `$then` and `$else` overrides the default selection logic.
 	 */
-	selection?: 'predicate' | 'filter' | undefined,
-	$then?: unknown,
-	$else?: unknown,
+	selection?: 'predicate' | 'filter' | undefined
+	$then?: unknown
+	$else?: unknown
 }

package/src/undefined/has_undefined.ts

@@ -38,7 +38,8 @@ import type { IsUndefined } from './is_undefined.js'
  * type R = HasUndefined<string, $SelectionBranch> // $Else
  * ```
  */
-export type HasUndefined<
+export type HasUndefined<T, $O extends $SelectionOptions = {}> = $ResolveBranch<
 	T,
-	$O extends $SelectionOptions = {}
-> = $ResolveBranch<T, $O, [IsUndefined<T> extends false ? $Else : $Then]>
+	$O,
+	[IsUndefined<T> extends false ? $Else : $Then]
+>

package/src/undefined/is_not_undefined.ts

@@ -52,16 +52,16 @@ import type { $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotUndefined<undefined, $SelectionBranch> // $Else
  * ```
  */
-export type IsNotUndefined<T, $O extends IsNotUndefined.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: IsNotUndefined.$<T, $O>
-			}
-		>
+export type IsNotUndefined<T, $O extends IsNotUndefined.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
+			$else: IsNotUndefined.$<T, $O>
+		}
 	>
-
+>
 
 export namespace IsNotUndefined {
 	export type $Options = $Equality.$Options