| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Inferred |
Data.Semigroup.Foldable
Description
- class Foldable t => Foldable1 t where
- traverse1_ :: (Foldable1 t, Apply f) => (a -> f b) -> t a -> f ()
- for1_ :: (Foldable1 t, Apply f) => t a -> (a -> f b) -> f ()
- sequenceA1_ :: (Foldable1 t, Apply f) => t (f a) -> f ()
- foldMapDefault1 :: (Foldable1 t, Monoid m) => (a -> m) -> t a -> m
Documentation
traverse1_ :: (Foldable1 t, Apply f) => (a -> f b) -> t a -> f ()Source
sequenceA1_ :: (Foldable1 t, Apply f) => t (f a) -> f ()Source
foldMapDefault1 :: (Foldable1 t, Monoid m) => (a -> m) -> t a -> mSource
Usable default for foldMap, but only if you define foldMap1 yourself