semigroupoids-1.0.0: Haskell 98: Semigroupoids: Categories sans id, Applicative sans pure, Monad sans return, Alternative sans empty

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <[email protected]>

Data.Semigroup.Foldable

Description

 

Synopsis

Documentation

class Foldable t => Foldable1 t whereSource

Methods

fold1 :: Semigroup m => t m -> mSource

foldMap1 :: Semigroup m => (a -> m) -> t a -> mSource

traverse1_ :: (Foldable1 t, Apply f) => (a -> f b) -> t a -> f ()Source

for1_ :: (Foldable1 t, Apply f) => t a -> (a -> f b) -> f ()Source

sequenceA1_ :: (Foldable1 t, Apply f) => t (f a) -> f ()Source

foldMapDefault1 :: (Foldable1 t, Monoid m) => (a -> m) -> t a -> mSource

Usable default for foldMap, but only if you define foldMap1 yourself