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

package/src/boolean/is_not_boolean.ts

@@ -23,7 +23,7 @@ import type { IsBoolean } from './is_boolean.js'
  * type R = IsNotBoolean<number> // true
  * type R = IsNotBoolean<unknown> // true
  * type R = IsNotBoolean<string | boolean> // boolean
-	* ```
+ * ```
  *
  * 🔢 *customize*
  *
@@ -60,15 +60,16 @@ import type { IsBoolean } from './is_boolean.js'
  * type R = IsNotBoolean<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotBoolean<T, $O extends IsNotBoolean.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: IsNotBoolean.$<T, $O>
-			}
-		>
+export type IsNotBoolean<T, $O extends IsNotBoolean.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
+			$else: IsNotBoolean.$<T, $O>
+		}
 	>
+>
 
 export namespace IsNotBoolean {
 	export type $Options = $Equality.$Options & $Exact.$Options
@@ -82,28 +83,25 @@ export namespace IsNotBoolean {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		$ResolveOptions<[$O['exact'], false]> extends true
-		? $IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	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 _D<T, $O extends $Options> =
-		IsBoolean._DistributeMap<T> extends infer R
-		? ['aBcD' | 'AbCd' | 'abcd'] extends [R] ? $ResolveBranch<Exclude<T, boolean>, $O, [$Then | $Else]>
-		: ['aBcD' | 'AbCd'] extends [R] ? $ResolveBranch<T, $O, [$Else]>
-		: ['aBcd' | 'Abcd'] extends [R] ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>
+	export type _D<T, $O extends $Options> = IsBoolean._DistributeMap<T> extends infer R
+		? ['aBcD' | 'AbCd' | 'abcd'] extends [R]
+			? $ResolveBranch<Exclude<T, boolean>, $O, [$Then | $Else]>
+			: ['aBcD' | 'AbCd'] extends [R]
+				? $ResolveBranch<T, $O, [$Else]>
+				: ['aBcd' | 'Abcd'] extends [R]
+					? $ResolveBranch<T, $O, [$Else]>
+					: $ResolveBranch<T, $O, [$Then]>
 		: never
-	export type _N<T, $O extends $Options> =
-		[T] extends [boolean]
-		? (
-			[T] extends [true]
+	export type _N<T, $O extends $Options> = [T] extends [boolean]
+		? [T] extends [true]
 			? $ResolveBranch<T, $O, [$Then]>
-			: (
-				[T] extends [false]
+			: [T] extends [false]
 				? $ResolveBranch<T, $O, [$Then]>
 				: $ResolveBranch<T, $O, [$Else]>
-			)
-		)
 		: $ResolveBranch<T, $O, [$Then]>
 }

package/src/boolean/is_not_false.ts

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

package/src/boolean/is_not_true.ts

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

package/src/boolean/is_true.ts

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

package/src/class/isConstructor.ts

@@ -13,7 +13,7 @@ import type { AnyConstructor } from './AnyConstructor.js'
  */
 export function isConstructor(subject: unknown): subject is AnyConstructor {
 	try {
-		new (subject as AnyConstructor)()
+		;new (subject as AnyConstructor)()
 	} catch (err: any) {
 		const msg = err?.message as string | undefined
 		if (msg && msg.indexOf('is not a constructor') >= 0) {
@@ -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/equal/equal.ts

@@ -6,12 +6,7 @@ import type { And, Or } from '../predicates/logical.js'
 import type { IsSymbol } from '../symbol/is_symbol.js'
 import type { IdentityEqual } from './identity_equal.js'
 
-type BothNever<A, B, Both, One, None> = And<
-	IsNever<A>,
-	IsNever<B>,
-	Both,
-	Or<IsNever<A>, IsNever<B>, One, None>
->
+type BothNever<A, B, Both, One, None> = And<IsNever<A>, IsNever<B>, Both, Or<IsNever<A>, IsNever<B>, One, None>>
 
 type BothAny<A, B, Both, One, None> = And<IsAny<A>, IsAny<B>, Both, Or<IsAny<A>, IsAny<B>, One, None>>
 
@@ -37,37 +32,37 @@ type BothAny<A, B, Both, One, None> = And<IsAny<A>, IsAny<B>, Both, Or<IsAny<A>,
  */
 export type IsEqual<A, B, Then = true, Else = false> = [A, B] extends [B, A]
 	? BothNever<
-		A,
-		B,
-		Then,
-		Else,
-		BothAny<
 			A,
 			B,
 			Then,
 			Else,
-			IdentityEqual<
+			BothAny<
 				A,
 				B,
 				Then,
-				And<
-					IsObject<A>,
-					IsObject<B>,
-					IdentityEqual<
-						Properties<A>,
-						Properties<B>,
-						[A, B] extends [(...args: infer P1) => any, (...args: infer P2) => any]
-						? IsEqual<P1, P2, Then, Else>
-						: Then,
-						Else
-					>,
-					// `A` and `B` are narrowed, need to check again.
-					// This is fixed in TS 5.0.2, but keeping it to support older versions.
-					[A, B] extends [B, A] ? Then : Else
+				Else,
+				IdentityEqual<
+					A,
+					B,
+					Then,
+					And<
+						IsObject<A>,
+						IsObject<B>,
+						IdentityEqual<
+							Properties<A>,
+							Properties<B>,
+							[A, B] extends [(...args: infer P1) => any, (...args: infer P2) => any]
+								? IsEqual<P1, P2, Then, Else>
+								: Then,
+							Else
+						>,
+						// `A` and `B` are narrowed, need to check again.
+						// This is fixed in TS 5.0.2, but keeping it to support older versions.
+						[A, B] extends [B, A] ? Then : Else
+					>
 				>
 			>
 		>
-	>
 	: And<IsSymbol<A, { distributive: false }>, IsSymbol<B, { distributive: false }>, Then, Else>
 
 /**

package/src/equal/identity_equal.ts

@@ -1,9 +1,11 @@
-
 /**
  * This is a common equal check.
  * It is good for some basic cases, but not for all.
  */
-export type IdentityEqual<A, B, Then, Else> =
-	(<_>() => _ extends (A & _) | _ ? 1 : 2) extends (<_>() => _ extends | (B & _) | _ ? 1 : 2)
+export type IdentityEqual<A, B, Then, Else> = (<_>() => _ extends (A & _) | _ ? 1 : 2) extends <_>() => _ extends
+	| (B & _)
+	| _
+	? 1
+	: 2
 	? Then
 	: Else

package/src/function/extract_function.ts

@@ -15,9 +15,7 @@ import type { AnyFunction } from './any_function.js'
  * }> // () => void
  * ```
  */
-export type ExtractFunction<T extends AnyFunction> = T extends AnyFunction<infer P, infer R>
-	? (...args: P) => R
-	: never
+export type ExtractFunction<T extends AnyFunction> = T extends AnyFunction<infer P, infer R> ? (...args: P) => R : never
 
 /**
  * Extract the function signature from a composite function.

package/src/function/is_not_strict_function.ts

@@ -18,23 +18,23 @@ import type { $Unknown } from '../unknown/unknown.js'
  * ```
  */
 
-export type IsNotStrictFunction<T, $O extends IsNotStrictFunction.$Options = {}> = $SpecialType<T, {
-	$any: $ResolveBranch<T, $O, [$Any, $Then]>,
-	$unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>,
-	$never: $ResolveBranch<T, $O, [$Never, $Then]>,
-	$else: (
-		$ResolveOptions<[$O['distributive'], $SelectInvertStrict.$Default['distributive']]> extends true
-		? IsNotStrictFunction._D<T, $O>
-		: $SelectInvertStrict._N<T, Function, $O>
-	)
-}>
+export type IsNotStrictFunction<T, $O extends IsNotStrictFunction.$Options = {}> = $SpecialType<
+	T,
+	{
+		$any: $ResolveBranch<T, $O, [$Any, $Then]>
+		$unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>
+		$never: $ResolveBranch<T, $O, [$Never, $Then]>
+		$else: $ResolveOptions<[$O['distributive'], $SelectInvertStrict.$Default['distributive']]> extends true
+			? IsNotStrictFunction._D<T, $O>
+			: $SelectInvertStrict._N<T, Function, $O>
+	}
+>
 
 export namespace IsNotStrictFunction {
 	export type $Options = $SelectInvertStrict.$Options
 	export type $Default = $SelectInvertStrict.$Default
 	export type $Branch = $SelectInvertStrict.$Branch
-	export type _D<T, $O extends IsNotStrictFunction.$Options> =
-		T extends Function
+	export type _D<T, $O extends IsNotStrictFunction.$Options> = T extends Function
 		? $ResolveBranch<T, $O, [T extends (...args: any[]) => any ? $Then : $Else]>
 		: $ResolveBranch<T, $O, [$Then]>
 }

package/src/function/is_strict_function.ts

@@ -17,27 +17,25 @@ import type { $Unknown } from '../unknown/unknown.js'
  * type R = IsStrictFunction<(() => void) & { a: 1 }> // false
  * ```
  */
-export type IsStrictFunction<T, $O extends IsStrictFunction.$Options = {}> =
-	$SpecialType<
-		T,
-		{
-			$any: $ResolveBranch<T, $O, [$Any, $Else]>,
-			$unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>,
-			$never: $ResolveBranch<T, $O, [$Never, $Else]>,
-			$else: $ResolveOptions<[$O['distributive'], $SelectStrict.$Default['distributive']]> extends true
+export type IsStrictFunction<T, $O extends IsStrictFunction.$Options = {}> = $SpecialType<
+	T,
+	{
+		$any: $ResolveBranch<T, $O, [$Any, $Else]>
+		$unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>
+		$never: $ResolveBranch<T, $O, [$Never, $Else]>
+		$else: $ResolveOptions<[$O['distributive'], $SelectStrict.$Default['distributive']]> extends true
 			? IsStrictFunction._D<T, $O>
 			: $SelectStrict._N<T, Function, $O>
-		}
-	>
+	}
+>
 
 export namespace IsStrictFunction {
 	export type $Options = $SelectStrict.$Options
 	export type $Default = $SelectStrict.$Default
 	export type $Branch = $SelectStrict.$Branch
-	export type _D<T, $O extends $SelectStrict.$Options> =
-		T extends Function
+	export type _D<T, $O extends $SelectStrict.$Options> = T extends Function
 		? T extends (...args: any[]) => any
-		? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/functional/Maybe.ts

@@ -6,14 +6,12 @@ export type Maybe<T> = Just<T> | None<T>
 export type Just<T> = Brand<'maybe', T> & { unwrap(): T }
 export type None<T> = Brand<'maybe', void> & { unwrap(): T }
 
-export function just<T>(
-	value: T
-): IsEqual<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>> {
+export function just<T>(value: T): IsEqual<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>> {
 	// eslint-disable-next-line @typescript-eslint/no-unsafe-return
 	return {
 		unwrap() {
 			return value
-		}
+		},
 	} as any
 }
 

package/src/functional/compose.ts

@@ -9,10 +9,8 @@ import type { AnyFunction } from '../function/any_function.js'
  * @return The composed function will expect the parameters of the first function,
  * and return the result of the last function.
  */
-export function compose<FS extends AnyFunction[]>(
-	...fns: FS
-): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>> {
+export function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>> {
 	// eslint-disable-next-line @typescript-eslint/no-unsafe-return
 	// biome-ignore lint/performance/noAccumulatingSpread: https://github.com/biomejs/biome/issues/2183
-		return (...args: any[]) => fns.reduce((args, fn) => [fn(...args)], args)[0]
+	return (...args: any[]) => fns.reduce((args, fn) => [fn(...args)], args)[0]
 }

package/src/functional/context.ts

@@ -26,8 +26,8 @@ export type ContextBuilder<Init extends ContextBaseShape, Ctx extends ContextBas
 	 * it overrides the existing value.
 	 */
 	extend<Additional extends ContextBaseShape = ContextBaseShape>(
-		extender: ContextExtender<Ctx, Additional>
-	): ContextBuilder<Init, LeftJoin<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

@@ -136,4 +136,3 @@ 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/abs.ts

@@ -12,12 +12,22 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * Abs<-1n> // 1n  // Where `1n` is a bigint
  * ```
  */
-export type Abs<N extends number | bigint, Fail = never> = IsNumber<
-	N, IsNumber.$Branch
-> extends infer R
-	? R extends $Then ? [number] extends [N] ? Fail : `${N}` extends `-${infer P extends number}` ? P : N
-	: R extends $Else ? IsBigint<N> extends infer R
-	? R extends true ? [bigint] extends [N] ? Fail : `${N}` extends `-${infer P extends bigint}` ? P : N
-	: Fail
+export type Abs<N extends number | bigint, Fail = never> = IsNumber<N, IsNumber.$Branch> extends infer R
+	? R extends $Then
+		? [number] extends [N]
+			? Fail
+			: `${N}` extends `-${infer P extends number}`
+				? P
+				: N
+		: R extends $Else
+			? IsBigint<N> extends infer R
+				? R extends true
+					? [bigint] extends [N]
+						? Fail
+						: `${N}` extends `-${infer P extends bigint}`
+							? P
+							: N
+					: Fail
+				: never
+			: never
 	: never
-	: never : never

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/math_plus.to_negative.ts

@@ -13,10 +13,10 @@ export type ToNegative<N extends number | bigint> = N extends number
 	? N extends 0
 		? 0
 		: `-${N}` extends `${infer W extends number}`
-		? W
-		: N
+			? W
+			: N
 	: N extends 0n
-	? 0n
-	: `-${N}` extends `${infer W extends bigint}`
-	? W
-	: N
+		? 0n
+		: `-${N}` extends `${infer W extends bigint}`
+			? W
+			: N

package/src/math/max.ts

@@ -8,6 +8,6 @@ export type Max<A extends number | bigint, B extends number | bigint, Fail = nev
 	? IsNever<Result> extends true
 		? Fail
 		: Result extends true
-		? A
-		: B
+			? A
+			: B
 	: never

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