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

package/src/numeric/is_integer.ts

@@ -15,33 +15,39 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsInteger<number> // false as it contains non-integer
  * ```
  */
-export type IsInteger<T, $O extends IsInteger.$Options = {}> = IsNumber<T, {
-	distributive: $O['distributive'],
-	$then: $Then,
-	$else: $Else
-}> extends infer R
-	? R extends $Then ? (
-		number extends T
-		? $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-		: T extends number & infer U ? (
-			`${T}` extends `${number}.${number}`
-			? $ResolveBranch<T, $O, [$Else]>
-			: [T, U] extends [U, T] ? $ResolveBranch<T, $O, [$Then]>
-			: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-		)
-		: never
-	)
-	: R extends $Else ? (
-		IsBigint<T, {
-			distributive: $O['distributive'],
-			$then: $Then,
-			$else: $Else
-		}> extends infer R
-		? R extends $Then ? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
-		: never
-	)
-	: never : never
+export type IsInteger<T, $O extends IsInteger.$Options = {}> = IsNumber<
+	T,
+	{
+		distributive: $O['distributive']
+		$then: $Then
+		$else: $Else
+	}
+> extends infer R
+	? R extends $Then
+		? number extends T
+			? $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+			: T extends number & infer U
+				? `${T}` extends `${number}.${number}`
+					? $ResolveBranch<T, $O, [$Else]>
+					: [T, U] extends [U, T]
+						? $ResolveBranch<T, $O, [$Then]>
+						: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				: never
+		: R extends $Else
+			? IsBigint<
+					T,
+					{
+						distributive: $O['distributive']
+						$then: $Then
+						$else: $Else
+					}
+				> extends infer R
+				? R extends $Then
+					? $ResolveBranch<T, $O, [$Then]>
+					: $ResolveBranch<T, $O, [$Else]>
+				: never
+			: never
+	: never
 export namespace IsInteger {
 	export type $Options = $Equality.$Options
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>

package/src/numeric/is_negative.ts

@@ -10,7 +10,7 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * ```ts
  * type R = IsNegative<-1> // true
  * type R = IsNegative<-1n> // true
-*
+ *
  * type R = IsNegative<0> // false
  * type R = IsNegative<1> // false
  *
@@ -18,34 +18,34 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNegative<bigint> // boolean
  * type R = IsNegative<any> // boolean
  * ```
-*/
-export type IsNegative<T, $O extends IsNegative.$Options = {}> = IsBigint<T, {
-	distributive: $O['distributive'],
-	$then: $Then,
-	$else: $Else
-}> extends infer R
-	? R extends $Then ? IsNegative._Negative<T, bigint, $O>
-	: (
-		IsNumber<Exclude<T, bigint>, { distributive: $O['distributive'], $then: $Then, $else: $Else }> extends infer R
-		? (
-			R extends $Then
-			? IsNegative._Negative<T, number, $O>
-			: $ResolveBranch<T, $O, [$Else]>
-		)
-		: never
-	)
+ */
+export type IsNegative<T, $O extends IsNegative.$Options = {}> = IsBigint<
+	T,
+	{
+		distributive: $O['distributive']
+		$then: $Then
+		$else: $Else
+	}
+> extends infer R
+	? R extends $Then
+		? IsNegative._Negative<T, bigint, $O>
+		: IsNumber<Exclude<T, bigint>, { distributive: $O['distributive']; $then: $Then; $else: $Else }> extends infer R
+			? R extends $Then
+				? IsNegative._Negative<T, number, $O>
+				: $ResolveBranch<T, $O, [$Else]>
+			: never
 	: never
 
 export namespace IsNegative {
 	export type $Options = $Equality.$Options
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 	export type _Negative<T, U extends number | bigint, $O extends IsNegative.$Options> = T extends U & infer R
-		? (
-			`${T}` extends `-${string}`
+		? `${T}` extends `-${string}`
 			? $ResolveBranch<T, $O, [$Then]>
-			: U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-			: [T, R] extends [R, T] ? $ResolveBranch<T, $O, [$Else]>
-			: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-		)
+			: U extends T
+				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				: [T, R] extends [R, T]
+					? $ResolveBranch<T, $O, [$Else]>
+					: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
 		: never
 }

package/src/numeric/is_not_integer.ts

@@ -17,32 +17,37 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotInteger<1n> // false
  * ```
  */
