2018-11-09 13:03:46 +09:00
|
|
|
export function concat(xs: string[]): string {
|
2018-12-24 17:02:03 +09:00
|
|
|
return xs.join('');
|
2018-11-09 13:03:46 +09:00
|
|
|
}
|
|
|
|
|
2018-09-07 03:22:55 +09:00
|
|
|
export function capitalize(s: string): string {
|
2018-09-12 06:33:02 +09:00
|
|
|
return toUpperCase(s.charAt(0)) + toLowerCase(s.slice(1));
|
2018-09-12 03:51:33 +09:00
|
|
|
}
|
|
|
|
|
|
|
|
export function toUpperCase(s: string): string {
|
|
|
|
return s.toUpperCase();
|
2018-09-07 03:22:55 +09:00
|
|
|
}
|
2018-09-12 06:33:02 +09:00
|
|
|
|
|
|
|
export function toLowerCase(s: string): string {
|
|
|
|
return s.toLowerCase();
|
|
|
|
}
|