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 |
Documentation
class Foldable t => Foldable1 t where
Nothing
Foldable1 Identity | |
Foldable1 Tree | |
Foldable1 NonEmpty | |
Foldable1 ((,) a) | |
Foldable1 m => Foldable1 (IdentityT m) | |
Foldable1 f => Foldable1 (Reverse f) | |
Foldable1 f => Foldable1 (Backwards f) | |
Foldable1 f => Foldable1 (Lift f) | |
Bifoldable1 p => Foldable1 (Join * p) | |
(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g) | |
(Foldable1 f, Foldable1 g) => Foldable1 (Sum f g) | |
(Foldable1 f, Foldable1 g) => Foldable1 (Product 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
Bifoldable1 Either | |
Bifoldable1 (,) | |
Bifoldable1 Const | |
Bifoldable1 Arg | |
Bifoldable1 ((,,) x) | |
Bifoldable1 (Tagged *) | |
Bifoldable1 ((,,,) x y) | |
Bifoldable1 ((,,,,) x y z) | |
Bifoldable1 p => Bifoldable1 (WrappedBifunctor * * p) | |
Foldable1 g => Bifoldable1 (Joker * * g) | |
Bifoldable1 p => Bifoldable1 (Flip * * p) | |
Foldable1 f => Bifoldable1 (Clown * * f) | |
(Bifoldable1 f, Bifoldable1 g) => Bifoldable1 (Product * * f g) | |
(Foldable1 f, Bifoldable1 p) => Bifoldable1 (Tannen * * * f p) | |
(Bifoldable1 p, Foldable1 f, Foldable1 g) => Bifoldable1 (Biff * * * * p f g) |