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

package/src/array/is_array.ts

@@ -60,13 +60,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsArray<number, IsArray.$Branch> // $Else
  * ```
  */
-export type IsArray<
+export type IsArray<T, $O extends IsArray.$Options = {}> = $SpecialType<
 	T,
-	$O extends IsArray.$Options = {}
-> = $SpecialType<T,
-	$MergeOptions<$O,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsArray.$<T, $O>
 		}
 	>
@@ -84,33 +83,33 @@ export namespace IsArray {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$Exact.$IsExact<$O, {
-			$then: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Then]>
-					: $ResolveBranch<T, $O, [$Else]>
-				)
-				: $ResolveBranch<T, $O, [$Else]>,
-				$else: [T] extends [readonly any[]]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Then]>
-					: $ResolveBranch<T, $O, [$Else]>
-				)
-				: $ResolveBranch<T, $O, [$Else]>
-			}>,
-			$else: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? $ResolveBranch<T, $O, [$Then]>
-				: $ResolveBranch<T, $O, [$Else]>,
-				$else: [T] extends readonly [any[]]
-				? $ResolveBranch<T, $O, [$Then]>
-				: $ResolveBranch<T, $O, [$Else]>
-			}>
-		}>
+	export type $<T, $O extends $UtilOptions> = $Exact.$IsExact<
+		$O,
+		{
+			$then: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Then]>
+							: $ResolveBranch<T, $O, [$Else]>
+						: $ResolveBranch<T, $O, [$Else]>
+					$else: [T] extends [readonly any[]]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Then]>
+							: $ResolveBranch<T, $O, [$Else]>
+						: $ResolveBranch<T, $O, [$Else]>
+				}
+			>
+			$else: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
+					$else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
+				}
+			>
+		}
+	>
 
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 }

package/src/array/is_not_array.ts

@@ -60,12 +60,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotArray<number, IsNotArray.$Branch> // $Then
  * ```
  */
-export type IsNotArray<T,
-	$O extends IsNotArray.$Options = {}
-> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotArray.$<T, $O>
 		}
 	>
@@ -82,33 +82,33 @@ export namespace IsNotArray {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$Exact.$IsExact<$O, {
-			$then: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Else]>
-					: $ResolveBranch<T, $O, [$Then]>
-				)
-				: $ResolveBranch<T, $O, [$Then]>,
-				$else: [T] extends [readonly any[]]
-				? (
-					number extends T['length']
-					? $ResolveBranch<T, $O, [$Else]>
-					: $ResolveBranch<T, $O, [$Then]>
-				)
-				: $ResolveBranch<T, $O, [$Then]>
-			}>,
-			$else: $IsDistributive<$O, {
-				$then: T extends readonly any[]
-				? $ResolveBranch<T, $O, [$Else]>
-				: $ResolveBranch<T, $O, [$Then]>,
-				$else: [T] extends readonly [any[]]
-				? $ResolveBranch<T, $O, [$Else]>
-				: $ResolveBranch<T, $O, [$Then]>
-			}>
-		}>
+	export type $<T, $O extends $UtilOptions> = $Exact.$IsExact<
+		$O,
+		{
+			$then: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Else]>
+							: $ResolveBranch<T, $O, [$Then]>
+						: $ResolveBranch<T, $O, [$Then]>
+					$else: [T] extends [readonly any[]]
+						? number extends T['length']
+							? $ResolveBranch<T, $O, [$Else]>
+							: $ResolveBranch<T, $O, [$Then]>
+						: $ResolveBranch<T, $O, [$Then]>
+				}
+			>
+			$else: $IsDistributive<
+				$O,
+				{
+					$then: T extends readonly any[] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
+					$else: [T] extends readonly [any[]] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
+				}
+			>
+		}
+	>
 
 	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
 }

package/src/array/last.ts

@@ -21,15 +21,20 @@ import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$select
  * @typeParam Options['caseEmptyTuple'] Return type when `T` is `[]`.
  * Default to `never`.
  */
