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

package/src/numeric/is_negative.ts

@@ -1,8 +1,14 @@
+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 { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
 import type { IsBigint } from '../bigint/is_bigint.js'
 import type { IsNumber } from '../number/is_number.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $Then } from '../type_plus/branch/$selection.js'
 
 /**
  * Is `T` a negative numeric type.
@@ -23,29 +29,32 @@ export type IsNegative<T, $O extends IsNegative.$Options = {}> = IsBigint<
 	T,
 	{
 		distributive: $O['distributive']
-		$then: $Then
-		$else: $Else
+		$then: IsNegative._Negative<T, bigint, $O>
+		$else: IsNumber<
+			Exclude<T, bigint>,
+			{
+				distributive: $O['distributive']
+				$then: IsNegative._Negative<T, number, $O>
+				$else: $ResolveBranch<$O, [$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 $Options = $Selection.Options &
+		$Distributive.Options &
+		$Exact.Options &
+		$InputOptions<$Any | $Unknown | $Never | $Void>
+	export type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>
+
 	export type _Negative<T, U extends number | bigint, $O extends IsNegative.$Options> = T extends U & infer R
 		? `${T}` extends `-${string}`
-			? $ResolveBranch<T, $O, [$Then]>
+			? $ResolveBranch<$O, [$Then], T>
 			: U extends T
-				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
 				: [T, R] extends [R, T]
-					? $ResolveBranch<T, $O, [$Else]>
-					: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+					? $ResolveBranch<$O, [$Else]>
+					: $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
 		: never
 }

package/src/numeric/is_not_integer.ts

@@ -1,8 +1,14 @@
+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 { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
 import type { IsBigint } from '../bigint/is_bigint.js'
 import type { IsNumber } from '../number/is_number.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $Then } from '../type_plus/branch/$selection.js'
 
 /**
  * Is T not an integer, including bigint.
@@ -27,11 +33,11 @@ export type IsNotInteger<T, $O extends IsNotInteger.$Options = {}> = IsNumber<
 > extends infer R
 	? R extends $Then
 		? number extends T
-			? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+			? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
 			: T extends number
 				? `${T}` extends `${number}.${number}`
-					? $ResolveBranch<T, $O, [$Then]>
-					: $ResolveBranch<T, $O, [$Else]>
+					? $ResolveBranch<$O, [$Then], T>
+					: $ResolveBranch<$O, [$Else]>
 				: never
 		: R extends $Else
 			? IsBigint<
@@ -43,12 +49,15 @@ export type IsNotInteger<T, $O extends IsNotInteger.$Options = {}> = IsNumber<
 					}
 				> extends infer R
 				? R extends $Then
-					? $ResolveBranch<T, $O, [$Else]>
-					: $ResolveBranch<Exclude<T, number>, $O, [$Then]>
+					? $ResolveBranch<$O, [$Else]>
+					: $ResolveBranch<$O, [$Then], Exclude<T, number>>
 				: never
 			: never
 	: never
 export namespace IsNotInteger {
-	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>
 }

package/src/numeric/is_not_negative.ts

@@ -1,8 +1,14 @@
+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 { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
 import type { IsBigint } from '../bigint/is_bigint.js'
 import type { IsNumber } from '../number/is_number.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $Then } from '../type_plus/branch/$selection.js'
 
 /**
  * Is `T` a not a negative numeric type.
@@ -29,21 +35,27 @@ export type IsNotNegative<T, $O extends IsNotNegative.$Options = {}> = IsBigint<
 > 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
+		: IsNumber<
+				Exclude<T, bigint>,
+				{
+					distributive: $O['distributive']
+					$then: IsNotNegative._Negative<T, number, $O>
+					$else: $ResolveBranch<$O, [$Then], Exclude<T, number | bigint>>
+				}
+			>
 	: never
 
 export namespace IsNotNegative {
-	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>
 	export type _Negative<T, U extends number | bigint, $O extends IsNotNegative.$Options> = T extends U
 		? `${T}` extends `-${string}`
-			? $ResolveBranch<T, $O, [$Else]>
+			? $ResolveBranch<$O, [$Else]>
 			: U extends T
-				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-				: $ResolveBranch<T, $O, [$Then]>
+				? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
+				: $ResolveBranch<$O, [$Then], T>
 		: never
 }

package/src/numeric/is_not_numeric.ts

@@ -1,4 +1,4 @@
-import type { $SelectInvert } from '../type_plus/branch/$select_invert.js'
+import type { $SelectInvert } from '../equal/equal.js'
 
 /**
  * Is `T` not numeric.

package/src/numeric/is_not_positive.ts

@@ -1,8 +1,14 @@
+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 { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
 import type { IsBigint } from '../bigint/is_bigint.js'
 import type { IsNumber } from '../number/is_number.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $Then } from '../type_plus/branch/$selection.js'
 
 /**
  * Is `T` not a positive numeric type.
@@ -33,18 +39,22 @@ export type IsNotPositive<T, $O extends IsNotPositive.$Options = {}> = IsBigint<
 		: 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]>
+				: $ResolveBranch<$O, [$Then], Exclude<T, number | bigint>>
 			: never
 	: never
 
 export namespace IsNotPositive {
-	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>
+
 	export type _Negative<T, U extends number | bigint, $O extends IsNotPositive.$Options> = T extends U
 		? `${T}` extends `-${string}`
-			? $ResolveBranch<T, $O, [$Then]>
+			? $ResolveBranch<$O, [$Then], T>
 			: U extends T
-				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
-				: $ResolveBranch<T, $O, [$Else]>
+				? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
+				: $ResolveBranch<$O, [$Else]>
 		: never
 }

package/src/numeric/is_numeric.ts

@@ -1,4 +1,15 @@
-import type { $Select } from '../type_plus/branch/$select.js'
+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'
 
 /**
  * Is `T` numeric.
@@ -11,10 +22,31 @@ import type { $Select } from '../type_plus/branch/$select.js'
  * type R = IsNumeric<unknown> // false
  * ```
  */
-export type IsNumeric<T, $O extends IsNumeric.$Options = {}> = $Select<T, number | bigint, $O>
+export type IsNumeric<T, $O extends IsNumeric.$Options = {}> = $Special<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<$O, [$Else]>
+			$else: IsNumeric.$<T, $O>
+		}
+	>
+>
 
 export namespace IsNumeric {
-	export type $Options = $Select.$Options
-	export type $Default = $Select.$Default
-	export type $Branch = $Select.$Branch
+	export type $Options = $Selection.Options &
+		$Distributive.Options &
+		$Exact.Options &
+		$InputOptions<$Any | $Unknown | $Never | $Void>
+	export type $Default = $Selection.Predicate & $Distributive.Default & $Exact.Default
+	export type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>
+	/**
+	 * 🧰 *type util*
+	 *
+	 * Validate if `T` is `Function`.
+	 *
+	 * This is a type util for building custom types.
+	 * It does not check against special types.
+	 */
+	export type $<T, $O extends Assignable.$UtilOptions> = Assignable.$<T, number | bigint, $O>
 }

