git.iko.soy/Idris-dev
on master help sign in
Make traverse_ total
bf1c22eEdwin Brady
lib/Prelude/Applicative.idr+1−1
compare with master
unifiedsplit
@@ -43,4 +43,4 @@ traverse f xs = sequence (map f xs)
43
43
44traverse_ : Applicative f => (a -> f b) -> List a -> f ()
44traverse_ : Applicative f => (a -> f b) -> List a -> f ()
45traverse_ f (x :: xs) = f x $> traverse_ f xs
45traverse_ f (x :: xs) = f x $> traverse_ f xs
46−traverse_ f [] = pure []
46+traverse_ f [] = pure ()