@@ -20,6 +20,11 @@ cons = Native.String.cons
20uncons : String -> Maybe (Char, String)
20uncons : String -> Maybe (Char, String)
21uncons = Native.String.uncons
21uncons = Native.String.uncons
25+length : String -> Int
26+length = Native.String.length
25map : (Char -> Char) -> String -> String
30map : (Char -> Char) -> String -> String