| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <[email protected]> |
| Safe Haskell | None |
Data.Semigroup.Traversable
Description
Documentation
class (Foldable1 t, Traversable t) => Traversable1 t whereSource
Instances
| Traversable1 Tree | |
| Traversable1 NonEmpty | |
| Traversable1 Identity | |
| (Foldable1 (IdentityT f), Traversable (IdentityT f), Traversable1 f) => Traversable1 (IdentityT f) | |
| (Foldable1 (Compose f g), Traversable (Compose f g), Traversable1 f, Traversable1 g) => Traversable1 (Compose f g) | |
| (Foldable1 (Product f g), Traversable (Product f g), Traversable1 f, Traversable1 g) => Traversable1 (Product f g) |
foldMap1Default :: (Traversable1 f, Semigroup m) => (a -> m) -> f a -> mSource