Data.Diverse.AFoldable

Documentation

class AFoldable t a where

Constrained Foldable for a specified type instead for all types.

Minimal complete definition

afoldr

Methods

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

Instances

(Case (c r) ((:) Type x xs), Reiterate (c r) ((:) Type x xs), AFoldable (Collector * c xs) r, (~) * r (CaseResult Type * (c r) x)) => AFoldable (Collector * c ((:) Type x xs)) r

Folds values by reiterateing Cases through the xs typelist.

Methods

afoldr :: (r -> b -> b) -> b -> Collector * c ((Type ': 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.

Methods

afoldr :: (r -> b -> b) -> b -> Collector * c [Type] r -> b

(Case (c r n) ((:) Type x xs), ReiterateN (c r) n ((:) Type x xs), AFoldable (CollectorN * c ((+) n 1) xs) r, (~) * r (CaseResult Type * (c r n) x)) => AFoldable (CollectorN * c n ((:) Type x xs)) r

Folds values by reiterateing Emitters through the xs typelist.

Methods

afoldr :: (r -> b -> b) -> b -> CollectorN * c n ((Type ': 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.

Methods

afoldr :: (r -> b -> b) -> b -> CollectorN * c n [Type] r -> b

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