Copyright | (c) 2011 Patrick Bahr |
---|---|
License | BSD3 |
Maintainer | Patrick Bahr <paba@diku.dk> |
Stability | experimental |
Portability | non-portable (GHC Extensions) |
Safe Haskell | Safe |
Language | Haskell98 |
This module defines higher-order foldable functors.
Documentation
class HFunctor h => HFoldable h where Source #
hfold :: Monoid m => h (K m) :=> m Source #
hfoldMap :: Monoid m => (a :=> m) -> h a :=> m Source #
hfoldr :: (a :=> (b -> b)) -> b -> h a :=> b Source #
hfoldl :: (b -> a :=> b) -> b -> h a :=> b Source #
hfoldr1 :: forall a. (a -> a -> a) -> h (K a) :=> a Source #
hfoldl1 :: forall a. (a -> a -> a) -> h (K a) :=> a Source #