Data.Comp.Multi.HFoldable

This module defines higher-order foldable functors.

Documentation

class HFunctor h => HFoldable h where

Higher-order functors that can be folded.

Minimal complete definition: hfoldMap or hfoldr.

Methods

hfold :: Monoid m => h (K m) :=> m

hfoldMap :: Monoid m => (a :=> m) -> h a :=> m

hfoldr :: (a :=> (b -> b)) -> b -> h a :=> b

hfoldl :: (b -> a :=> b) -> b -> h a :=> b

hfoldr1 :: forall a. (a -> a -> a) -> h (K a) :=> a

hfoldl1 :: forall a. (a -> a -> a) -> h (K a) :=> a

Instances

HFoldable f => HFoldable (Cxt h f)

Methods

hfold :: Monoid m => Cxt h f (K m) :=> m

hfoldMap :: Monoid m => (a :=> m) -> Cxt h f a :=> m

hfoldr :: (a :=> (b -> b)) -> b -> Cxt h f a :=> b

hfoldl :: (b -> a :=> b) -> b -> Cxt h f a :=> b

hfoldr1 :: (a -> a -> a) -> Cxt h f (K a) :=> a

hfoldl1 :: (a -> a -> a) -> Cxt h f (K a) :=> a

HFoldable f => HFoldable ((:&:) * f a)

Methods

hfold :: Monoid m => (* :&: f) a (K m) :=> m

hfoldMap :: Monoid m => (a :=> m) -> (* :&: f) a a :=> m

hfoldr :: (a :=> (b -> b)) -> b -> (* :&: f) a a :=> b

hfoldl :: (b -> a :=> b) -> b -> (* :&: f) a a :=> b

hfoldr1 :: (a -> a -> a) -> (* :&: f) a (K a) :=> a

hfoldl1 :: (a -> a -> a) -> (* :&: f) a (K a) :=> a

(HFoldable f, HFoldable g) => HFoldable ((:+:) * f g)

Methods

hfold :: Monoid m => (* :+: f) g (K m) :=> m

hfoldMap :: Monoid m => (a :=> m) -> (* :+: f) g a :=> m

hfoldr :: (a :=> (b -> b)) -> b -> (* :+: f) g a :=> b

hfoldl :: (b -> a :=> b) -> b -> (* :+: f) g a :=> b

hfoldr1 :: (a -> a -> a) -> (* :+: f) g (K a) :=> a

hfoldl1 :: (a -> a -> a) -> (* :+: f) g (K a) :=> a

kfoldr :: HFoldable f => (a -> b -> b) -> b -> f (K a) :=> b

kfoldl :: HFoldable f => (b -> a -> b) -> b -> f (K a) :=> b

htoList :: HFoldable f => f a :=> [E a]