git.iko.soy/Idris-dev
on master help sign in
added word-function as in haskell in prelude.string.
20fc41cMekeor Melire
lib/prelude/strings.idr+8
compare with master
unifiedsplit
@@ -62,3 +62,11 @@ ltrim xs with (strM xs)
62trim : String -> String
62trim : String -> String
63trim xs = ltrim (reverse (ltrim (reverse xs)))
63trim xs = ltrim (reverse (ltrim (reverse xs)))
64
64
65+words' : List Char -> List (List Char)
66+words' s = case dropWhile isSpace s of
67+ [] => []
68+ s' => let (w, s'') = break isSpace s'
69+ in w :: words' s''
70+
71+words : String -> List String
72+words s = map pack $ words' $ unpack s