Add toUpper and toLower functions for String

jljox · Feb 5, 2014 · a4038a3 · a4038a3
1 parent 138d35e
commit a4038a3
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/libs/prelude/Prelude/Strings.idr b/libs/prelude/Prelude/Strings.idr
@@ -145,3 +145,16 @@ unwords = pack . unwords' . map unpack
 
 length : String -> Nat
 length = fromInteger . prim__zextInt_BigInt . prim_lenString
+
+toLower : String -> String
+toLower x with (strM x)
+  strToLower ""             | StrNil = ""
+  strToLower (strCons c cs) | (StrCons c cs) =
+    strCons (toLower c) (toLower (assert_smaller (strCons c cs) cs))
+
+toUpper : String -> String
+toUpper x with (strM x)
+  strToLower ""             | StrNil = ""
+  strToLower (strCons c cs) | (StrCons c cs) =
+    strCons (toUpper c) (toUpper (assert_smaller (strCons c cs) cs ))
+