git.iko.soy/Idris-dev
on master help sign in
Mark traverse_ partial
7ef4be9Edwin Brady
lib/Prelude/Applicative.idr+1
compare with master
unifiedsplit
@@ -41,5 +41,6 @@ sequence_ (x :: xs) = x $> sequence_ xs
41traverse : Applicative f => (a -> f b) -> List a -> f (List b)
41traverse : Applicative f => (a -> f b) -> List a -> f (List b)
42traverse f xs = sequence (map f xs)
42traverse f xs = sequence (map f xs)
43
43
44+partial
44traverse_ : Applicative f => (a -> f b) -> List a -> f ()
45traverse_ : Applicative f => (a -> f b) -> List a -> f ()
45traverse_ f (x :: xs) = f x $> traverse_ f xs
46traverse_ f (x :: xs) = f x $> traverse_ f xs