Change type guard for whitespace from string to ' '

Closes #206
This commit is contained in:
Martin Eneqvist 2024-05-22 16:41:11 +02:00
parent 47f49741ea
commit 5301915f32
3 changed files with 14 additions and 4 deletions

View file

@ -10,6 +10,7 @@ import type {
Primitive,
TypedArray,
WeakRef,
Whitespace,
} from './types.js';
const typedArrayTypeNames = [
@ -443,7 +444,7 @@ export function isEmptyString(value: unknown): value is '' {
return isString(value) && value.length === 0;
}
export function isEmptyStringOrWhitespace(value: unknown): value is string {
export function isEmptyStringOrWhitespace(value: unknown): value is '' | Whitespace {
return isEmptyString(value) || isWhitespaceString(value);
}
@ -785,7 +786,7 @@ export function isWeakSet(value: unknown): value is WeakSet<object> {
return getObjectType(value) === 'WeakSet';
}
export function isWhitespaceString(value: unknown): value is string {
export function isWhitespaceString(value: unknown): value is Whitespace {
return isString(value) && /^\s+$/.test(value);
}
@ -911,7 +912,7 @@ type Assert = {
emptyArray: (value: unknown, message?: string) => asserts value is never[];
nonEmptyArray: <T = unknown, Item = unknown>(value: T | Item[], message?: string) => asserts value is [Item, ...Item[]];
emptyString: (value: unknown, message?: string) => asserts value is '';
emptyStringOrWhitespace: (value: unknown, message?: string) => asserts value is string;
emptyStringOrWhitespace: (value: unknown, message?: string) => asserts value is '' | Whitespace;
nonEmptyString: (value: unknown, message?: string) => asserts value is string;
nonEmptyStringAndNotWhitespace: (value: unknown, message?: string) => asserts value is string;
emptyObject: <Key extends keyof any = string>(value: unknown, message?: string) => asserts value is Record<Key, never>;
@ -1301,7 +1302,7 @@ export function assertEmptyString(value: unknown, message?: string): asserts val
}
}
export function assertEmptyStringOrWhitespace(value: unknown, message?: string): asserts value is string {
export function assertEmptyStringOrWhitespace(value: unknown, message?: string): asserts value is '' | Whitespace {
if (!isEmptyStringOrWhitespace(value)) {
throw new TypeError(message ?? typeErrorMessage('empty string or whitespace', value));
}

View file

@ -75,3 +75,5 @@ export type NodeStream = {
export type Predicate = (value: unknown) => boolean;
export type NonEmptyString = string & {0: string};
export type Whitespace = ' ';

View file

@ -1793,6 +1793,13 @@ test('is.emptyStringOrWhitespace', t => {
t.throws(() => {
assert.emptyStringOrWhitespace('unicorn');
});
let value = 'test'; // eslint-disable-line prefer-const -- can't use `const` here because then it will be inferred as `never` in the `if` block
if (is.emptyStringOrWhitespace(value)) {
value.charAt(0); // Should be inferred as `'' | Whitespace` and not `never`
} else {
value.charAt(0); // Should be inferred as `string` and not `never`
}
});
test('is.nonEmptyString', t => {