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

package/src/object/pick.ts

@@ -7,20 +7,20 @@ export function pick<T extends AnyRecord, P1 extends UnionKeys<T>>(subject: T, p
 export function pick<T extends AnyRecord, P1 extends UnionKeys<T>, P2 extends UnionKeys<T>>(
 	subject: T,
 	prop1: P1,
-	prop2: P2
+	prop2: P2,
 ): Pick<T, P1 | P2>
-export function pick<
-	T extends AnyRecord,
-	P1 extends UnionKeys<T>,
-	P2 extends UnionKeys<T>,
-	P3 extends UnionKeys<T>
->(subject: T, prop1: P1, prop2: P2, prop3: P3): Pick<T, P1 | P2 | P3>
+export function pick<T extends AnyRecord, P1 extends UnionKeys<T>, P2 extends UnionKeys<T>, P3 extends UnionKeys<T>>(
+	subject: T,
+	prop1: P1,
+	prop2: P2,
+	prop3: P3,
+): Pick<T, P1 | P2 | P3>
 export function pick<
 	T extends AnyRecord,
 	P1 extends UnionKeys<T>,
 	P2 extends UnionKeys<T>,
 	P3 extends UnionKeys<T>,
-	P4 extends UnionKeys<T>
+	P4 extends UnionKeys<T>,
 >(subject: T, prop1: P1, prop2: P2, prop3: P3, prop4: P4): Pick<T, P1 | P2 | P3 | P4>
 export function pick<
 	T extends AnyRecord,
@@ -28,7 +28,7 @@ export function pick<
 	P2 extends UnionKeys<T>,
 	P3 extends UnionKeys<T>,
 	P4 extends UnionKeys<T>,
-	P5 extends UnionKeys<T>
+	P5 extends UnionKeys<T>,
 >(subject: T, prop1: P1, prop2: P2, prop3: P3, prop4: P4, prop5: P5): Pick<T, P1 | P2 | P3 | P4 | P5>
 export function pick<
 	T extends AnyRecord,
@@ -37,16 +37,8 @@ export function pick<
 	P3 extends UnionKeys<T>,
 	P4 extends UnionKeys<T>,
 	P5 extends UnionKeys<T>,
-	P6 extends UnionKeys<T>
->(
-	subject: T,
-	prop1: P1,
-	prop2: P2,
-	prop3: P3,
-	prop4: P4,
-	prop5: P5,
-	prop6: P6
-): Pick<T, P1 | P2 | P3 | P4 | P5 | P6>
+	P6 extends UnionKeys<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 pick<
 	T extends AnyRecord,
 	P1 extends UnionKeys<T>,
@@ -55,7 +47,7 @@ export function pick<
 	P4 extends UnionKeys<T>,
 	P5 extends UnionKeys<T>,
 	P6 extends UnionKeys<T>,
-	P7 extends UnionKeys<T>
+	P7 extends UnionKeys<T>,
 >(
 	subject: T,
 	prop1: P1,
@@ -64,7 +56,7 @@ export function pick<
 	prop4: P4,
 	prop5: P5,
 	prop6: P6,
-	prop7: P7
+	prop7: P7,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7>
 export function pick<
 	T extends AnyRecord,
@@ -75,7 +67,7 @@ export function pick<
 	P5 extends UnionKeys<T>,
 	P6 extends UnionKeys<T>,
 	P7 extends UnionKeys<T>,
-	P8 extends UnionKeys<T>
+	P8 extends UnionKeys<T>,
 >(
 	subject: T,
 	prop1: P1,
@@ -85,7 +77,7 @@ export function pick<
 	prop5: P5,
 	prop6: P6,
 	prop7: P7,
-	prop8: P8
+	prop8: P8,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8>
 export function pick<
 	T extends AnyRecord,
@@ -97,7 +89,7 @@ export function pick<
 	P6 extends UnionKeys<T>,
 	P7 extends UnionKeys<T>,
 	P8 extends UnionKeys<T>,
-	P9 extends UnionKeys<T>
+	P9 extends UnionKeys<T>,
 >(
 	subject: T,
 	prop1: P1,
@@ -108,7 +100,7 @@ export function pick<
 	prop6: P6,
 	prop7: P7,
 	prop8: P8,
-	prop9: P9
+	prop9: P9,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9>
 export function pick<
 	T extends AnyRecord,
@@ -121,7 +113,7 @@ export function pick<
 	P7 extends UnionKeys<T>,
 	P8 extends UnionKeys<T>,
 	P9 extends UnionKeys<T>,
-	P10 extends UnionKeys<T>
+	P10 extends UnionKeys<T>,
 >(
 	subject: T,
 	prop1: P1,
@@ -133,7 +125,7 @@ export function pick<
 	prop7: P7,
 	prop8: P8,
 	prop9: P9,
-	prop10: P10
+	prop10: P10,
 ): Pick<T, P1 | P2 | P3 | P4 | P5 | P6 | P7 | P8 | P9 | P10>
 export function pick<
 	T extends AnyRecord,
@@ -147,7 +139,7 @@ export function pick<
 	P8 extends UnionKeys<T>,
 	P9 extends UnionKeys<T>,
 	P10 extends UnionKeys<T>,
-	P11 extends UnionKeys<T>
+	P11 extends UnionKeys<T>,
 >(
 	subject: T,
 	prop1: P1,
@@ -160,7 +152,7 @@ export function pick<
 	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 pick<
 	T extends AnyRecord,
@@ -175,7 +167,7 @@ export function pick<
 	P9 extends UnionKeys<T>,
 	P10 extends UnionKeys<T>,
 	P11 extends UnionKeys<T>,
-	P12 extends UnionKeys<T>
+	P12 extends UnionKeys<T>,
 >(
 	subject: T,
 	prop1: P1,
@@ -189,12 +181,9 @@ export function pick<
 	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 pick<T extends AnyRecord, Props extends UnionKeys<T>>(
-	subject: T,
-	...props: Props[]
-): Pick<T, Props>
+export function pick<T extends AnyRecord, Props extends UnionKeys<T>>(subject: T, ...props: Props[]): Pick<T, Props>
 export function pick<T extends AnyRecord>(subject: T, ...props: Array<UnionKeys<T>>) {
 	return reduceByKey(
 		subject,
@@ -202,7 +191,7 @@ export function pick<T extends AnyRecord>(subject: T, ...props: Array<UnionKeys<
 			if (props.indexOf(k) >= 0) p[k] = subject[k]
 			return p
 		},
-		Object.getPrototypeOf(subject) === null ? record() : {}
+		Object.getPrototypeOf(subject) === null ? record() : {},
 	)
 }
 

package/src/object/recursive_partial.ts

@@ -30,10 +30,10 @@ export type RecursivePartial<T> = {
 	[P in keyof T]?: T[P] extends (infer U)[]
 		? RecursivePartial<U>[] | undefined
 		: T[P] extends infer F extends AnyFunction
-		? [keyof T[P]] extends [undefined]
-			? T[P] | undefined
-			: ExtractFunction<F> & RecursivePartial<Properties<T[P]>>
-		: T[P] extends AnyRecord
-		? RecursivePartial<T[P]> | undefined
-		: T[P] | undefined
+			? [keyof T[P]] extends [undefined]
+				? T[P] | undefined
+				: ExtractFunction<F> & RecursivePartial<Properties<T[P]>>
+			: T[P] extends AnyRecord
+				? RecursivePartial<T[P]> | undefined
+				: T[P] | undefined
 }

package/src/object/reduceKey.ts

@@ -3,7 +3,7 @@ import type { KeyTypes } from './KeyTypes.js'
 export function reduceByKey<S extends Record<KeyTypes, any>, T>(
 	subject: S,
 	callbackfn: (previousValue: T, key: keyof S, currentIndex: number, array: string[], subject: S) => T,
-	initialValue: T
+	initialValue: T,
 ): T {
 	return Object.keys(subject).reduce((p, k, i, a) => callbackfn(p, k, i, a, subject), initialValue)
 }

package/src/object/replaceProperty.ts

@@ -5,7 +5,7 @@ export type ReplaceProperty<T extends AnyRecord, K extends keyof T, V> = Omit<T,
 export function replaceProperty<T extends AnyRecord, K extends keyof T, V>(
 	subject: T,
 	key: K,
-	value: V
+	value: V,
 ): ReplaceProperty<T, K, V> {
 	return { ...subject, [key]: value }
 }

package/src/object/someKey.ts

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

package/src/object/split.ts

@@ -15,64 +15,53 @@ export type Split<T extends AnyRecord, S extends AnyRecord> = {
  */
 export function split<T extends AnyRecord, S1 extends Splitter<T>>(
 	target: T,
-	split1: S1
+	split1: S1,
 ): [Split<T, S1>, Omit<T, keyof S1>]
 export function split<T extends AnyRecord, S1 extends Splitter<T>, S2 extends Splitter<T>>(
 	target: T,
 	split1: S1,
-	split2: S2
+	split2: S2,
 ): [Split<T, S1>, Split<T, S2>, Omit<T, keyof S1 | keyof S2>]
-export function split<
-	T extends AnyRecord,
-	S1 extends Splitter<T>,
-	S2 extends Splitter<T>,
-	S3 extends Splitter<T>
->(
+export function split<T extends AnyRecord, S1 extends Splitter<T>, S2 extends Splitter<T>, S3 extends Splitter<T>>(
 	target: T,
 	splitter1: S1,
 	splitter2: S2,
-	splitter3: S3
+	splitter3: S3,
 ): [Split<T, S1>, Split<T, S2>, Split<T, S3>, Omit<T, keyof S1 | keyof S2 | keyof S3>]
 export function split<
 	T extends AnyRecord,
 	S1 extends Splitter<T>,
 	S2 extends Splitter<T>,
 	S3 extends Splitter<T>,
-	S4 extends Splitter<T>
+	S4 extends Splitter<T>,
 >(
 	target: T,
 	splitter1: S1,
 	splitter2: S2,
 	splitter3: S3,
-	splitter4: S4
-): [
-	Split<T, S1>,
-	Split<T, S2>,
-	Split<T, S3>,
-	Split<T, S4>,
-	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4>
-]
+	splitter4: S4,
+): [Split<T, S1>, Split<T, S2>, Split<T, S3>, Split<T, S4>, Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4>]
 export function split<
 	T extends AnyRecord,
 	S1 extends Splitter<T>,
 	S2 extends Splitter<T>,
 	S3 extends Splitter<T>,
 	S4 extends Splitter<T>,
-	S5 extends Splitter<T>
+	S5 extends Splitter<T>,
 >(
 	target: T,
 	splitter1: S1,
 	splitter2: S2,
 	splitter3: S3,
 	splitter4: S4,
-	splitter5: S5
+	splitter5: S5,
 ): [
 	Split<T, S1>,
 	Split<T, S2>,
 	Split<T, S3>,
 	Split<T, S4>,
 	Split<T, S5>,
-	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5>
+	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5>,
 ]
 export function split<
 	T extends AnyRecord,
@@ -81,7 +70,7 @@ export function split<
 	S3 extends Splitter<T>,
 	S4 extends Splitter<T>,
 	S5 extends Splitter<T>,
-	S6 extends Splitter<T>
+	S6 extends Splitter<T>,
 >(
 	target: T,
 	splitter1: S1,
@@ -89,7 +78,7 @@ export function split<
 	splitter3: S3,
 	splitter4: S4,
 	splitter5: S5,
-	splitter6: S6
+	splitter6: S6,
 ): [
 	Split<T, S1>,
 	Split<T, S2>,
@@ -97,7 +86,7 @@ export function split<
 	Split<T, S4>,
 	Split<T, S5>,
 	Split<T, S6>,
-	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6>
+	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6>,
 ]
 export function split<
 	T extends AnyRecord,
@@ -107,7 +96,7 @@ export function split<
 	S4 extends Splitter<T>,
 	S5 extends Splitter<T>,
 	S6 extends Splitter<T>,
-	S7 extends Splitter<T>
+	S7 extends Splitter<T>,
 >(
 	target: T,
 	splitter1: S1,
@@ -116,7 +105,7 @@ export function split<
 	splitter4: S4,
 	splitter5: S5,
 	splitter6: S6,
-	splitter7: S7
+	splitter7: S7,
 ): [
 	Split<T, S1>,
 	Split<T, S2>,
@@ -125,7 +114,7 @@ export function split<
 	Split<T, S5>,
 	Split<T, S6>,
 	Split<T, S7>,
-	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6 | keyof S7>
+	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6 | keyof S7>,
 ]
 export function split<
 	T extends AnyRecord,
@@ -136,7 +125,7 @@ export function split<
 	S5 extends Splitter<T>,
 	S6 extends Splitter<T>,
 	S7 extends Splitter<T>,
-	S8 extends Splitter<T>
+	S8 extends Splitter<T>,
 >(
 	target: T,
 	splitter1: S1,
@@ -146,7 +135,7 @@ export function split<
 	splitter5: S5,
 	splitter6: S6,
 	splitter7: S7,
-	splitter8: S8
+	splitter8: S8,
 ): [
 	Split<T, S1>,
 	Split<T, S2>,
@@ -156,7 +145,7 @@ export function split<
 	Split<T, S6>,
 	Split<T, S7>,
 	Split<T, S8>,
-	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6 | keyof S7 | keyof S8>
+	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6 | keyof S7 | keyof S8>,
 ]
 export function split<
 	T extends AnyRecord,
@@ -168,7 +157,7 @@ export function split<
 	S6 extends Splitter<T>,
 	S7 extends Splitter<T>,
 	S8 extends Splitter<T>,
-	S9 extends Splitter<T>
+	S9 extends Splitter<T>,
 >(
 	target: T,
 	splitter1: S1,
@@ -179,7 +168,7 @@ export function split<
 	splitter6: S6,
 	splitter7: S7,
 	splitter8: S8,
-	splitter9: S9
+	splitter9: S9,
 ): [
 	Split<T, S1>,
 	Split<T, S2>,
@@ -190,12 +179,12 @@ export function split<
 	Split<T, S7>,
 	Split<T, S8>,
 	Split<T, S9>,
-	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6 | keyof S7 | keyof S8 | keyof S9>
+	Omit<T, keyof S1 | keyof S2 | keyof S3 | keyof S4 | keyof S5 | keyof S6 | keyof S7 | keyof S8 | keyof S9>,
 ]
 export function split(target: AnyRecord, ...splitters: AnyRecord[]): AnyRecord[] {
 	const keyMap: AnyRecord = {}
-	const s = splitters.map(s =>
-		reduceByKey(s, (p, k) => ((keyMap[k] = true), (p[k] = target[k] ?? s[k]), p), {} as AnyRecord)
+	const s = splitters.map((s) =>
+		reduceByKey(s, (p, k) => ((keyMap[k] = true), (p[k] = target[k] ?? s[k]), p), {} as AnyRecord),
 	)
 	const r = reduceByKey(target, (p, k) => (keyMap[k] ? p : ((p[k] = target[k]), p)), {} as AnyRecord)
 	return [...s, r]

package/src/object/typeOverrideIncompatible.ts

@@ -2,7 +2,7 @@ import type { ANotB, AnyRecord } from './index.js'
 
 export function typeOverrideIncompatible<A extends AnyRecord>() {
 	return <B extends AnyRecord>(source: B, override: ANotB<A, B>): A => ({
-			...source,
-			...override
-		})
+		...source,
+		...override,
+	})
 }

package/src/predicates/CanAssign.ts

@@ -28,11 +28,11 @@ import type { NotExtendable } from './Extends.js'
  */
 export type CanAssign<A, B, Then = true, Else = false> = boolean extends A
 	? boolean extends B
-	? Then
-	: Else
+		? Then
+		: Else
 	: A extends B
-	? Then
-	: Else
+		? Then
+		: Else
 
 /**
  * Can `A` strictly assign to `B`.
@@ -47,7 +47,11 @@ export type CanAssign<A, B, Then = true, Else = false> = boolean extends A
  * StrictCanAssign<number | string, number | string> // true
  * ```
  */
-export type StrictCanAssign<A, B, Then = true, Else = false> = Assignable<A, B, { distributive: false, $then: Then, $else: Else }>
+export type StrictCanAssign<A, B, Then = true, Else = false> = Assignable<
+	A,
+	B,
+	{ distributive: false; $then: Then; $else: Else }
+>
 
 /**
  * @deprecated use `Assignable<A, B>` instead

package/src/predicates/assignable.ts

@@ -56,22 +56,23 @@ import type { $Unknown } from '../unknown/unknown.js'
  * type R = Assignable<never, any, { $never: 1 }> // 1
  * ```
  */
-export type Assignable<
-	A,
+export type Assignable<A, B, $O extends Assignable.$Options = {}> = $SpecialType<
 	B,
-	$O extends Assignable.$Options = {}
-> = $SpecialType<B, {
-	$any: $ResolveBranch<A, $O, [0 extends 1 & A ? $Any : unknown, $Then]>,
-	$unknown: $ResolveBranch<A, $O, [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Then]>,
-	$never: $ResolveBranch<A, $O, [A, never] extends [never, A] ? [$Never, $Then] : [$Else]>,
-	$else: $SpecialType<A, {
-		$any: $ResolveBranch<A, $O, [$Any, $Then]>,
-		$unknown: $ResolveBranch<A, $O, [$Unknown, $Then]>,
-		$never: $ResolveBranch<A, $O, [$Never, $Then]>,
-		$else: Assignable.$<A, B, $O>
-	}>
-}>
-
+	{
+		$any: $ResolveBranch<A, $O, [0 extends 1 & A ? $Any : unknown, $Then]>
+		$unknown: $ResolveBranch<A, $O, [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Then]>
+		$never: $ResolveBranch<A, $O, [A, never] extends [never, A] ? [$Never, $Then] : [$Else]>
+		$else: $SpecialType<
+			A,
+			{
+				$any: $ResolveBranch<A, $O, [$Any, $Then]>
+				$unknown: $ResolveBranch<A, $O, [$Unknown, $Then]>
+				$never: $ResolveBranch<A, $O, [$Never, $Then]>
+				$else: Assignable.$<A, B, $O>
+			}
+		>
+	}
+>
 
 export namespace Assignable {
 	export type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>
@@ -88,15 +89,13 @@ export namespace Assignable {
 	 *
 	 * It is suitable for building custom types.
 	 */
-	export type $<
-		A,
-		B,
-		$O extends $UtilOptions
-	> =
-		$IsDistributive<$O, {
-			$then: A extends B ? $ResolveBranch<A, $O, [$Then]> : $ResolveBranch<A, $O, [$Else]>,
-			$else: [A] extends [B] ? $ResolveBranch<A, $O, [$Then]> : $ResolveBranch<A, $O, [$Else]>,
-		}>
+	export type $<A, B, $O extends $UtilOptions> = $IsDistributive<
+		$O,
+		{
+			$then: A extends B ? $ResolveBranch<A, $O, [$Then]> : $ResolveBranch<A, $O, [$Else]>
+			$else: [A] extends [B] ? $ResolveBranch<A, $O, [$Then]> : $ResolveBranch<A, $O, [$Else]>
+		}
+	>
 
 	export type $UtilOptions = $SelectionOptions & $DistributiveOptions
 }

package/src/predicates/literal.ts

@@ -21,15 +21,15 @@
 export type IsLiteral<
 	T extends number | boolean | bigint | string | symbol,
 	Then = true,
-	Else = false
+	Else = false,
 > = number extends T
 	? Else
 	: string extends T
-	? Else
-	: boolean extends T
-	? Else
-	: symbol extends T
-	? Else
-	: bigint extends T
-	? Else
-	: Then
+		? Else
+		: boolean extends T
+			? Else
+			: symbol extends T
+				? Else
+				: bigint extends T
+					? Else
+					: Then

package/src/predicates/logical.ts

@@ -7,13 +7,13 @@ export type And<A extends boolean, B extends boolean, Then = true, Else = false>
 export type Or<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true
 	? Then
 	: B extends true
-	? Then
-	: Else
+		? Then
+		: Else
 
 export type Not<X extends boolean, Then = true, Else = false> = X extends true ? Else : Then
 
 export type Xor<A extends boolean, B extends boolean, Then = true, Else = false> = A extends Then
 	? Not<B>
 	: B extends true
-	? Then
-	: Else
+		? Then
+		: Else

package/src/predicates/not_assignable.ts

@@ -56,21 +56,23 @@ import type { $Unknown } from '../unknown/unknown.js'
  * type R = NotAssignable<never, any, { $never: 1 }> // 1
  * ```
  */
-export type NotAssignable<
-	A,
+export type NotAssignable<A, B, $O extends NotAssignable.$Options = {}> = $SpecialType<
 	B,
-	$O extends NotAssignable.$Options = {}
-> = $SpecialType<B, {
-	$any: $ResolveBranch<A, $O, [0 extends 1 & A ? $Any : unknown, $Else]>,
-	$unknown: $ResolveBranch<A, $O, [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Else]>,
-	$never: $ResolveBranch<A, $O, [A, never] extends [never, A] ? [$Never, $Else] : [$Then]>,
-	$else: $SpecialType<A, {
-		$any: $ResolveBranch<A, $O, [$Any, $Else]>,
-		$unknown: $ResolveBranch<A, $O, [$Unknown, $Else]>,
-		$never: $ResolveBranch<A, $O, [$Never, $Else]>,
-		$else: NotAssignable.$<A, B, $O>
-	}>
-}>
+	{
+		$any: $ResolveBranch<A, $O, [0 extends 1 & A ? $Any : unknown, $Else]>
+		$unknown: $ResolveBranch<A, $O, [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Else]>
+		$never: $ResolveBranch<A, $O, [A, never] extends [never, A] ? [$Never, $Else] : [$Then]>
+		$else: $SpecialType<
+			A,
+			{
+				$any: $ResolveBranch<A, $O, [$Any, $Else]>
+				$unknown: $ResolveBranch<A, $O, [$Unknown, $Else]>
+				$never: $ResolveBranch<A, $O, [$Never, $Else]>
+				$else: NotAssignable.$<A, B, $O>
+			}
+		>
+	}
+>
 
 export namespace NotAssignable {
 	export type $Options = $SelectionOptions & $DistributiveOptions & $InputOptions<$Any | $Unknown | $Never>
@@ -87,14 +89,13 @@ export namespace NotAssignable {
 	 *
 	 * It is suitable for building custom types.
 	 */
-	export type $<
-		A,
-		B,
-		$O extends $UtilOptions
-	> = $IsDistributive<$O, {
-		$then: A extends B ? $ResolveBranch<A, $O, [$Else]> : $ResolveBranch<A, $O, [$Then]>,
-		$else: [A] extends [B] ? $ResolveBranch<A, $O, [$Else]> : $ResolveBranch<A, $O, [$Then]>,
-	}>
+	export type $<A, B, $O extends $UtilOptions> = $IsDistributive<
+		$O,
+		{
+			$then: A extends B ? $ResolveBranch<A, $O, [$Else]> : $ResolveBranch<A, $O, [$Then]>
+			$else: [A] extends [B] ? $ResolveBranch<A, $O, [$Else]> : $ResolveBranch<A, $O, [$Then]>
+		}
+	>
 
 	export type $UtilOptions = $SelectionOptions & $DistributiveOptions
 }

package/src/primitive.ts

@@ -1,13 +1,4 @@
 /**
  * 📘 Definition of all primitive types.
  */
-export type PrimitiveTypes =
-	| boolean
-	| number
-	| string
-	| object
-	| symbol
-	| bigint
-	| Function
-	| undefined
-	| null
+export type PrimitiveTypes = boolean | number | string | object | symbol | bigint | Function | undefined | null

package/src/promise/MaybePromise.ts

@@ -20,12 +20,12 @@ export function transformMaybePromise<T, R>(value: Promise<T>, transformer: (val
  */
 export function transformMaybePromise<T, R>(
 	value: T,
-	transformer: (value: T) => R
+	transformer: (value: T) => R,
 ): T extends Promise<any> ? Promise<R> : R
 export function transformMaybePromise<T, R>(value: MaybePromise<T>, transformer: (value: T) => R) {
 	return isPromise(value) ? value.then(transformer) : transformer(value)
 }
 
 export const MaybePromise = {
-	transform: transformMaybePromise
+	transform: transformMaybePromise,
 }

package/src/promise/PromiseValueMerge.ts

@@ -10,7 +10,7 @@ export type PromiseValueMerge<
 	P6 extends Promise<any> = any,
 	P7 extends Promise<any> = any,
 	P8 extends Promise<any> = any,
-	P9 extends Promise<any> = any
+	P9 extends Promise<any> = any,
 > = Promise<
 	Awaited<P1> &
 		Awaited<P2> &

package/src/promise/index.ts

@@ -1,5 +1,5 @@
 export * from './isPromise.js'
 export * from './mapSeries.js'
 export * from './MaybePromise.js'
-export type { AwaitedProp,PromiseValue } from './PromiseValue.js'
+export type { AwaitedProp, PromiseValue } from './PromiseValue.js'
 export type { PromiseValueMerge } from './PromiseValueMerge.js'

package/src/promise/mapSeries.ts

@@ -1,3 +1,3 @@
 export function mapSeries<R, T = any>(values: T[], fn: (value: T) => Promise<R>): Promise<R[]> {
-	return values.reduce((p, v) => p.then(r => fn(v).then(v => (r.push(v), r))), Promise.resolve<R[]>([]))
+	return values.reduce((p, v) => p.then((r) => fn(v).then((v) => (r.push(v), r))), Promise.resolve<R[]>([]))
 }