Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
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