| Copyright | (C) 2011 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.Semigroup.Foldable
Description
- 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
Documentation
class Foldable t => Foldable1 t where Source
Minimal complete definition
Nothing
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