package/src/numeric/is_positive.ts

@@ -1,8 +1,14 @@
+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 { $Unknown } from '../$type/special/$unknown.js'
+import type { $Void } from '../$type/special/$void.js'
 import type { IsBigint } from '../bigint/is_bigint.js'
 import type { IsNumber } from '../number/is_number.js'
-import type { $Equality } from '../type_plus/$equality.js'
-import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
-import type { $Else, $Then } from '../type_plus/branch/$selection.js'
 
 /**
  * Is `T` a positive numeric type.
@@ -23,29 +29,31 @@ export type IsPositive<T, $O extends IsPositive.$Options = {}> = IsBigint<
 	T,
 	{
 		distributive: $O['distributive']
-		$then: $Then
-		$else: $Else
+		$then: IsPositive._Positive<T, bigint, $O>
+		$else: IsNumber<
+			Exclude<T, bigint>,
+			{
+				distributive: $O['distributive']
+				$then: IsPositive._Positive<T, number, $O>
+				$else: $ResolveBranch<$O, [$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 $Options = $Selection.Options &
+		$Distributive.Options &
+		$Exact.Options &
+		$InputOptions<$Any | $Unknown | $Never | $Void>
+	export type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>
+
 	export type _Positive<T, U extends number | bigint, $O extends IsPositive.$Options> = T extends U & infer R
 		? `${T}` extends `-${string}`
-			? $ResolveBranch<T, $O, [$Else]>
+			? $ResolveBranch<$O, [$Else]>
 			: U extends T
-				? $ResolveBranch<T, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+				? $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
 				: [T, R] extends [R, T]
-					? $ResolveBranch<T, $O, [$Then]>
-					: $ResolveBranch<number, $O, [$Then]> | $ResolveBranch<T, $O, [$Else]>
+					? $ResolveBranch<$O, [$Then], T>
+					: $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
 		: never
 }

package/src/object/ANotB.ts

@@ -1,7 +1,7 @@
-import type { IsEqual } from '../equal/equal.js'
-import type { AnyRecord } from './any_record.js'
+import type { IsEqual } from '../equal/is_equal.js'
 import type { IsDisjoint } from './IsDisjoint.js'
 import type { KeysWithDiffType } from './KeysWithDiffType.js'
+import type { AnyRecord } from './any_record.js'
 
 export type ANotB<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
 	? never

package/src/object/KeysWithDiffType.ts

@@ -1,6 +1,6 @@
-import type { AnyRecord } from './any_record.js'
 import type { IsDisjoint } from './IsDisjoint.js'
 import type { ValueOf } from './ValueOf.js'
+import type { AnyRecord } from './any_record.js'
 
 export type KeysWithDiffType<A extends AnyRecord, B extends AnyRecord> = IsDisjoint<A, B> extends true
 	? never

package/src/object/adjust_exact_optional_props.ts

@@ -1,6 +1,6 @@
+import type { RequiredKeys } from './RequiredKeys.js'
 import type { AnyRecord } from './any_record.js'
 import type { OptionalKeys } from './optional_key.js'
-import type { RequiredKeys } from './RequiredKeys.js'
 
 /**
  * ⚗️ *transform*

package/src/object/is_not_object.ts

@@ -1,14 +1,18 @@
+import type { $ResolveOptions } from '../$type/$resolve_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 { $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 { IdentityEqual } from '../equal/identity_equal.js'
 import type { IsNever } from '../never/is_never.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 { $ResolveOptions } from '../type_plus/$resolve_options.js'
-import type { $SpecialType } from '../type_plus/$special_type.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'
 
 /**
  * Is `T` not an `object`.
@@ -89,19 +93,22 @@ 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<
+export type IsNotObject<T, $O extends IsNotObject.$Options = {}> = $Special<
 	T,
 	$MergeOptions<
 		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>
+			$then: $ResolveBranch<$O, [$Then], T>
 			$else: IsNotObject.$<T, $O>
 		}
 	>
 >
 export namespace IsNotObject {
-	export type $Options = $Equality.$Options & $ExactOptions
-	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*
@@ -111,29 +118,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'], $ExactDefault]> 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
+		? $Distributive.Parse<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, object, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
+	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.Options
 
 	export type _D<T, $O extends $UtilOptions> = T extends object
 		? IdentityEqual<
 				T,
 				{},
-				$ResolveBranch<T, $O, [$Then]>,
+				$ResolveBranch<$O, [$Then], T>,
 				IsNever<
 					keyof T,
 					{
-						$then: $ResolveBranch<T, $O, [$Else]>
-						$else: $ResolveBranch<T, $O, [$Then]>
+						$then: $ResolveBranch<$O, [$Else]>
+						$else: $ResolveBranch<$O, [$Then], T>
 					}
 				>
 			>
-		: $ResolveBranch<T, $O, [$Then]>
+		: $ResolveBranch<$O, [$Then], T>
 
 	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]>
+			? $ResolveBranch<$O, [$Then], T>
+			: $ResolveBranch<$O, [$Else]>
+		: $ResolveBranch<$O, [$Then], T>
 }

package/src/object/is_object.ts

@@ -1,14 +1,18 @@
+import type { $ResolveOptions } from '../$type/$resolve_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 { $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 { IdentityEqual } from '../equal/identity_equal.js'
 import type { IsNever } from '../never/is_never.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 { $ResolveOptions } from '../type_plus/$resolve_options.js'
-import type { $SpecialType } from '../type_plus/$special_type.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'
 
 /**
  * 🎭 *predicate*
@@ -76,20 +80,23 @@ 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<
+export type IsObject<T, $O extends IsObject.$Options = {}> = $Special<
 	T,
 	$MergeOptions<
 		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Else]>
+			$then: $ResolveBranch<$O, [$Else]>
 			$else: IsObject.$<T, $O>
 		}
 	>
 >
 
 export namespace IsObject {
-	export type $Options = $Equality.$Options & $ExactOptions
-	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*
@@ -99,29 +106,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'], $ExactDefault]> 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
+		? $Distributive.Parse<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, object, $O>
-	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
+	export type $UtilOptions = Assignable.$UtilOptions & $Exact.Options
 
 	export type _D<T, $O extends $UtilOptions> = T extends object
 		? IdentityEqual<
 				T,
 				{},
-				$ResolveBranch<T, $O, [$Else]>,
+				$ResolveBranch<$O, [$Else]>,
 				IsNever<
 					keyof T,
 					{
-						$then: $ResolveBranch<T, $O, [$Then]>
-						$else: $ResolveBranch<T, $O, [$Else]>
+						$then: $ResolveBranch<$O, [$Then], T>
+						$else: $ResolveBranch<$O, [$Else]>
 					}
 				>
 			>
-		: $ResolveBranch<T, $O, [$Else]>
+		: $ResolveBranch<$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]>
-		: $ResolveBranch<T, $O, [$Else]>
+			? $ResolveBranch<$O, [$Else]>
+			: $ResolveBranch<$O, [$Then], T>
+		: $ResolveBranch<$O, [$Else]>
 }

package/src/object/left_join.ts

@@ -1,6 +1,6 @@
-import type { IsEqual } from '../equal/equal.js'
-import type { AnyRecord } from './any_record.js'
+import type { IsEqual } from '../equal/is_equal.js'
 import type { IsDisjoint } from './IsDisjoint.js'
+import type { AnyRecord } from './any_record.js'
 import type { Properties } from './properties.js'
 
 export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true

package/src/object/mapProperties.ts

@@ -1,6 +1,6 @@
+import type { ValueOf } from './ValueOf.js'
 import type { AnyRecord } from './any_record.js'
 import { reduceByKey } from './reduceKey.js'
-import type { ValueOf } from './ValueOf.js'
 
 /**
  * An Object-specific version of `map`.