-export type Last<
-	T extends readonly unknown[],
-	Options extends Last.Options = Last.DefaultOptions
-> = IsNever<T, $SelectionBranch> extends infer R
-	? R extends $Then ? Options['$never']
-	: R extends $Else ? T['length'] extends 0
-	? Options['caseEmptyTuple']
-	: T extends readonly [...unknown[], infer R] ? R : T[0]
-	: never : never
+export type Last<T extends readonly unknown[], Options extends Last.Options = Last.DefaultOptions> = IsNever<
+	T,
+	$SelectionBranch
+> extends infer R
+	? R extends $Then
+		? Options['$never']
+		: R extends $Else
+			? T['length'] extends 0
+				? Options['caseEmptyTuple']
+				: T extends readonly [...unknown[], infer R]
+					? R
+					: T[0]
+			: never
+	: never
 
 export namespace Last {
 	export interface Options extends $Never.$Options {

package/src/array/loose_array_type.ts

@@ -17,10 +17,10 @@ import type { IsAnyOrNever } from '../mix_types/is_any_or_never.js'
  *
  * type R = LooseArrayType<string> // never
  * ```
- */export type LooseArrayType<T, Then = T, Else = never> = IsAnyOrNever<
+ */ export type LooseArrayType<T, Then = T, Else = never> = IsAnyOrNever<
 	T,
 	{
-		$then: Else,
+		$then: Else
 		$else: T extends readonly any[] ? Then : Else
 	}
 >

package/src/array/pad_start.ts

@@ -28,10 +28,8 @@ import type { PadStart as PadStartArray } from './array_plus.pad_start.js'
 export type PadStart<
 	A extends readonly unknown[],
 	MaxLength extends number,
-	PadWith = unknown
-> = number extends A['length']
-	? PadStartArray<A, MaxLength, PadWith>
-	: PadStartTuple<A, MaxLength, PadWith>
+	PadWith = unknown,
+> = number extends A['length'] ? PadStartArray<A, MaxLength, PadWith> : PadStartTuple<A, MaxLength, PadWith>
 
 /**
  * @deprecated use PadStart instead

package/src/array/reduce_while.ts

@@ -8,7 +8,7 @@ export function reduceWhile<T, R>(
 	predicate: (acc: R, currentValue: T) => boolean,
 	callbackfn: (previousValue: R, currentValue: T, currentIndex: number, array: T[]) => R,
 	initialValue: R,
-	array: T[]
+	array: T[],
 ) {
 	let acc = initialValue
 	for (let i = 0; i < array.length; i++) {

package/src/array/reverse.ts

@@ -6,11 +6,11 @@
 export type Reverse<A extends unknown[]> = number extends A['length']
 	? A
 	: A['length'] extends 0
-	? A
-	: A['length'] extends 1
-	? A
-	: A extends [any, ...infer T]
-	? T extends any[]
-		? [...Reverse<T>, A[0]]
-		: never
-	: never
+		? A
+		: A['length'] extends 1
+			? A
+			: A extends [any, ...infer T]
+				? T extends any[]
+					? [...Reverse<T>, A[0]]
+					: never
+				: never

package/src/array/union_of_props.ts

@@ -7,8 +7,8 @@ import type { Tail } from '../tuple/tail.js'
 export type UnionOfProps<A extends readonly Record<any, any>[], P extends KeyTypes> = A['length'] extends 0
 	? never
 	: A['length'] extends 1
-	? A[0][P]
-	: A[0][P] | UnionOfProps<Tail<A>, P>
+		? A[0][P]
+		: A[0][P] | UnionOfProps<Tail<A>, P>
 
 /**
  * Gets the union of properties in the element of `A`

package/src/assertion/assert_type.ts

@@ -16,7 +16,7 @@ export function assertType<T>(subject: unknown, validator: (s: T) => boolean): a
  */
 export function assertType<T extends new (..._args: any[]) => any>(
 	subject: unknown,
-	classConstructor: T
+	classConstructor: T,
 ): asserts subject is InstanceType<T>
 export function assertType(subject: unknown, validator?: (s: any) => boolean) {
 	if (validator) {
@@ -101,7 +101,7 @@ assertType.noError = <S>(subject: Exclude<S, Error>): void => {
 	if (subject instanceof Error) throw TypeError('subject is an Error')
 }
 
-assertType.isNever = (_subject: never): asserts _subject is never => { }
+assertType.isNever = (_subject: never): asserts _subject is never => {}
 
 /**
  * creates a custom assertion function with standard TypeError.
@@ -109,9 +109,11 @@ assertType.isNever = (_subject: never): asserts _subject is never => { }
  * thus making it hard to use:
  * https://github.com/microsoft/TypeScript/issues/41047
  */
-assertType.custom = <T>(validator: (s: T) => boolean): (subject: unknown) => asserts subject is T => (subject) => {
+assertType.custom =
+	<T>(validator: (s: T) => boolean): ((subject: unknown) => asserts subject is T) =>
+	(subject) => {
 		if (!validator(subject as any)) throw new TypeError(`subject fails to satisfy ${tersify(validator)}`)
 		return
 	}
 
-assertType.as = <T>(_subject: unknown): asserts _subject is T => { }
+assertType.as = <T>(_subject: unknown): asserts _subject is T => {}

package/src/bigint/cast.ts

@@ -9,5 +9,5 @@
 export type StringToBigint<S extends string, Fail = never> = S extends `-0n`
 	? 0n
 	: S extends `${infer N extends bigint}n`
-	? N
-	: Fail
+		? N
+		: Fail

package/src/bigint/is_bigint.ts

@@ -70,15 +70,16 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsBigint<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBigint<T, $O extends IsBigint.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsBigint.$<T, $O>
-			}
-		>
+export type IsBigint<T, $O extends IsBigint.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsBigint.$<T, $O>
+		}
 	>
+>
 
 export namespace IsBigint {
 	export type $Options = $Equality.$Options & $Exact.$Options
@@ -92,23 +93,19 @@ export namespace IsBigint {
 	 * 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
-		? $IsDistributive<$O, { $then: _SD<T, $O>, $else: _SN<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+		? $IsDistributive<$O, { $then: _SD<T, $O>; $else: _SN<T, $O> }>
 		: Assignable.$<T, bigint, $O>
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 
-	export type _SD<T, $O extends $Options> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _SD<T, $O extends $Options> = T extends bigint & infer U
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Else]>
 			: $ResolveBranch<T, $O, [$Then]>
-		)
 		: $ResolveBranch<T, $O, [$Else]>
-	export type _SN<T, $O extends $Options> =
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
+	export type _SN<T, $O extends $Options> = [T] extends [bigint & infer U]
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/bigint/is_bigint_literal.ts

@@ -58,10 +58,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsBigintLiteral<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsBigintLiteral.$<T, $O>
 		}
 	>
@@ -79,22 +81,18 @@ export namespace IsBigintLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
 	export type $UtilOptions = Assignable.$UtilOptions
 
-	export type _D<T, $O extends $UtilOptions> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _D<T, $O extends $UtilOptions> = T extends bigint & infer U
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Then]>
 			: $ResolveBranch<T, $O, [$Else]>
-		)
-		: $ResolveBranch<T, $O, [$Else]>
-	export type _N<T, $O extends $UtilOptions> =
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U]
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [$Else]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/bigint/is_not_bigint.ts

@@ -67,10 +67,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotBigint<bigint, $SelectionBranch> // $Else
  * ```
  */
-export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotBigint.$<T, $O>
 		}
 	>
@@ -88,23 +90,19 @@ export namespace IsNotBigint {
 	 * 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'], false]> extends true
-		? $IsDistributive<$O, { $then: _SD<T, $O>, $else: _SN<T, $O> }>
+	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 _SD<T, $O extends $Options> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _SD<T, $O extends $Options> = T extends bigint & infer U
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<T, $O, [$Then]>
+	export type _SN<T, $O extends $Options> = [T] extends [bigint & infer U]
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Then]>
 			: $ResolveBranch<T, $O, [$Else]>
-		)
 		: $ResolveBranch<T, $O, [$Then]>
