2018-11-09 05:03:46 +01:00
|
|
|
export function concat(xs: string[]): string {
|
2023-01-13 05:40:33 +01:00
|
|
|
return xs.join("");
|
2018-11-09 05:03:46 +01:00
|
|
|
}
|
|
|
|
|
2018-09-06 20:22:55 +02:00
|
|
|
export function capitalize(s: string): string {
|
2018-09-11 23:33:02 +02:00
|
|
|
return toUpperCase(s.charAt(0)) + toLowerCase(s.slice(1));
|
2018-09-11 20:51:33 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
export function toUpperCase(s: string): string {
|
|
|
|
return s.toUpperCase();
|
2018-09-06 20:22:55 +02:00
|
|
|
}
|
2018-09-11 23:33:02 +02:00
|
|
|
|
|
|
|
export function toLowerCase(s: string): string {
|
|
|
|
return s.toLowerCase();
|
|
|
|
}
|