data-diverse-0.9.0.1: Extensible records and polymorphic variants.
Data.Diverse.AFoldable
Synopsis
class AFoldable t a where Source #
Constrained Foldable for a specified type instead for all types.
Minimal complete definition
afoldr
Methods
afoldr :: (a -> b -> b) -> b -> t a -> b Source #
afoldl' :: AFoldable t a => (b -> a -> b) -> b -> t a -> b Source #