-	export type _SN<T, $O extends $Options> = (
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>)
 }

package/src/bigint/is_not_bigint_literal.ts

@@ -56,10 +56,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotBigintLiteral<bigint, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotBigintLiteral.$<T, $O>
 		}
 	>
@@ -77,25 +79,24 @@ export namespace IsNotBigintLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$IsDistributive<$O, {
-			$then: _D<T, $O>,
+	export type $<T, $O extends $UtilOptions> = $IsDistributive<
+		$O,
+		{
+			$then: _D<T, $O>
 			$else: _N<T, $O>
-		}>
+		}
+	>
 
 	export type $UtilOptions = Assignable.$UtilOptions
 
-	export type _D<T, $O extends $UtilOptions> =
-		T extends bigint & infer U
-		? (
-			U extends bigint
+	export type _D<T, $O extends $UtilOptions> = T extends bigint & infer U
+		? U extends bigint
 			? $ResolveBranch<T, $O, [$Else]>
 			: $ResolveBranch<T, $O, [$Then]>
-		)
-		: $ResolveBranch<T, $O, [$Then]>
-	export type _N<T, $O extends $UtilOptions> =
-		[T] extends [bigint & infer U] ?
-		U extends bigint ? $ResolveBranch<T, $O, [$Else]>
 		: $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U]