-export type IsNotInteger<T, $O extends IsNotInteger.$Options = {}> = IsNumber<T, {
-	distributive: $O['distributive'],
-	$then: $Then,
-	$else: $Else
-}> extends infer R
-	? R extends $Then ? (
-		number extends T
-		? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-		: T extends number ? (
-			`${T}` extends `${number}.${number}`
-			? $ResolveBranch<T, $O, [$Then]>
-			: $ResolveBranch<T, $O, [$Else]>
-		)
-		: never
-	)
-	: R extends $Else ? (
-		IsBigint<T, {
-			distributive: $O['distributive'],
-			$then: $Then,
-			$else: $Else
-		}> extends infer R
-		? R extends $Then ? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<Exclude<T, number>, $O, [$Then]>
-		: never
-	)
-	: never : never
+export type IsNotInteger<T, $O extends IsNotInteger.$Options = {}> = IsNumber<
+	T,
+	{
+		distributive: $O['distributive']
+		$then: $Then
+		$else: $Else
+	}
+> extends infer R
+	? R extends $Then
+		? number extends T
+			? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+			: T extends number
+				? `${T}` extends `${number}.${number}`
+					? $ResolveBranch<T, $O, [$Then]>
+					: $ResolveBranch<T, $O, [$Else]>
+				: never
+		: R extends $Else
+			? IsBigint<
+					T,
+					{
+						distributive: $O['distributive']
+						$then: $Then
+						$else: $Else
+					}
+				> extends infer R
+				? R extends $Then
+					? $ResolveBranch<T, $O, [$Else]>
+					: $ResolveBranch<Exclude<T, number>, $O, [$Then]>
+				: never
+			: never
+	: never
 export namespace IsNotInteger {
 	export type $Options = $Equality.$Options
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>

package/src/numeric/is_not_negative.ts

@@ -19,31 +19,31 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotNegative<any> // boolean
  * ```
  */
-export type IsNotNegative<T, $O extends IsNotNegative.$Options = {}> = IsBigint<T, {
-	distributive: $O['distributive'],
-	$then: $Then,
-	$else: $Else
-}> extends infer R
-	? R extends $Then ? IsNotNegative._Negative<T, bigint, $O>
-	: (
-		IsNumber<Exclude<T, bigint>, { distributive: $O['distributive'], $then: $Then, $else: $Else }> extends infer R
-		? (
-			R extends $Then
-			? IsNotNegative._Negative<T, number, $O>
-			: $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]>
-		)
-		: never
-	)
+export type IsNotNegative<T, $O extends IsNotNegative.$Options = {}> = IsBigint<
+	T,
+	{
+		distributive: $O['distributive']
+		$then: $Then
+		$else: $Else
+	}
+> extends infer R
+	? R extends $Then
+		? IsNotNegative._Negative<T, bigint, $O>
+		: IsNumber<Exclude<T, bigint>, { distributive: $O['distributive']; $then: $Then; $else: $Else }> extends infer R
+			? R extends $Then
+				? IsNotNegative._Negative<T, number, $O>
+				: $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]>
+			: never
 	: never
 
 export namespace IsNotNegative {
 	export type $Options = $Equality.$Options
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 	export type _Negative<T, U extends number | bigint, $O extends IsNotNegative.$Options> = T extends U
-		? (
-			`${T}` extends `-${string}`
+		? `${T}` extends `-${string}`
 			? $ResolveBranch<T, $O, [$Else]>
-			: U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
-		)
+			: U extends T
+				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				: $ResolveBranch<T, $O, [$Then]>
 		: never
 }

package/src/numeric/is_not_positive.ts

@@ -20,31 +20,31 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  *
  * ```
  */
-export type IsNotPositive<T, $O extends IsNotPositive.$Options = {}> = IsBigint<T, {
-	distributive: $O['distributive'],
-	$then: $Then,
-	$else: $Else
-}> extends infer R
-	? R extends $Then ? IsNotPositive._Negative<T, bigint, $O>
-	: (
-		IsNumber<Exclude<T, bigint>, { distributive: $O['distributive'], $then: $Then, $else: $Else }> extends infer R
-		? (
-			R extends $Then
-			? IsNotPositive._Negative<T, number, $O>
-			: $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]>
-		)
-		: never
-	)
+export type IsNotPositive<T, $O extends IsNotPositive.$Options = {}> = IsBigint<
+	T,
+	{
+		distributive: $O['distributive']
+		$then: $Then
+		$else: $Else
+	}
+> extends infer R
+	? R extends $Then
+		? IsNotPositive._Negative<T, bigint, $O>
+		: IsNumber<Exclude<T, bigint>, { distributive: $O['distributive']; $then: $Then; $else: $Else }> extends infer R
+			? R extends $Then
+				? IsNotPositive._Negative<T, number, $O>
+				: $ResolveBranch<Exclude<T, number | bigint>, $O, [$Then]>
+			: never
 	: never
 
 export namespace IsNotPositive {
 	export type $Options = $Equality.$Options
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 	export type _Negative<T, U extends number | bigint, $O extends IsNotPositive.$Options> = T extends U
-		? (
-			`${T}` extends `-${string}`
+		? `${T}` extends `-${string}`
 			? $ResolveBranch<T, $O, [$Then]>
-			: U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>
-		)
+			: U extends T
+				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				: $ResolveBranch<T, $O, [$Else]>
 		: never
 }

