Add `length` to the String library
commit29aa809504b8f8ef16d610a9217dcf8b15d6fa9c
authorEvan Czaplicki <info@elm-lang.org>
dateFri 4 Oct 2013, 09:58 (13 years ago)
parentea06794
libraries/Native/String.js+4
@@ -20,6 +20,9 @@ Elm.Native.String.make = function(elm) {
2020 return (chr = str[0]) ? Maybe.Just(Tuple2(chr, str.slice(1)))
2121 : Maybe.Nothing;
2222 }
23+ function length(str) {
24+ return str.length;
25+ }
2326 function map(f,str) {
2427 return str.map(f);
2528 }
@@ -115,6 +118,7 @@ Elm.Native.String.make = function(elm) {
115118 isEmpty: isEmpty,
116119 cons: F2(cons),
117120 uncons: uncons,
121+ length: length,
118122 map: F2(map),
119123 filter: F2(filter),
120124 reverse: reverse,
libraries/String.elm+5
@@ -20,6 +20,11 @@ cons = Native.String.cons
2020uncons : String -> Maybe (Char, String)
2121uncons = Native.String.uncons
2222
23+{-|
24+-}
25+length : String -> Int
26+length = Native.String.length
27+
2328{-|
2429-}
2530map : (Char -> Char) -> String -> String