| Copyright | (C) 2011-2015 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Data.Semigroup.Foldable
Description
Synopsis
- class Foldable t => Foldable1 t where
- intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
- intercalateMap1 :: (Foldable1 t, Semigroup m) => 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
- asum1 :: (Foldable1 t, Alt m) => t (m a) -> m a
- foldrM1 :: (Foldable1 t, Monad m) => (a -> a -> m a) -> t a -> m a
- foldlM1 :: (Foldable1 t, Monad m) => (a -> a -> m a) -> t a -> m a
Documentation
class Foldable t => Foldable1 t where Source #
Minimal complete definition
Nothing
Methods
fold1 :: Semigroup m => t m -> m Source #
foldMap1 :: Semigroup m => (a -> m) -> t a -> m Source #
toNonEmpty :: t a -> NonEmpty a Source #
Instances
intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m Source #
Insert an m between each pair of 't m'. Equivalent to
intercalateMap1 with id as the second argument.
>>>intercalate1 ", " $ "hello" :| ["how", "are", "you"]"hello, how, are, you"
>>>intercalate1 ", " $ "hello" :| []"hello"
>>>intercalate1 mempty $ "I" :| ["Am", "Fine", "You?"]"IAmFineYou?"
intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m Source #
Insert m between each pair of m derived from a.
>>>intercalateMap1 " " show $ True :| [False, True]"True False True"
>>>intercalateMap1 " " show $ True :| []"True"
traverse1_ :: (Foldable1 t, Apply f) => (a -> f b) -> t a -> f () Source #
sequenceA1_ :: (Foldable1 t, Apply f) => t (f a) -> f () Source #
foldMapDefault1 :: (Foldable1 t, Monoid m) => (a -> m) -> t a -> m Source #
Usable default for foldMap, but only if you define foldMap1 yourself