+		? U extends bigint
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Then]>
 }

package/src/boolean/is_boolean.ts

@@ -59,10 +59,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsBoolean<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsBoolean<T, $O extends IsBoolean.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsBoolean<T, $O extends IsBoolean.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsBoolean.$<T, $O>
 		}
 	>
@@ -79,48 +81,58 @@ 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
-		? $IsDistributive<$O, { $then: _SD<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> 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 _SD<T, $O extends $Options> =
-		IsBoolean._DistributeMap<T> extends infer R
-		? ['aBcD' | 'AbCd' | 'abcd'] extends [R] ? $ResolveBranch<boolean, $O, [$Then]> | $ResolveBranch<Exclude<T, boolean>, $O, [$Else]>
-		: ['aBcD' | 'AbCd'] extends [R] ? $ResolveBranch<T, $O, [$Then]>
-		: ['aBcd' | 'Abcd'] extends [R] ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>
+	export type _SD<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R
+		? ['aBcD' | 'AbCd' | 'abcd'] extends [R]
+			? $ResolveBranch<boolean, $O, [$Then]> | $ResolveBranch<Exclude<T, boolean>, $O, [$Else]>
+			: ['aBcD' | 'AbCd'] extends [R]
+				? $ResolveBranch<T, $O, [$Then]>
+				: ['aBcd' | 'Abcd'] extends [R]
+					? $ResolveBranch<T, $O, [$Then]>
+					: $ResolveBranch<T, $O, [$Else]>
 		: never
 
-	export type _N<T, $O extends $Options> =
-		[T] extends [boolean]
-		? (
-			[T] extends [true]
+	export type _N<T, $O extends $Options> = [T] extends [boolean]
+		? [T] extends [true]
 			? $ResolveBranch<T, $O, [$Else]>
-			: (
-				[T] extends [false]
+			: [T] extends [false]
 				? $ResolveBranch<T, $O, [$Else]>
 				: $ResolveBranch<T, $O, [$Then]>
-			)
-		)
 		: $ResolveBranch<T, $O, [$Else]>
 
 	export type _DistributeMap<T> = T extends true
-		? (T extends false
-			? (true extends T
-				? (false extends T ? 'ABCD' : 'ABCd')
-				: (false extends T ? 'ABcD' : 'ABcd'))
-			: (true extends T
-				? (false extends T ? 'AbCD' : 'AbCd')
-				: (false extends T ? 'AbcD' : 'Abcd'))
-		)
-		: (T extends false
-			? (true extends T
-				? (false extends T ? 'aBCD' : 'aBCd')
-				: (false extends T ? 'aBcD' : 'aBcd'))
-			: (true extends T
-				? (false extends T ? 'abCD' : 'abCd')
-				: (false extends T ? 'abcD' : 'abcd'))
-		)
-
+		? T extends false
+			? true extends T
+				? false extends T
+					? 'ABCD'
+					: 'ABCd'
+				: false extends T
+					? 'ABcD'
+					: 'ABcd'
+			: true extends T
+				? false extends T
+					? 'AbCD'
+					: 'AbCd'
+				: false extends T
+					? 'AbcD'
+					: 'Abcd'
+		: T extends false
+			? true extends T
+				? false extends T
+					? 'aBCD'
+					: 'aBCd'
+				: false extends T
+					? 'aBcD'
+					: 'aBcd'
+			: true extends T
+				? false extends T
+					? 'abCD'
+					: 'abCd'
+				: false extends T
+					? 'abcD'
+					: 'abcd'
 }

package/src/boolean/is_false.ts

@@ -58,10 +58,12 @@ import type { $Else } from '../type_plus/branch/$selection.js'
  * type R = IsFalse<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsFalse<T, $O extends IsFalse.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsFalse<T, $O extends IsFalse.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsFalse.$<T, $O>
 		}
 	>