Safe Haskell	Safe
Language	Haskell2010

Data.Diverse.AFoldable

Synopsis

Documentation

class AFoldable t a where #

Constrained Foldable for a specified type instead for all types.

Minimal complete definition

Methods

afoldr :: (a -> b -> b) -> b -> t a -> b #

Instances

(Case (c r) (x ': xs), Reiterate (c r) (x ': xs), AFoldable (Collector c xs) r, r ~ CaseResult (c r) x) => AFoldable (Collector c (x ': xs)) r #	Folds values by `reiterate`ing `Case`s through the `xs` typelist.
Instance details Defined in Data.Diverse.Many.Internal Methods afoldr :: (r -> b -> b) -> b -> Collector c (x ': xs) r -> b #
AFoldable (Collector c ([] :: [Type])) r #	nill case that doesn't even use `case'`, so that an instance of `Case '[]` is not needed.
Instance details Defined in Data.Diverse.Many.Internal Methods afoldr :: (r -> b -> b) -> b -> Collector c [] r -> b #
(Case (c r n) (x ': xs), ReiterateN (c r) n (x ': xs), AFoldable (CollectorN c (n + 1) xs) r, r ~ CaseResult (c r n) x) => AFoldable (CollectorN c n (x ': xs)) r #	Folds values by `reiterate`ing `Emit`ters through the `xs` typelist.
Instance details Defined in Data.Diverse.Many.Internal Methods afoldr :: (r -> b -> b) -> b -> CollectorN c n (x ': xs) r -> b #
AFoldable (CollectorN c n ([] :: [Type])) r #	nill case that doesn't even use `case'`, so that an instance of `Case '[]` is not needed.
Instance details Defined in Data.Diverse.Many.Internal Methods afoldr :: (r -> b -> b) -> b -> CollectorN c n [] r -> b #

afoldl' :: AFoldable t a => (b -> a -> b) -> b -> t a -> b #