Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Data.Semigroup.Traversable
Description
Documentation
class (Foldable1 t, Traversable t) => Traversable1 t whereSource
Methods
traverse1 :: FunctorApply f => (a -> f b) -> t a -> f (t b)Source
sequence1 :: FunctorApply f => t (f b) -> f (t b)Source
foldMap1Default :: (Traversable1 f, Semigroup m) => (a -> m) -> f a -> mSource