Safe Haskell | None |
---|
Documentation
sequence_ :: (Applicative f, Foldable t) => t (f a) -> f ()Source
traverse_ :: (Applicative f, Foldable t) => (a -> f b) -> t a -> f ()Source
for_ :: (Applicative f, Foldable t) => t a -> (a -> f b) -> f ()Source
partitionEithers :: (Foldable t, Unit t, Monoid (t a), Monoid (t b)) => t (a :+: b) -> (t a, t b)Source
iter :: (Contravariant (k a), Category k, Foldable t) => k a (t (k a a) -> a)Source