Last active
December 9, 2023 09:48
-
-
Save regexyl/1fba295b29a10436220cb5a22364df31 to your computer and use it in GitHub Desktop.
Advent of Typescript 2023
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Reverse a string | |
| type Reverse<S extends string> = | |
| S extends `${infer First}${infer Rest}` | |
| ? `${Reverse<Rest>}${First}` | |
| : ''; | |
| // Test cases | |
| import { Expect, Equal } from 'type-testing'; | |
| type test_0_actual = Reverse<'rehsaD'>; | |
| // ^? | |
| type test_0_expected = 'Dasher'; | |
| type test_0 = Expect<Equal<test_0_expected, test_0_actual>>; | |
| type test_1_actual = Reverse<'recnaD'>; | |
| // ^? | |
| type test_1_expected = 'Dancer'; | |
| type test_1 = Expect<Equal<test_1_expected, test_1_actual>>; | |
| type test_2_actual = Reverse<'recnarP'>; | |
| // ^? | |
| type test_2_expected = 'Prancer'; | |
| type test_2 = Expect<Equal<test_2_expected, test_2_actual>>; | |
| type test_3_actual = Reverse<'nexiV'>; | |
| // ^? | |
| type test_3_expected = 'Vixen'; | |
| type test_3 = Expect<Equal<test_3_expected, test_3_actual>>; | |
| type test_4_actual = Reverse<'temoC'>; | |
| // ^? | |
| type test_4_expected = 'Comet'; | |
| type test_4 = Expect<Equal<test_4_expected, test_4_actual>>; | |
| type test_5_actual = Reverse<'dipuC'>; | |
| // ^? | |
| type test_5_expected = 'Cupid'; | |
| type test_5 = Expect<Equal<test_5_expected, test_5_actual>>; | |
| type test_6_actual = Reverse<'rennoD'>; | |
| // ^? | |
| type test_6_expected = 'Donner'; | |
| type test_6 = Expect<Equal<test_6_expected, test_6_actual>>; | |
| type test_7_actual = Reverse<'neztilB'>; | |
| // ^? | |
| type test_7_expected = 'Blitzen'; | |
| type test_7 = Expect<Equal<test_7_expected, test_7_actual>>; | |
| type test_8_actual = Reverse<'hploduR'>; | |
| // ^? | |
| type test_8_expected = 'Rudolph'; | |
| type test_8 = Expect<Equal<test_8_expected, test_8_actual>>; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment