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

package/src/array/is_not_array.ts

@@ -2,7 +2,7 @@ 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 { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions, $IsExact } 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'
@@ -71,7 +71,7 @@ export type IsNotArray<T, $O extends IsNotArray.$Options = {}> = $SpecialType<
 	>
 >
 export namespace IsNotArray {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -82,7 +82,7 @@ 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<
+	export type $<T, $O extends $UtilOptions> = $IsExact<
 		$O,
 		{
 			$then: $IsDistributive<
@@ -110,5 +110,5 @@ export namespace IsNotArray {
 		}
 	>
 
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 }

package/src/array/pad_start.ts

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

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/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) {

package/src/bigint/is_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 { $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'
@@ -82,7 +82,7 @@ export type IsBigint<T, $O extends IsBigint.$Options = {}> = $SpecialType<
 >
 
 export namespace IsBigint {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -93,10 +93,10 @@ 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
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> 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 $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _SD<T, $O extends $Options> = T extends bigint & infer U
 		? U extends bigint

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/class/isConstructor.ts

@@ -28,7 +28,7 @@ export function isConstructor(subject: unknown): subject is AnyConstructor {
  */
 export function isInstanceof<T extends AnyConstructor>(
 	subject: unknown,
-	classConstructor: T
+	classConstructor: T,
 ): subject is InstanceType<T> {
 	return subject instanceof classConstructor
 }

package/src/functional/Maybe.ts

@@ -11,7 +11,7 @@ export function just<T>(value: T): IsEqual<T, undefined | null> extends true ? N
 	return {
 		unwrap() {
 			return value
-		}
+		},
 	} as any
 }
 

package/src/functional/context.ts

@@ -26,7 +26,7 @@ export type ContextBuilder<Init extends ContextBaseShape, Ctx extends ContextBas
 	 * it overrides the existing value.
 	 */
 	extend<Additional extends ContextBaseShape = ContextBaseShape>(
-		extender: ContextExtender<Ctx, Additional>
+		extender: ContextExtender<Ctx, Additional>,
 	): ContextBuilder<Init, LeftJoin<Ctx, Additional>>
 	/**
 	 * Build and return the context.
@@ -43,7 +43,7 @@ export type ContextBuilder<Init extends ContextBaseShape, Ctx extends ContextBas
  * use `build()` to build the context.
  */
 export function context<Init extends ContextBaseShape, Ctx extends ContextBaseShape = Init>(
-	init?: Init | (() => Init)
+	init?: Init | (() => Init),
 ): ContextBuilder<Init, Ctx> {
 	// eslint-disable-next-line @typescript-eslint/no-unsafe-return
 	return typeof init === 'function' ? contextBuilder({}, [[init]]) : (contextBuilder(init ?? {}, []) as any)
@@ -60,7 +60,7 @@ function contextBuilder(init: ContextBaseShape, extenders: Array<[ContextExtende
 				const v = typeof t === 'function' ? (extenders[i]![0] = t(p)) : t
 				return Object.assign({}, p, v)
 			}, init)
-		}
+		},
 	}
 }
 /* eslint-enable */

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'
@@ -136,3 +137,4 @@ export * from './utils/index.js'
 export type { TypePlusOptions } from './utils/options.js'
 export type * from './void/is_not_void.js'
 export type * from './void/is_void.js'
+

package/src/math/add.ts

@@ -2,7 +2,7 @@ import type { NumericStruct } from './numeric_struct.js'
 
 export type Add<A extends number | bigint, B extends number | bigint, Fail = never> = [
 	NumericStruct.FromNumeric<A, Fail>,
-	NumericStruct.FromNumeric<B, Fail>
+	NumericStruct.FromNumeric<B, Fail>,
 ] extends [infer MA, infer MB]
 	? MA extends NumericStruct
 		? MB extends NumericStruct

package/src/math/multiply.ts

@@ -2,7 +2,7 @@ import type { NumericStruct } from './numeric_struct.js'
 
 export type Multiply<A extends number | bigint, B extends number | bigint, Fail = never> = [
 	NumericStruct.FromNumeric<A, Fail>,
-	NumericStruct.FromNumeric<B, Fail>
+	NumericStruct.FromNumeric<B, Fail>,
 ] extends [infer MA, infer MB]
 	? MA extends NumericStruct
 		? MB extends NumericStruct

package/src/math/numeric_struct.ts

