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

package/src/undefined/has_undefined.ts

@@ -38,7 +38,8 @@ import type { IsUndefined } from './is_undefined.js'
  * type R = HasUndefined<string, $SelectionBranch> // $Else
  * ```
  */
-export type HasUndefined<
+export type HasUndefined<T, $O extends $SelectionOptions = {}> = $ResolveBranch<
 	T,
-	$O extends $SelectionOptions = {}
-> = $ResolveBranch<T, $O, [IsUndefined<T> extends false ? $Else : $Then]>
+	$O,
+	[IsUndefined<T> extends false ? $Else : $Then]
+>

package/src/undefined/is_not_undefined.ts

@@ -52,16 +52,16 @@ import type { $Then } from '../type_plus/branch/$selection.js'
  * type R = IsNotUndefined<undefined, $SelectionBranch> // $Else
  * ```
  */
-export type IsNotUndefined<T, $O extends IsNotUndefined.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: IsNotUndefined.$<T, $O>
-			}
-		>
+export type IsNotUndefined<T, $O extends IsNotUndefined.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
+			$else: IsNotUndefined.$<T, $O>
+		}
 	>
-
+>
 
 export namespace IsNotUndefined {
 	export type $Options = $Equality.$Options

package/src/undefined/is_undefined.ts

@@ -55,15 +55,16 @@ import type { $Else } from '../type_plus/branch/$selection.js'
  * type R = IsUndefined<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsUndefined<T, $O extends IsUndefined.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsUndefined.$<T, $O>
-			}
-		>
+export type IsUndefined<T, $O extends IsUndefined.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsUndefined.$<T, $O>
+		}
 	>
