Make traverse_ total
commitbf1c22efce25fd932dc85ca9cdd5fe5adf2b39eb
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 16 Dec 2012, 11:55 (14 years ago)
parent0a70480
lib/Prelude/Applicative.idr+1−1
@@ -43,4 +43,4 @@ traverse f xs = sequence (map f xs)
4343
4444traverse_ : Applicative f => (a -> f b) -> List a -> f ()
4545traverse_ f (x :: xs) = f x $> traverse_ f xs
46−traverse_ f [] = pure []
46+traverse_ f [] = pure ()