type-fest 3.5.1 → 3.5.3

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "type-fest",
-	"version": "3.5.1",
+	"version": "3.5.3",
 	"description": "A collection of essential TypeScript types",
 	"license": "(MIT OR CC0-1.0)",
 	"repository": "sindresorhus/type-fest",

package/source/exact.d.ts

@@ -1,5 +1,6 @@
 import type {KeysOfUnion, ArrayElement, ObjectValue} from './internal';
 import type {Opaque} from './opaque';
+import type {IsEqual} from './is-equal';
 
 /**
 Create a type from `ParameterType` and `InputType` and change keys exclusive to `InputType` to `never`.
@@ -50,11 +51,12 @@ onlyAcceptNameImproved(invalidInput); // Compilation error
 @category Utilities
 */
 export type Exact<ParameterType, InputType> =
-	// Convert union of array to array of union: A[] & B[] => (A & B)[]
-	ParameterType extends unknown[] ? Array<Exact<ArrayElement<ParameterType>, ArrayElement<InputType>>>
-	// In TypeScript, Array is a subtype of ReadonlyArray, so always test Array before ReadonlyArray.
-		: ParameterType extends readonly unknown[] ? ReadonlyArray<Exact<ArrayElement<ParameterType>, ArrayElement<InputType>>>
-			// For Opaque types, internal details are hidden from public, so let's leave it as is.
-			: ParameterType extends Opaque<infer OpaqueType, infer OpaqueToken> ? ParameterType
-				: ParameterType extends object ? ExactObject<ParameterType, InputType>
-					: ParameterType;
+	IsEqual<ParameterType, InputType> extends true ? ParameterType
+		// Convert union of array to array of union: A[] & B[] => (A & B)[]
+		: ParameterType extends unknown[] ? Array<Exact<ArrayElement<ParameterType>, ArrayElement<InputType>>>
+			// In TypeScript, Array is a subtype of ReadonlyArray, so always test Array before ReadonlyArray.
+			: ParameterType extends readonly unknown[] ? ReadonlyArray<Exact<ArrayElement<ParameterType>, ArrayElement<InputType>>>
+				// For Opaque types, internal details are hidden from public, so let's leave it as is.
+				: ParameterType extends Opaque<infer OpaqueType, infer OpaqueToken> ? ParameterType
+					: ParameterType extends object ? ExactObject<ParameterType, InputType>
+						: ParameterType;

package/source/internal.d.ts

@@ -1,5 +1,6 @@
 import type {Primitive} from './primitive';
 import type {Simplify} from './simplify';
+import type {Trim} from './trim';
 
 /**
 Infer the length of the given array `<T>`.
@@ -43,10 +44,38 @@ export type KeysOfUnion<T> = T extends T ? keyof T : never;
 
 export type UpperCaseCharacters = 'A' | 'B' | 'C' | 'D' | 'E' | 'F' | 'G' | 'H' | 'I' | 'J' | 'K' | 'L' | 'M' | 'N' | 'O' | 'P' | 'Q' | 'R' | 'S' | 'T' | 'U' | 'V' | 'W' | 'X' | 'Y' | 'Z';
 
-export type WordSeparators = '-' | '_' | ' ';
-
 export type StringDigit = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';
 
+export type Whitespace =
+	| '\u{9}' // '\t'
+	| '\u{A}' // '\n'
+	| '\u{B}' // '\v'
+	| '\u{C}' // '\f'
+	| '\u{D}' // '\r'
+	| '\u{20}' // ' '
+	| '\u{85}'
+	| '\u{A0}'
+	| '\u{1680}'
+	| '\u{2000}'
+	| '\u{2001}'
+	| '\u{2002}'
+	| '\u{2003}'
+	| '\u{2004}'
+	| '\u{2005}'
+	| '\u{2006}'
+	| '\u{2007}'
+	| '\u{2008}'
+	| '\u{2009}'
+	| '\u{200A}'
+	| '\u{2028}'
+	| '\u{2029}'
+	| '\u{202F}'
+	| '\u{205F}'
+	| '\u{3000}'
+	| '\u{FEFF}';
+
+export type WordSeparators = '-' | '_' | Whitespace;
+
 /**
 Matches any unknown record.
 */
@@ -109,10 +138,25 @@ Returns a boolean for whether the string is uppercased.
 */
 export type IsUpperCase<T extends string> = T extends Uppercase<T> ? true : false;
 
+/**
+Returns a boolean for whether a string is whitespace.
+*/
+export type IsWhitespace<T extends string> = T extends Whitespace
+	? true
+	: T extends `${Whitespace}${infer Rest}`
+		? IsWhitespace<Rest>
+		: false;
+
 /**
 Returns a boolean for whether the string is numeric.
+
+This type is a workaround for [Microsoft/TypeScript#46109](https://github.com/microsoft/TypeScript/issues/46109#issuecomment-930307987).
 */
-export type IsNumeric<T extends string> = T extends `${number}` ? true : false;
+export type IsNumeric<T extends string> = T extends `${number}`
+	? Trim<T> extends T
+		? true
+		: false
+	: false;
 
 /**
 Returns a boolean for whether the the type is `any`.

package/source/split-words.d.ts

@@ -33,7 +33,7 @@ export type SplitWords<
 > = Sentence extends `${infer FirstCharacter}${infer RemainingCharacters}`
 	? FirstCharacter extends WordSeparators
 		// Skip word separator
-		? [...SkipEmptyWord<CurrentWord>, ...SplitWords<RemainingCharacters, LastCharacter>]
+		? [...SkipEmptyWord<CurrentWord>, ...SplitWords<RemainingCharacters>]
 		: LastCharacter extends ''
 			// Fist char of word
 			? SplitWords<RemainingCharacters, FirstCharacter, FirstCharacter>

package/source/trim.d.ts

@@ -1,12 +1,14 @@
+import type {Whitespace} from './internal';
+
 /**
 Remove spaces from the left side.
 */
-type TrimLeft<V extends string> = V extends ` ${infer R}` ? TrimLeft<R> : V;
+type TrimLeft<V extends string> = V extends `${Whitespace}${infer R}` ? TrimLeft<R> : V;
 
 /**
 Remove spaces from the right side.
 */
-type TrimRight<V extends string> = V extends `${infer R} ` ? TrimRight<R> : V;
+type TrimRight<V extends string> = V extends `${infer R}${Whitespace}` ? TrimRight<R> : V;
 
 /**
 Remove leading and trailing spaces from a string.