+>
 
 export namespace IsUndefined {
 	export type $Options = $Equality.$Options

package/src/union/union.ts

@@ -30,8 +30,5 @@ export type UnionType<T, Then = T, Else = never> = UnionType.Device<T, Then, Els
 export type IsUnion<T, Then = true, Else = false> = UnionType.Device<T, Then, Else>
 
 export namespace UnionType {
-	export type Device<T, Then, Else, U = T> =
-		(T extends unknown ? (U extends T ? 1 : 2) : never) extends 1
-		? Else
-		: Then
+	export type Device<T, Then, Else, U = T> = (T extends unknown ? (U extends T ? 1 : 2) : never) extends 1 ? Else : Then
 }

package/src/union/union_to_intersection.ts

@@ -1,8 +1,6 @@
 // from jcalz, https://stackoverflow.com/questions/50374908/transform-union-type-to-intersection-type/50375286#50375286
 // istanbul ignore file
-export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void
-	? I
-	: never
+export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never
 
 export function toIntersection<U>(union: U): UnionToIntersection<U> {
 	return union as any as UnionToIntersection<U>

package/src/unknown/is_not_unknown.ts

@@ -41,15 +41,15 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsNotUnknown<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotUnknown<
+export type IsNotUnknown<T, $O extends IsNotUnknown.$Options = {}> = $SpecialType<
 	T,
-	$O extends IsNotUnknown.$Options = {}
-> = $SpecialType<T, {
-	$any: $ResolveBranch<T, $O, [$Any, $Then]>,
-	$unknown: $ResolveBranch<T, $O, [$Else]>,
-	$never: $ResolveBranch<T, $O, [$Never, $Then]>,
-	$else: $ResolveBranch<T, $O, [$Then]>
-}>
+	{
+		$any: $ResolveBranch<T, $O, [$Any, $Then]>
+		$unknown: $ResolveBranch<T, $O, [$Else]>
+		$never: $ResolveBranch<T, $O, [$Never, $Then]>
+		$else: $ResolveBranch<T, $O, [$Then]>
+	}
+>
 
 export namespace IsNotUnknown {
 	export type $Options = $SelectionOptions & $InputOptions<$Any | $Never>

package/src/unknown/is_unknown.ts

@@ -41,15 +41,15 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsUnknown<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsUnknown<
+export type IsUnknown<T, $O extends IsUnknown.$Options = {}> = $SpecialType<
 	T,
-	$O extends IsUnknown.$Options = {}
-> = $SpecialType<T, {
-	$any: $ResolveBranch<T, $O, [$Any, $Else]>,
-	$unknown: $ResolveBranch<T, $O, [$Then]>,
-	$never: $ResolveBranch<T, $O, [$Never, $Else]>,
-	$else: $ResolveBranch<T, $O, [$Else]>
-}>
+	{
+		$any: $ResolveBranch<T, $O, [$Any, $Else]>
+		$unknown: $ResolveBranch<T, $O, [$Then]>
+		$never: $ResolveBranch<T, $O, [$Never, $Else]>
+		$else: $ResolveBranch<T, $O, [$Else]>
+	}
+>
 
 export namespace IsUnknown {
 	export type $Options = $SelectionOptions & $InputOptions<$Any | $Never>

package/src/unknown/not_unknown_or.ts

@@ -24,6 +24,10 @@ import type { $Unknown } from './unknown.js'
  * type R = NotUnknownOr<unknown, number> // number
  * ```
  */
-export type NotUnknownOr<T, Else = $Unknown> = IsUnknown<T, {
-	$then: Else, $else: T
-}>
+export type NotUnknownOr<T, Else = $Unknown> = IsUnknown<
+	T,
+	{
+		$then: Else
+		$else: T
+	}
+>

package/src/unknown/unknown.ts

@@ -8,7 +8,6 @@ import type { $Branch } from '../type_plus/branch/$branch.js'
 export type $Unknown = $Branch<'$unknown'>
 
 export namespace $Unknown {
-
 	/**
 	 * 🧰 *type util*
 	 *

package/src/utils/as.ts

@@ -16,6 +16,6 @@ export function amend<S>(subject: S) {
 		},
 		intersect<T>(): T | S {
 			return subject as T | S
-		}
+		},
 	}
 }

package/src/utils/index.ts

@@ -22,23 +22,23 @@ export type { Widen } from './Widen.js'
 export type EitherOrBoth<A, B, C = void, D = void> = C extends void
 	? A | B | (A & B)
 	: D extends void
-	? A | B | C | (A & B) | (A & C) | (B & C) | (A & B & C)
-	:
-			| A
-			| B
-			| C
-			| D
-			| (A & B)
-			| (A & C)
-			| (A & D)
-			| (B & C)
-			| (B & D)
-			| (C & D)
-			| (A & B & C)
-			| (A & B & D)
-			| (A & C & D)
-			| (B & C & D)
-			| (A & B & C & D)
+		? A | B | C | (A & B) | (A & C) | (B & C) | (A & B & C)
+		:
+				| A
+				| B
+				| C
+				| D
+				| (A & B)
+				| (A & C)
+				| (A & D)
+				| (B & C)
+				| (B & D)
+				| (C & D)
+				| (A & B & C)
+				| (A & B & D)
+				| (A & C & D)
+				| (B & C & D)
+				| (A & B & C & D)
 
 /**
  * `A` | `B` | `A & B`.

package/src/void/is_not_void.ts

@@ -55,18 +55,16 @@ import type { IsUndefined } from '../undefined/is_undefined.js'
  * type R = IsNotVoid<string, $SelectionBranch> // $Then
  * ```
  */
-export type IsNotVoid<
+export type IsNotVoid<T, $O extends IsNotVoid.$Options = {}> = $SpecialType<
 	T,
-	$O extends IsNotVoid.$Options = {}
-> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: IsNotVoid.$<T, $O>
-			}
-		>
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
+			$else: IsNotVoid.$<T, $O>
+		}
 	>
+>
 
 export namespace IsNotVoid {
 	export type $Options = $Equality.$Options
@@ -80,11 +78,13 @@ export namespace IsNotVoid {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		IsUndefined.$<T, {
-			$then: $ResolveBranch<T, $O, [$Then]>,
+	export type $<T, $O extends $UtilOptions> = IsUndefined.$<
+		T,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: NotAssignable.$<T, void, $O>
-		}>
+		}
+	>
 
 	export type $UtilOptions = NotAssignable.$UtilOptions
 }

package/src/void/is_void.ts

@@ -56,18 +56,16 @@ import type { IsUndefined } from '../undefined/is_undefined.js'
  * type R = IsVoid<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsVoid<
+export type IsVoid<T, $O extends IsVoid.$Options = {}> = $SpecialType<
 	T,
-	$O extends IsVoid.$Options = {}
-> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsVoid.$<T, $O>
-			}
-		>
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsVoid.$<T, $O>
+		}
 	>
+>
 
 export namespace IsVoid {
 	export type $Options = $Equality.$Options
@@ -81,11 +79,13 @@ export namespace IsVoid {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> =
-		IsUndefined.$<T, {
-			$then: $ResolveBranch<T, $O, [$Else]>,
+	export type $<T, $O extends $UtilOptions> = IsUndefined.$<
+		T,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
 			$else: Assignable.$<T, void, $O>
-		}>
+		}
+	>
 
 	export type $UtilOptions = Assignable.$UtilOptions
 }