Data.Diverse.AFoldable

Documentation

class AFoldable t a where

Constrained Foldable for a specified type instead for all types.

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 reiterateing Cases through the xs typelist.

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.

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 reiterateing Emitters through the xs typelist.

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.

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