Как записать строчку в CLEAN

Question

У меня проблема в CLEAN, как я могу сделать строчную букву в строке? Я могу сделать это через массив символов, но мне тоже нужно сделать это с помощью строки. У меня есть код ниже до сих пор:

module Something 

import StdEnv, StdLib 

arrayLower:: [Char] -> [Char] 
arrayLower[x:xs] = (map toLower [x:xs]) 


stringLower:: String -> String 
stringLower_ = "" 
stringLowers = toString (arrayLower s) 

Start:: String  
Start = stringLower"SSSsss" 

Answer 1

Ваш первый случай

stringLower _ = "" 

означает, что stringLower применяется к чему-либо пустая строка.
Я удивлен, что вы не получили предупреждение о избыточном втором случае.

Stringявляется массив (распакованный, так что это {#Char}), и вы говорите, что вы уже знаете, как это сделать с массивами, но ваш arrayLower определен для списков Char ([Char]), а не массивы.

Это, используя понимание массива, работает для меня:

stringLower :: String -> String 
stringLower s = {toLower c \\ c <-: s}