package/src/numeric/is_positive.ts

@@ -19,33 +19,33 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsPositive<-1> // false
  * ```
  */
-export type IsPositive<T, $O extends IsPositive.$Options = {}> = IsBigint<T, {
-	distributive: $O['distributive'],
-	$then: $Then,
-	$else: $Else
-}> extends infer R
-	? R extends $Then ? IsPositive._Positive<T, bigint, $O>
-	: (
-		IsNumber<Exclude<T, bigint>, { distributive: $O['distributive'], $then: $Then, $else: $Else }> extends infer R
-		? (
-			R extends $Then
-			? IsPositive._Positive<T, number, $O>
-			: $ResolveBranch<T, $O, [$Else]>
-		)
-		: never
-	)
+export type IsPositive<T, $O extends IsPositive.$Options = {}> = IsBigint<
+	T,
+	{
+		distributive: $O['distributive']
+		$then: $Then
+		$else: $Else
+	}
+> extends infer R
+	? R extends $Then
+		? IsPositive._Positive<T, bigint, $O>
+		: IsNumber<Exclude<T, bigint>, { distributive: $O['distributive']; $then: $Then; $else: $Else }> extends infer R
+			? R extends $Then
+				? IsPositive._Positive<T, number, $O>
+				: $ResolveBranch<T, $O, [$Else]>
+			: never
 	: never
 
 export namespace IsPositive {
 	export type $Options = $Equality.$Options
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 	export type _Positive<T, U extends number | bigint, $O extends IsPositive.$Options> = T extends U & infer R
-		? (
-			`${T}` extends `-${string}`
+		? `${T}` extends `-${string}`
 			? $ResolveBranch<T, $O, [$Else]>
-			: U extends T ? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-			: [T, R] extends [R, T] ? $ResolveBranch<T, $O, [$Then]>
-			: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-		)
+			: U extends T
+				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				: [T, R] extends [R, T]
+					? $ResolveBranch<T, $O, [$Then]>
+					: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
 		: never
 }

package/src/numeric/numeric_plus.ts

@@ -7,4 +7,3 @@ export type * from './is_not_positive.js'
 export type * from './is_numeric.js'
 export type * from './is_positive.js'
 export type * from './numeric_type.js'
-

package/src/numeric/numeric_type.ts

@@ -1,4 +1,3 @@
-
 /**
  * Either number or bigint.
  */

package/src/object/ANotB.ts

@@ -6,7 +6,7 @@ import type { KeysWithDiffType } from './KeysWithDiffType.js'
 export type ANotB<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
 	? never
 	: IsDisjoint<A, B> extends true
-	? A
-	: { [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k] }
+		? A
+		: { [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k] }
 
 export type BNotA<A extends AnyRecord, B extends AnyRecord> = ANotB<B, A>

package/src/object/IsDisjoint.ts

@@ -6,7 +6,4 @@ import type { HasKey } from './hasKey.js'
  * Are the two records disjoint from each other.
  * Disjoint means no common property.
  */
-export type IsDisjoint<A extends AnyRecord, B extends AnyRecord> = And<
-	Not<HasKey<A, keyof B>>,
-	Not<HasKey<B, keyof A>>
->
+export type IsDisjoint<A extends AnyRecord, B extends AnyRecord> = And<Not<HasKey<A, keyof B>>, Not<HasKey<B, keyof A>>>

package/src/object/KeysWithDiffType.ts

@@ -5,5 +5,5 @@ import type { ValueOf } from './ValueOf.js'
 export type KeysWithDiffType<A extends AnyRecord, B extends AnyRecord> = IsDisjoint<A, B> extends true
 	? never
 	: ValueOf<{
-		[k in keyof A & keyof B]: A[k] extends B[k] ? never : k
-	}>
+			[k in keyof A & keyof B]: A[k] extends B[k] ? never : k
+		}>

package/src/object/KnownKeys.ts

@@ -8,10 +8,10 @@ import type { PrimitiveTypes } from '../primitive.js'
 export type KnownKeys<T> = T extends PrimitiveTypes
 	? never
 	: {
-		[K in keyof T]: string extends K ? never : number extends K ? never : K
-	} extends { [_ in keyof T]: infer U }
-	? // eslint-disable-next-line @typescript-eslint/ban-types
-	{} extends U
-	? never
-	: U
-	: never
+				[K in keyof T]: string extends K ? never : number extends K ? never : K
+			} extends { [_ in keyof T]: infer U }
+		? // eslint-disable-next-line @typescript-eslint/ban-types
+			{} extends U
+			? never
+			: U
+		: never

package/src/object/RecursiveIntersect.ts

@@ -15,11 +15,11 @@ export type RecursiveIntersect<T, U> = T &
 	(T extends Array<infer Y>
 		? Array<Y & U> & U
 		: T extends AnyRecord
-		? {
-			[P in keyof T]: T[P] extends Array<infer R>
-			? Array<RecursiveIntersect<R, U>> & U
-			: (T[P] extends AnyRecord
-				? RecursiveIntersect<T[P], U>
-				: T[P] & U)
-		} & U
-		: U)
+			? {
+					[P in keyof T]: T[P] extends Array<infer R>
+						? Array<RecursiveIntersect<R, U>> & U
+						: T[P] extends AnyRecord
+							? RecursiveIntersect<T[P], U>
+							: T[P] & U
+				} & U
+			: U)

package/src/object/RecursiveRequired.ts

@@ -4,6 +4,6 @@ export type RecursiveRequired<T> = {
 	[P in keyof T]-?: T[P] extends (infer U)[]
 		? RecursiveRequired<U>[]
 		: T[P] extends AnyRecord
-		? RecursiveRequired<T[P]>
-		: T[P]
+			? RecursiveRequired<T[P]>
+			: T[P]
 }

package/src/object/SpreadRecord.ts

@@ -1,7 +1,4 @@
 import type { Omit } from '../object/index.js'
 
-export type SpreadRecord<A extends Record<any, any>, B extends Record<any, any>> = Omit<
-	A,
-	Extract<keyof A, keyof B>
-> &
+export type SpreadRecord<A extends Record<any, any>, B extends Record<any, any>> = Omit<A, Extract<keyof A, keyof B>> &
 	B

package/src/object/facade.ts

@@ -38,15 +38,7 @@ export function facade<
 	P4 extends keyof T,
 	P5 extends keyof T,
 	P6 extends keyof T
->(
-	subject: T,
-	prop1: P1,
-	prop2: P2,
-	prop3: P3,
-	prop4: P4,
-	prop5: P5,
-	prop6: P6
-): Pick<T, P1 | P2 | P3 | P4 | P5 | P6>
+>(subject: T, prop1: P1, prop2: P2, prop3: P3, prop4: P4, prop5: P5, prop6: P6): Pick<T, P1 | P2 | P3 | P4 | P5 | P6>
 export function facade<
 	T extends AnyRecord,
 	P1 extends keyof T,

package/src/object/getField.ts

@@ -1,9 +1,6 @@
 import type { UnionKeys } from '../union_keys.js'
 
-export function getField<T, TX extends Exclude<T, undefined | null>, K extends UnionKeys<TX>>(
-	subject: T,
-	key: K
-): TX[K]
+export function getField<T, TX extends Exclude<T, undefined | null>, K extends UnionKeys<TX>>(subject: T, key: K): TX[K]
 export function getField<
 	T,
 	TX extends Exclude<T, undefined | null>,

package/src/object/hasKey.ts

@@ -3,5 +3,5 @@ import type { AnyRecord } from './any_record.js'
 export type HasKey<T, K, Then = true, Else = false> = K extends keyof T ? Then : Else
 
 export function hasKey<T extends AnyRecord, K extends string>(subject: T, ...keys: K[]): HasKey<T, K> {
-	return !keys.some(key => !subject[key]) as unknown as HasKey<T, K>
+	return !keys.some((key) => !subject[key]) as unknown as HasKey<T, K>
 }

package/src/object/is_not_object.ts

@@ -89,10 +89,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotObject<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotObject<T, $O extends IsNotObject.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotObject<T, $O extends IsNotObject.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotObject.$<T, $O>
 		}
 	>
@@ -109,24 +111,29 @@ 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
-		? $IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> 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 _D<T, $O extends $UtilOptions> = T extends object
-		? IdentityEqual<T, {},
-			$ResolveBranch<T, $O, [$Then]>,
-			IsNever<keyof T, {
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: $ResolveBranch<T, $O, [$Then]>
-			}>>
+		? IdentityEqual<
+				T,
+				{},
+				$ResolveBranch<T, $O, [$Then]>,
+				IsNever<
+					keyof T,
+					{
+						$then: $ResolveBranch<T, $O, [$Else]>
+						$else: $ResolveBranch<T, $O, [$Then]>
+					}
+				>
+			>
 		: $ResolveBranch<T, $O, [$Then]>
 
-	export type _N<T, $O extends $UtilOptions> =
-		[T] extends [object & infer U] ?
-		U extends object ? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U]
+		? U extends object
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [$Else]>
 		: $ResolveBranch<T, $O, [$Then]>
 }

package/src/object/is_object.ts

@@ -76,10 +76,12 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsObject<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsObject<T, $O extends IsObject.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsObject<T, $O extends IsObject.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>,
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: IsObject.$<T, $O>
 		}
 	>
@@ -97,23 +99,29 @@ 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
-		? $IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> 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 _D<T, $O extends $UtilOptions> = T extends object
-		? IdentityEqual<T, {},
-			$ResolveBranch<T, $O, [$Else]>,
-			IsNever<keyof T, {
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: $ResolveBranch<T, $O, [$Else]>
-			}>>
+		? IdentityEqual<
+				T,
+				{},
+				$ResolveBranch<T, $O, [$Else]>,
+				IsNever<
+					keyof T,
+					{
+						$then: $ResolveBranch<T, $O, [$Then]>
+						$else: $ResolveBranch<T, $O, [$Else]>
+					}
+				>
+			>
 		: $ResolveBranch<T, $O, [$Else]>
 
-	export type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U] ?
-		U extends object ? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U]
+		? U extends object
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/object/left_join.ts

@@ -6,5 +6,5 @@ import type { Properties } from './properties.js'
 export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
 	? A
 	: IsDisjoint<A, B> extends true
-	? A & B
-	: Properties<{ [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }>
+		? A & B
+		: Properties<{ [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }>