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

package/src/string/is_not_string.ts

@@ -57,10 +57,12 @@ import type { $SelectionOptions } from '../type_plus/branch/$selection_options.j
  * type R = IsNotString<bigint, $IsNotString.$Branch> // $Then
  * ```
  */
-export type IsNotString<T, $O extends IsNotString.$Options = {}> = $SpecialType<T,
-	$MergeOptions<$O,
+export type IsNotString<T, $O extends IsNotString.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
 		{
-			$then: $ResolveBranch<T, $O, [$Then]>,
+			$then: $ResolveBranch<T, $O, [$Then]>
 			$else: IsNotString.$<T, $O>
 		}
 	>
@@ -78,23 +80,19 @@ export namespace IsNotString {
 	 * 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, string, $O>
 	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
 
-	export type _D<T, $O extends $SelectionOptions> =
-		T extends string & infer U
-		? (
-			U extends string
+	export type _D<T, $O extends $SelectionOptions> = T extends string & infer U
+		? U extends string
 			? $ResolveBranch<T, $O, [$Then]>
 			: $ResolveBranch<T, $O, [$Else]>
-		)
 		: $ResolveBranch<T, $O, [$Then]>
-	export type _N<T, $O extends $SelectionOptions> =
-		[T] extends [string & infer U] ?
-		U extends string ? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
+	export type _N<T, $O extends $SelectionOptions> = [T] extends [string & infer U]
+		? U extends string
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [$Else]>
 		: $ResolveBranch<T, $O, [$Then]>
 }

package/src/string/is_not_string_literal.ts

@@ -68,15 +68,16 @@ import type { _StringType } from './_string_type.js'
  * type R = IsNotStringLiteral<string, $IsNotStringLiteral.$Branch> // $Then
  * ```
  */
-export type IsNotStringLiteral<T, $O extends IsNotStringLiteral.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: IsNotStringLiteral.$<T, $O>
-			}
-		>
+export type IsNotStringLiteral<T, $O extends IsNotStringLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
+			$else: IsNotStringLiteral.$<T, $O>
+		}
 	>
+>
 
 export namespace IsNotStringLiteral {
 	export type $Options = $Equality.$Options & $Exact.$Options
@@ -90,43 +91,37 @@ export namespace IsNotStringLiteral {
 	 * 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
-		? $IsDistributive<$O, { $then: _ED<T, $O>, $else: _EN<T, $O> }>
-		: $IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+		? $IsDistributive<$O, { $then: _ED<T, $O>; $else: _EN<T, $O> }>
+		: $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 
-	export type _ED<T, $O extends $SelectionOptions> =
-		T extends string ? (_E<T, $O>) : $ResolveBranch<T, $O, [$Then]>
+	export type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Then]>
 
-	export type _EN<T, $O extends $SelectionOptions> =
-		[T] extends [string] ? (_E<T, $O>) : $ResolveBranch<T, $O, [$Then]>
+	export type _EN<T, $O extends $SelectionOptions> = [T] extends [string] ? _E<T, $O> : $ResolveBranch<T, $O, [$Then]>
 
-	export type _E<T extends string, $O extends $SelectionOptions> =
-		T extends string
+	export type _E<T extends string, $O extends $SelectionOptions> = T extends string
 		? _StringType<T> extends infer R
-		? R extends 'stringLiteral'
-		? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
-		: never
+			? R extends 'stringLiteral'
+				? $ResolveBranch<T, $O, [$Else]>
+				: $ResolveBranch<T, $O, [$Then]>
+			: never
 		: $ResolveBranch<T, $O, [$Then]>
 
-	export type _D<T, $O extends $SelectionOptions> =
-		T extends string & infer U ? _U<T, U, $O> : $ResolveBranch<T, $O, [$Then]>
+	export type _D<T, $O extends $SelectionOptions> = T extends string & infer U
+		? _U<T, U, $O>
+		: $ResolveBranch<T, $O, [$Then]>
 
-	export type _N<T, $O extends $SelectionOptions> =
-		[T] extends [string & infer U] ? _U<T, U, $O> : $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, $O extends $SelectionOptions> = [T] extends [string & infer U]
+		? _U<T, U, $O>
+		: $ResolveBranch<T, $O, [$Then]>
 
-	export type _U<T, U, $O extends $SelectionOptions> =
-		U extends `${any}`
+	export type _U<T, U, $O extends $SelectionOptions> = U extends `${any}`
 		? $ResolveBranch<T, $O, [$Else]>
-		: (
-			U extends Uppercase<infer N>
+		: U extends Uppercase<infer N>
 			? _D<N, $O>
 			: U extends Lowercase<infer N>
-			? _D<N, $O>
-			: $ResolveBranch<T, $O, [$Then]>
-		)
-
+				? _D<N, $O>
+				: $ResolveBranch<T, $O, [$Then]>
 }

package/src/string/is_not_template_literal.ts

@@ -7,7 +7,6 @@ import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
 import type { _StringType } from './_string_type.js'
 
-
 /**
  * 🎭 *validate*
  *
@@ -53,15 +52,16 @@ import type { _StringType } from './_string_type.js'
  * type R = IsNotTemplateLiteral<bigint, $IsString.$Branch> // $Then
  * ```
  */
-export type IsNotTemplateLiteral<T, $O extends IsNotTemplateLiteral.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Then]>,
-				$else: IsNotTemplateLiteral.$<T, $O>
-			}
-		>
+export type IsNotTemplateLiteral<T, $O extends IsNotTemplateLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Then]>
+			$else: IsNotTemplateLiteral.$<T, $O>
+		}
 	>
+>
 
 export namespace IsNotTemplateLiteral {
 	export type $Options = $Equality.$Options
@@ -69,22 +69,19 @@ export namespace IsNotTemplateLiteral {
 
 	export type $UtilOptions = Assignable.$UtilOptions
 
-	export type $<T, $O extends $UtilOptions> =
-		$IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
-	type _D<T, $O extends $UtilOptions> =
-		T extends string
+	type _D<T, $O extends $UtilOptions> = T extends string
 		? _StringType<T> extends infer R
-		? R extends 'templateLiteral'
-		? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
-		: never
+			? R extends 'templateLiteral'
+				? $ResolveBranch<T, $O, [$Else]>
+				: $ResolveBranch<T, $O, [$Then]>
+			: never
 		: $ResolveBranch<T, $O, [$Then]>
 
-	type _N<T, $O extends $UtilOptions> =
-		_D<T, { $then: $Then, $else: $Else }> extends infer R
+	type _N<T, $O extends $UtilOptions> = _D<T, { $then: $Then; $else: $Else }> extends infer R
 		? $Then | $Else extends R
-		? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [R]>
+			? $ResolveBranch<T, $O, [$Then]>
+			: $ResolveBranch<T, $O, [R]>
 		: never
 }

package/src/string/is_string.ts

@@ -56,15 +56,16 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js'
  * type R = IsString<bigint, $IsString.$Branch> // $Else
  * ```
  */
-export type IsString<T, $O extends IsString.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsString.$<T, $O>
-			}
-		>
+export type IsString<T, $O extends IsString.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsString.$<T, $O>
+		}
 	>
+>
 
 export namespace IsString {
 	export type $Options = $Equality.$Options & $Exact.$Options
@@ -78,24 +79,20 @@ export namespace IsString {
 	 * 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> }>
 		: Assignable.$<T, string, $O>
 
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 
-	export type _D<T, $O extends $UtilOptions> =
-		T extends string & infer U
-		? (
-			U extends string
+	export type _D<T, $O extends $UtilOptions> = T extends string & infer U
+		? U extends string
 			? $ResolveBranch<T, $O, [$Else]>
 			: $ResolveBranch<T, $O, [$Then]>
-		)
 		: $ResolveBranch<T, $O, [$Else]>
-	export type _N<T, $O extends $UtilOptions> =
-		[T] extends [string & infer U] ?
-		U extends string ? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [$Then]>
+	export type _N<T, $O extends $UtilOptions> = [T] extends [string & infer U]
+		? U extends string
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [$Then]>
 		: $ResolveBranch<T, $O, [$Else]>
 }

package/src/string/is_string_literal.ts

@@ -68,15 +68,16 @@ import type { _StringType } from './_string_type.js'
  * type R = IsStringLiteral<string, $IsStringLiteral.$Branch> // $Else
  * ```
  */
-export type IsStringLiteral<T, $O extends IsStringLiteral.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsStringLiteral.$<T, $O>
-			}
-		>
+export type IsStringLiteral<T, $O extends IsStringLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsStringLiteral.$<T, $O>
+		}
 	>
+>
 
 export namespace IsStringLiteral {
 	export type $Options = $Equality.$Options & $Exact.$Options
@@ -90,43 +91,37 @@ export namespace IsStringLiteral {
 	 * 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
-		? $IsDistributive<$O, { $then: _ED<T, $O>, $else: _EN<T, $O> }>
-		: $IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+		? $IsDistributive<$O, { $then: _ED<T, $O>; $else: _EN<T, $O> }>
+		: $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
 	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
 
-	export type _ED<T, $O extends $SelectionOptions> =
-		T extends string ? (_E<T, $O>) : $ResolveBranch<T, $O, [$Else]>
+	export type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Else]>
 
-	export type _EN<T, $O extends $SelectionOptions> =
-		[T] extends [string] ? (_E<T, $O>) : $ResolveBranch<T, $O, [$Else]>
+	export type _EN<T, $O extends $SelectionOptions> = [T] extends [string] ? _E<T, $O> : $ResolveBranch<T, $O, [$Else]>
 
-	export type _E<T extends string, $O extends $SelectionOptions> =
-		T extends string
+	export type _E<T extends string, $O extends $SelectionOptions> = T extends string
 		? _StringType<T> extends infer R
-		? R extends 'stringLiteral'
-		? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
-		: never
+			? R extends 'stringLiteral'
+				? $ResolveBranch<T, $O, [$Then]>
+				: $ResolveBranch<T, $O, [$Else]>
+			: never
 		: $ResolveBranch<T, $O, [$Else]>
 
-	export type _D<T, $O extends $SelectionOptions> =
-		T extends string & infer U ? _U<T, U, $O> : $ResolveBranch<T, $O, [$Else]>
+	export type _D<T, $O extends $SelectionOptions> = T extends string & infer U
+		? _U<T, U, $O>
+		: $ResolveBranch<T, $O, [$Else]>
 
-	export type _N<T, $O extends $SelectionOptions> =
-		[T] extends [string & infer U] ? _U<T, U, $O> : $ResolveBranch<T, $O, [$Else]>
+	export type _N<T, $O extends $SelectionOptions> = [T] extends [string & infer U]
+		? _U<T, U, $O>
+		: $ResolveBranch<T, $O, [$Else]>
 
-	export type _U<T, U, $O extends $SelectionOptions> =
-		U extends `${any}`
+	export type _U<T, U, $O extends $SelectionOptions> = U extends `${any}`
 		? $ResolveBranch<T, $O, [$Then]>
-		: (
-			U extends Uppercase<infer N>
+		: U extends Uppercase<infer N>
 			? _D<N, $O>
 			: U extends Lowercase<infer N>
-			? _D<N, $O>
-			: $ResolveBranch<T, $O, [$Else]>
-		)
-
+				? _D<N, $O>
+				: $ResolveBranch<T, $O, [$Else]>
 }

