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 | Trustworthy |
Language | Haskell98 |
Documentation
class Foldable t => Foldable1 t where #
Nothing
fold1 :: Semigroup m => t m -> m #
foldMap1 :: Semigroup m => (a -> m) -> t a -> m #
toNonEmpty :: t a -> NonEmpty a #
Instances
Foldable1 Par1 # | |
Foldable1 Complex # | |
Foldable1 Min # | |
Foldable1 Max # | |
Foldable1 First # | |
Foldable1 Last # | |
Foldable1 Identity # | |
Foldable1 Dual # | |
Foldable1 Sum # | |
Foldable1 Product # | |
Foldable1 NonEmpty # | |
Foldable1 Tree # | |
Foldable1 (V1 :: Type -> Type) # | |
Foldable1 ((,) a) # | |
Defined in Data.Semigroup.Foldable.Class | |
Foldable1 f => Foldable1 (Lift f) # | |
Foldable1 f => Foldable1 (Rec1 f) # | |
Foldable1 f => Foldable1 (Alt f) # | |
Bifoldable1 p => Foldable1 (Join p) # | |
Foldable1 m => Foldable1 (IdentityT m) # | |
Foldable1 (Tagged a) # | |
Foldable1 f => Foldable1 (Reverse f) # | |
Foldable1 f => Foldable1 (Backwards f) # | |
(Foldable1 f, Foldable1 g) => Foldable1 (f :+: g) # | |
(Foldable1 f, Foldable1 g) => Foldable1 (f :*: g) # | |
(Foldable1 f, Foldable1 g) => Foldable1 (Product f g) # | |
(Foldable1 f, Foldable1 g) => Foldable1 (Sum f g) # | |
Foldable1 f => Foldable1 (M1 i c f) # | |
(Foldable1 f, Foldable1 g) => Foldable1 (f :.: g) # | |
(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g) # | |
Foldable1 g => Foldable1 (Joker g a) # | |
class Bifoldable t => Bifoldable1 t where #
Nothing
bifold1 :: Semigroup m => t m m -> m #
bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> t a b -> m #