Data.Semigroup.Traversable

semigroupoids-1.2.6: Haskell 98 semigroupoids: Category sans id

Portability | portable
Stability | provisional
Maintainer | Edward Kmett <ekmett@gmail.com>

Data.Semigroup.Traversable

Description

# Documentation

class (Foldable1 t, Traversable t) => Traversable1 t where

Methods

traverse1 :: Apply f => (a -> f b) -> t a -> f (t b)

sequence1 :: Apply f => t (f b) -> f (t b)

Instances

Traversable1 Tree |
Traversable1 NonEmpty |
Traversable1 Identity |
Traversable1 f => Traversable1 (IdentityT f) |
(Traversable1 f, Traversable1 g) => Traversable1 (Compose f g) |
(Traversable1 f, Traversable1 g) => Traversable1 (Product f g) |

foldMap1Default :: (Traversable1 f, Semigroup m) => (a -> m) -> f a -> m