semigroupoids-4.0.1: Semigroupoids: Category sans id

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

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