@@ -105,17 +105,17 @@ export namespace NumericStruct {
 
 	export type Add<A extends NumericStruct, B extends NumericStruct> = [
 		A[TYPE],
-		DigitsStruct.Add<A[DIGITS_STRUCT], B[DIGITS_STRUCT]>
+		DigitsStruct.Add<A[DIGITS_STRUCT], B[DIGITS_STRUCT]>,
 	]
 
 	export type Subtract<A extends NumericStruct, B extends NumericStruct> = [
 		A[TYPE],
-		DigitsStruct.Subtract<A[DIGITS_STRUCT], B[DIGITS_STRUCT]>
+		DigitsStruct.Subtract<A[DIGITS_STRUCT], B[DIGITS_STRUCT]>,
 	]
 
 	export type Multiply<A extends NumericStruct, B extends NumericStruct> = [
 		A[TYPE],
-		DigitsStruct.Multiply<A[DIGITS_STRUCT], B[DIGITS_STRUCT]>
+		DigitsStruct.Multiply<A[DIGITS_STRUCT], B[DIGITS_STRUCT]>,
 	]
 }
 
@@ -145,7 +145,7 @@ export namespace DigitsStruct {
 		? R extends `${infer W}.${infer F}`
 			? [DigitArray.FromString<W>, DigitArray.FromString<F>] extends [
 					infer WA extends number[],
-					infer FA extends number[]
+					infer FA extends number[],
 				]
 				? ['-', DigitArray.TrimLeadingZeros<[...WA, ...FA]>, FA['length']]
 				: never
@@ -153,7 +153,7 @@ export namespace DigitsStruct {
 		: `${N}` extends `${infer W}.${infer F}`
 			? [DigitArray.FromString<W>, DigitArray.FromString<F>] extends [
 					infer WA extends number[],
-					infer FA extends number[]
+					infer FA extends number[],
 				]
 				? ['+', DigitArray.TrimLeadingZeros<[...WA, ...FA]>, FA['length']]
 				: never
@@ -216,7 +216,7 @@ export namespace DigitsStruct {
 	 */
 	export type Normalize<
 		N extends DigitsStruct,
-		R extends DigitsStruct = ['+', [], 0]
+		R extends DigitsStruct = ['+', [], 0],
 	> = `${N[DIGITS][0]}` extends `-${number}`
 		? Normalize<FlipSign<N>, R>
 		: [N[SIGN], DigitArray.CarryDigits<N[DIGITS]>, N[EXPONENT]]
@@ -237,7 +237,7 @@ export namespace DigitsStruct {
 	 */
 	export type Add<A extends DigitsStruct, B extends DigitsStruct> = Balance<A, B> extends [
 		infer BA extends DigitsStruct,
-		infer BB extends DigitsStruct
+		infer BB extends DigitsStruct,
 	]
 		? [BA[SIGN], BB[SIGN]] extends ['+', '+']
 			? Normalize<['+', DigitArray.Add<BA[DIGITS], BB[DIGITS]>, BA[EXPONENT]]>
@@ -252,7 +252,7 @@ export namespace DigitsStruct {
 
 	export type Subtract<A extends DigitsStruct, B extends DigitsStruct> = Balance<A, B> extends [
 		infer BA extends DigitsStruct,
-		infer BB extends DigitsStruct
+		infer BB extends DigitsStruct,
 	]
 		? [BA[SIGN], BB[SIGN]] extends ['+', '+']
 			? Normalize<['+', DigitArray.Subtract<BA[DIGITS], BB[DIGITS]>, BA[EXPONENT]]>
@@ -296,7 +296,7 @@ export namespace DigitsStruct {
 		A extends number,
 		B extends number,
 		C extends number[] = [],
-		R extends number[] = []
+		R extends number[] = [],
 	> = A extends B
 		? [[], 'A']
 		: R extends []
@@ -400,7 +400,7 @@ export namespace DigitArray {
 				: never
 			: [A, B] extends [
 						[...infer AH extends number[], infer AL extends number],
-						[...infer BH extends number[], infer BL extends number]
+						[...infer BH extends number[], infer BL extends number],
 					]
 				? Add<AH, BH, [Digit.Add<AL, BL>, ...R]>
 				: never
@@ -417,7 +417,7 @@ export namespace DigitArray {
 				: never
 			: [A, B] extends [
 						[...infer AH extends number[], infer AL extends number],
-						[...infer BH extends number[], infer BL extends number]
+						[...infer BH extends number[], infer BL extends number],
 					]
 				? Subtract<AH, BH, [Digit.Subtract<AL, BL>, ...R]>
 				: never
@@ -593,7 +593,7 @@ export namespace Digit {
 		[78, 79, 80, 81, 82, 83, 84, 85, 86, 87],
 		[79, 80, 81, 82, 83, 84, 85, 86, 87, 88],
 		[80, 81, 82, 83, 84, 85, 86, 87, 88, 89],
-		[81, 82, 83, 84, 85, 86, 87, 88, 89, 90]
+		[81, 82, 83, 84, 85, 86, 87, 88, 89, 90],
 	][A][B]
 
 	/**
@@ -602,7 +602,7 @@ export namespace Digit {
 	 */
 	export type Subtract<A extends number, B extends number> = [`${A}`, `${B}`] extends [
 		`${number}${infer A2 extends number}`,
-		`${number}${infer B2 extends number}`
+		`${number}${infer B2 extends number}`,
 	]
 		? Subtract<A2, B2>
 		: `${A}` extends `${number}${infer A2 extends number}`
@@ -621,7 +621,7 @@ export namespace Digit {
 		[6, 5, 4, 3, 2, 1, 0, -1, -2, -3],
 		[7, 6, 5, 4, 3, 2, 1, 0, -1, -2],
 		[8, 7, 6, 5, 4, 3, 2, 1, 0, -1],
-		[9, 8, 7, 6, 5, 4, 3, 2, 1, 0]
+		[9, 8, 7, 6, 5, 4, 3, 2, 1, 0],
 	][A][B]
 
 	export type Plus10 = { [k in number]: number } & {
@@ -645,6 +645,6 @@ export namespace Digit {
 		[0, 6, 12, 18, 24, 30, 36, 42, 48, 54],
 		[0, 7, 14, 21, 28, 35, 42, 49, 56, 63],
 		[0, 8, 16, 24, 32, 40, 48, 56, 64, 72],
-		[0, 9, 18, 27, 36, 45, 54, 63, 72, 81]
+		[0, 9, 18, 27, 36, 45, 54, 63, 72, 81],
 	][A][B]
 }

package/src/math/subtract.ts

@@ -2,7 +2,7 @@ import type { NumericStruct } from './numeric_struct.js'
 
 export type Subtract<A extends number | bigint, B extends number | bigint, Fail = never> = [
 	NumericStruct.FromNumeric<A, Fail>,
-	NumericStruct.FromNumeric<B, Fail>
+	NumericStruct.FromNumeric<B, Fail>,
 ] extends [infer MA, infer MB]
 	? MA extends NumericStruct
 		? MB extends NumericStruct

package/src/nominal/nominal_match.ts

@@ -6,7 +6,7 @@ export function nominalMatch<A extends string, B extends A>(a: Brand<A, unknown>
 export function nominalMatch<A extends string, B extends A>(a: Flavor<A, unknown>, b: Flavor<B, unknown>): boolean
 export function nominalMatch<A extends string, B extends A>(
 	a: Brand<A, unknown> | Flavor<A, unknown>,
-	b: Brand<B, unknown> | Flavor<B, unknown>
+	b: Brand<B, unknown> | Flavor<B, unknown>,
 ) {
 	if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null) return a[typeSym] === b[typeSym]
 

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/everyKey.ts

@@ -3,7 +3,7 @@ import type { KeyTypes } from './KeyTypes.js'
 export function everyKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,
 	predicate: (this: T, key: keyof S, index: number, array: string[]) => unknown,
-	thisArg?: T
+	thisArg?: T,
 ): boolean {
 	return Object.keys(subject).every(predicate, thisArg)
 }

package/src/object/facade.ts

@@ -7,20 +7,20 @@ export function facade<T extends AnyRecord, P1 extends keyof T>(subject: T, prop
 export function facade<T extends AnyRecord, P1 extends keyof T, P2 extends keyof T>(
 	subject: T,
 	prop1: P1,
-	prop2: P2
+	prop2: P2,
 ): Pick<T, P1 | P2>
 export function facade<T extends AnyRecord, P1 extends keyof T, P2 extends keyof T, P3 extends keyof T>(
 	subject: T,
 	prop1: P1,
 	prop2: P2,
-	prop3: P3
+	prop3: P3,
 ): Pick<T, P1 | P2 | P3>
 export function facade<
 	T extends AnyRecord,
 	P1 extends keyof T,
 	P2 extends keyof T,
 	P3 extends keyof T,
-	P4 extends keyof T
+	P4 extends keyof T,
 >(subject: T, prop1: P1, prop2: P2, prop3: P3, prop4: P4): Pick<T, P1 | P2 | P3 | P4>
 export function facade<
 	T extends AnyRecord,
@@ -28,7 +28,7 @@ export function facade<
 	P2 extends keyof T,
 	P3 extends keyof T,
 	P4 extends keyof T,
-	P5 extends keyof T
+	P5 extends keyof T,
 >(subject: T, prop1: P1, prop2: P2, prop3: P3, prop4: P4, prop5: P5): Pick<T, P1 | P2 | P3 | P4 | P5>
 export function facade<
 	T extends AnyRecord,
@@ -37,7 +37,7 @@ export function facade<
 	P3 extends keyof T,
 	P4 extends keyof T,
 	P5 extends keyof T,
-	P6 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>
 export function facade<
 	T extends AnyRecord,
@@ -47,7 +47,7 @@ export function facade<
 	P4 extends keyof T,
 	P5 extends keyof T,
 	P6 extends keyof T,
-	P7 extends keyof T
+	P7 extends keyof T,
 >(
 	subject: T,
 	prop1: P1,
@@ -56,7 +56,7 @@ export function facade<
 	prop4: P4,
 	prop5: P5,
 	prop6: P6,
-	prop7: P7
+	prop7: P7,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7>
 export function facade<
 	T extends AnyRecord,
@@ -67,7 +67,7 @@ export function facade<
 	P5 extends keyof T,
 	P6 extends keyof T,
 	P7 extends keyof T,
-	P8 extends keyof T
+	P8 extends keyof T,
 >(
 	subject: T,
 	prop1: P1,
@@ -77,7 +77,7 @@ export function facade<
 	prop5: P5,
 	prop6: P6,
 	prop7: P7,
-	prop8: P8
+	prop8: P8,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8>
 export function facade<
 	T extends AnyRecord,
@@ -89,7 +89,7 @@ export function facade<
 	P6 extends keyof T,
 	P7 extends keyof T,
 	P8 extends keyof T,
-	P9 extends keyof T
+	P9 extends keyof T,
 >(
 	subject: T,
 	prop1: P1,
@@ -100,7 +100,7 @@ export function facade<
 	prop6: P6,
 	prop7: P7,
 	prop8: P8,
-	prop9: P9
+	prop9: P9,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9>
 export function facade<
 	T extends AnyRecord,
@@ -113,7 +113,7 @@ export function facade<
 	P7 extends keyof T,
 	P8 extends keyof T,
 	P9 extends keyof T,
-	P10 extends keyof T
+	P10 extends keyof T,
 >(
 	subject: T,
 	prop1: P1,
@@ -125,7 +125,7 @@ export function facade<
 	prop7: P7,
 	prop8: P8,
 	prop9: P9,
-	prop10: P10
+	prop10: P10,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10>
 export function facade<
 	T extends AnyRecord,
@@ -139,7 +139,7 @@ export function facade<
 	P8 extends keyof T,
 	P9 extends keyof T,
 	P10 extends keyof T,
-	P11 extends keyof T
+	P11 extends keyof T,
 >(
 	subject: T,
 	prop1: P1,
@@ -152,7 +152,7 @@ export function facade<
 	prop8: P8,
 	prop9: P9,
 	prop10: P10,
-	prop11: P11
+	prop11: P11,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11>
 export function facade<
 	T extends AnyRecord,
@@ -167,7 +167,7 @@ export function facade<
 	P9 extends keyof T,
 	P10 extends keyof T,
 	P11 extends keyof T,
-	P12 extends keyof T
+	P12 extends keyof T,
 >(
 	subject: T,
 	prop1: P1,
@@ -181,7 +181,7 @@ export function facade<
 	prop9: P9,
 	prop10: P10,
 	prop11: P11,
-	prop12: P12
+	prop12: P12,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10 | P11 | P12>
 export function facade<T extends AnyRecord>(subject: T, ...props: (keyof T)[]) {
 	return props.reduce((p, k) => {
@@ -198,7 +198,7 @@ export function facade<T extends AnyRecord>(subject: T, ...props: (keyof T)[]) {
 				set(value: any) {
 					// eslint-disable-next-line @typescript-eslint/no-unsafe-return, @typescript-eslint/no-unsafe-assignment
 					return (subject[k] = value)
-				}
+				},
 			})
 		}
 		return p

package/src/object/filterKey.ts

@@ -3,7 +3,7 @@ import type { KeyTypes } from './KeyTypes.js'
 export function filterKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,
 	predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>, subject: S) => boolean,
-	thisArg?: T
+	thisArg?: T,
 ): Array<keyof S> {
 	return Object.keys(subject).filter(function (this: T, k, i, a) {
 		return predicate.apply(this, [k, i, a, subject])

package/src/object/findKey.ts

@@ -3,7 +3,7 @@ import type { KeyTypes } from './KeyTypes.js'
 export function findKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,
 	predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>, subject: S) => boolean,
-	thisArg?: T
+	thisArg?: T,
 ): keyof S | undefined {
 	return Object.keys(subject).find(function (this: T, k, i, a) {
 		return predicate.apply(this, [k, i, a, subject])