package/src/string/is_template_literal.ts

@@ -54,15 +54,16 @@ import type { _StringType } from './_string_type.js'
  * type R = IsTemplateLiteral<bigint, $IsString.$Branch> // $Else
  * ```
  */
-export type IsTemplateLiteral<T, $O extends IsTemplateLiteral.$Options = {}> =
-	$SpecialType<T,
-		$MergeOptions<$O,
-			{
-				$then: $ResolveBranch<T, $O, [$Else]>,
-				$else: IsTemplateLiteral.$<T, $O>
-			}
-		>
+export type IsTemplateLiteral<T, $O extends IsTemplateLiteral.$Options = {}> = $SpecialType<
+	T,
+	$MergeOptions<
+		$O,
+		{
+			$then: $ResolveBranch<T, $O, [$Else]>
+			$else: IsTemplateLiteral.$<T, $O>
+		}
 	>
+>
 
 export namespace IsTemplateLiteral {
 	export type $Options = $Equality.$Options
@@ -70,22 +71,19 @@ export namespace IsTemplateLiteral {
 
 	export type $UtilOptions = Assignable.$UtilOptions
 
-	export type $<T, $O extends $UtilOptions> =
-		$IsDistributive<$O, { $then: _D<T, $O>, $else: _N<T, $O> }>
+	export type $<T, $O extends $UtilOptions> = $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
-	type _D<T, $O extends $UtilOptions> =
-		T extends string
+	type _D<T, $O extends $UtilOptions> = T extends string
 		? _StringType<T> extends infer R
-		? R extends 'templateLiteral'
-		? $ResolveBranch<T, $O, [$Then]>
-		: $ResolveBranch<T, $O, [$Else]>
-		: never
+			? R extends 'templateLiteral'
+				? $ResolveBranch<T, $O, [$Then]>
+				: $ResolveBranch<T, $O, [$Else]>
+			: never
 		: $ResolveBranch<T, $O, [$Else]>
 
-	type _N<T, $O extends $UtilOptions> =
-		_D<T, { $then: $Then, $else: $Else }> extends infer R
+	type _N<T, $O extends $UtilOptions> = _D<T, { $then: $Then; $else: $Else }> extends infer R
 		? $Then | $Else extends R
-		? $ResolveBranch<T, $O, [$Else]>
-		: $ResolveBranch<T, $O, [R]>
+			? $ResolveBranch<T, $O, [$Else]>
+			: $ResolveBranch<T, $O, [R]>
 		: never
 }

package/src/string/string.ts

@@ -32,5 +32,5 @@ export type StringSplit<
 > = Subject extends `${infer A}${Seperator}${infer B}`
 	? [A, ...StringSplit<B, Seperator>]
 	: Seperator extends ''
-	? []
-	: [Subject]
+		? []
+		: [Subject]

package/src/string/string_plus.ts

@@ -11,12 +11,12 @@ export namespace StringPlus {
 	 * type R = StringPlus.Includes<'abc', 'd'> // false
 	 * ```
 	 */
-	export type Includes<
-		Subject extends string,
-		Search extends string,
-		Then = true,
-		Else = false
-	> = StringIncludes<Subject, Search, Then, Else>
+	export type Includes<Subject extends string, Search extends string, Then = true, Else = false> = StringIncludes<
+		Subject,
+		Search,
+		Then,
+		Else
+	>
 
 	/**
 	 * Split a string into substrings using the specified separator,
@@ -30,5 +30,4 @@ export namespace StringPlus {
 	 * ```
 	 */
 	export type Split<Subject extends string, Seperator extends string> = StringSplit<Subject, Seperator>
-
 }

package/src/symbol/is_not_symbol.ts

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

package/src/symbol/is_symbol.ts

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