@@ -9,8 +9,14 @@ traverse_ f = foldr (($>) . f) (pure ())
9sequence_ : (Foldable t, Applicative f) => t (f a) -> f ()
9sequence_ : (Foldable t, Applicative f) => t (f a) -> f ()
10sequence_ = foldr ($>) (pure ())
10sequence_ = foldr ($>) (pure ())
12+for_ : (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
12class (Functor t, Foldable t) => Traversable (t : Type -> Type) where
15class (Functor t, Foldable t) => Traversable (t : Type -> Type) where
13 traverse : Applicative f => (a -> f b) -> t a -> f (t b)
16 traverse : Applicative f => (a -> f b) -> t a -> f (t b)
15sequence : (Traversable t, Applicative f) => t (f a) -> f (t a)
18sequence : (Traversable t, Applicative f) => t (f a) -> f (t a)
16sequence = traverse id
19sequence = traverse id
21+for : (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)