Mark traverse_ partial
commit7ef4be93c88d268bbb4ebe64377511c99e3db1d2
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 16 Dec 2012, 11:47 (14 years ago)
parent5eac0ee
lib/Prelude/Applicative.idr+1
@@ -41,5 +41,6 @@ sequence_ (x :: xs) = x $> sequence_ xs
4141traverse : Applicative f => (a -> f b) -> List a -> f (List b)
4242traverse f xs = sequence (map f xs)
4343
44+partial
4445traverse_ : Applicative f => (a -> f b) -> List a -> f ()
4546traverse_ f (x :: xs) = f x $> traverse_ f xs