| Copyright | (C) 2011-2015 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.Semigroup.Traversable
Description
Documentation
class (Foldable1 t, Traversable t) => Traversable1 t where Source
Instances
| Traversable1 Identity | |
| Traversable1 Tree | |
| Traversable1 NonEmpty | |
| Traversable1 ((,) a) | |
| Bitraversable1 p => Traversable1 (Join p) | |
| Traversable1 f => Traversable1 (IdentityT f) | |
| Traversable1 f => Traversable1 (Reverse f) | |
| Traversable1 f => Traversable1 (Backwards f) | |
| Traversable1 f => Traversable1 (Lift f) | |
| Traversable1 g => Traversable1 (Joker g a) | |
| (Traversable1 f, Traversable1 g) => Traversable1 (Coproduct f g) | |
| (Traversable1 f, Traversable1 g) => Traversable1 (Sum 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 -> m Source