@@ -145,3 +145,16 @@ unwords = pack . unwords' . map unpack
146length : String -> Nat
146length : String -> Nat
147length = fromInteger . prim__zextInt_BigInt . prim_lenString
147length = fromInteger . prim__zextInt_BigInt . prim_lenString
149+toLower : String -> String
150+toLower x with (strM x)
151+ strToLower "" | StrNil = ""
152+ strToLower (strCons c cs) | (StrCons c cs) =
153+ strCons (toLower c) (toLower (assert_smaller (strCons c cs) cs))
155+toUpper : String -> String
156+toUpper x with (strM x)
157+ strToLower "" | StrNil = ""
158+ strToLower (strCons c cs) | (StrCons c cs) =
159+ strCons (toUpper c) (toUpper (assert_smaller (strCons c cs) cs ))