Как заглавную букву можно превратить в соответствующую строчную в ATS?

Question

Учитывая слово (типа string), мне нужно превратить все буквы в данном слове в строчные, прежде чем искать его в словаре. Как я могу это сделать? Есть ли специальная функция для этого?

Answer 1

Вы можете реализовать следующую функцию в верхнем регистре заданной строки:

fun
string_toupper
(cs: string): string =
string_copywith(cs, lam(c) => $UN.cast{charNZ}(toupper(c)))

Или вы можете вызвать string_toupper и string_tolower, если вы делаете

#include "libats/ML/BOXED/mylibies.hats"