@@ -9,8 +9,14 @@ traverse_ f = foldr (($>) . f) (pure ())
99sequence_ : (Foldable t, Applicative f) => t (f a) -> f ()
1010sequence_ = foldr ($>) (pure ())
1111
12+for_ : (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
13+for_ = flip traverse_
14+
1215class (Functor t, Foldable t) => Traversable (t : Type -> Type) where
1316 traverse : Applicative f => (a -> f b) -> t a -> f (t b)
1417
1518sequence : (Traversable t, Applicative f) => t (f a) -> f (t a)
1619sequence = traverse id
20+
21+for : (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
22+for = flip traverse