semigroupoids-3.0.3: Haskell 98 semigroupoids: Category sans id

Copyright(C) 2011 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Semigroup.Foldable

Description

 

Synopsis

Documentation

class Foldable t => Foldable1 t where

Minimal complete definition

Nothing

Methods

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

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

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

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

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

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

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