@@ -170,8 +170,9 @@ not.
170170 partition (\x -> x < 3) [0..5] == ([0,1,2], [3,4,5])
171171 partition isEven [0..5] == ([0,2,4], [1,3,5])
172172-}
173+-- | TODO: foldify
173174partition : (a -> Bool) -> [a] -> ([a],[a])
174−partition pred lst =
175+partition pred lst =
175176 case lst of
176177 [] -> ([],[])
177178 x::xs -> let (bs,cs) = partition pred xs in
@@ -194,7 +195,10 @@ If one list is longer, the extra elements are dropped.
194195zipWith : (a -> b -> c) -> [a] -> [b] -> [c]
195196zipWith = Native.List.zipWith
196197
197−{-| Decompose a list of tuples. -}
198+{-| Decompose a list of tuples.
199+ unzip [(0, True), (17, False), (1337, True)] == ([0,17,1337], [True,False,True])
200+-}
201+-- | TODO: foldify
198202unzip : [(a,b)] -> ([a],[b])
199203unzip pairs =
200204 case pairs of
@@ -213,6 +217,7 @@ join = Native.List.join
213217
214218 intersperse "on" ["turtles","turtles","turtles"] == ["turtles","on","turtles","on","turtles"]
215219-}
220+-- | TODO: foldify
216221intersperse : a -> [a] -> [a]
217222intersperse sep xs =
218223 case xs of