Disclosure

Most of the problems under my TypeHero Challenges folder were either obtained from typehero.dev or from type-challenges repo. Purpose of these articles are just to document my approaches for my easy reference. Please visit the respective links for more info.

Link to original

Problem Description

Implement TrimLeft<T> which takes an exact string type and returns a new string with the whitespace beginning removed.

For example:

type trimed = TrimLeft<'  Hello World  '> // expected to be 'Hello World  '

Solutions

Approach: Using infer

type Whitespace = ' ' | '\t' | '\n';
 
type TrimLeft<S extends string> = S extends `${Whitespace}${infer Rest}`
	? TrimLeft<Rest>
	: S;