@@ -340,6 +340,20 @@ toUpper x with (strM x)
340340 strToLower (strCons c cs) | (StrCons c cs) =
341341 strCons (toUpper c) (toUpper (assert_smaller (strCons c cs) cs ))
342342
343+||| Convert a number string to int.
344+|||
345+||| ```idris example
346+||| parseInt "123"
347+||| ```
348+parseInt : String -> Maybe Int
349+parseInt s with (strM s)
350+ parseInt "" | StrNil = Nothing
351+ parseInt (strCons x xs) | (StrCons x xs) = parseIntAux (unpack xs) (ord x - 48) where
352+ parseIntAux : (List Char) -> Int -> Maybe Int
353+ parseIntAux [] acc = Just acc
354+ parseIntAux (c :: cs) acc = if (c >= '0' && c <= '9') then parseIntAux cs ((acc * 10) + (ord c) - 48)
355+ else Nothing
356+
343357--------------------------------------------------------------------------------
344358-- Predicates
345359--------------------------------------------------------------------------------
@@ -365,3 +379,4 @@ nullStr : String -> IO Bool
365379nullStr p = do ok <- foreign FFI_C "isNull" (String -> IO Int) p
366380 return (ok /= 0)
367381
382+