Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Inferred |
Documentation
class (Foldable1 t, Traversable t) => Traversable1 t whereSource
Traversable1 Identity | |
Traversable1 Tree | |
Traversable1 NonEmpty | |
Traversable1 ((,) a) | |
Traversable1 f => Traversable1 (IdentityT f) | |
(Traversable1 f, Traversable1 g) => Traversable1 (Coproduct f g) | |
(Traversable1 f, Traversable1 g) => Traversable1 (Product f g) | |
(Traversable1 f, Traversable1 g) => Traversable1 (Compose f g) |
foldMap1Default :: (Traversable1 f, Semigroup m) => (a -> m) -> f a -> mSource