Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Generics.Deriving.Foldable
- class GFoldable t where
- gfoldMapdefault :: (Generic1 t, GFoldable' (Rep1 t), Monoid m) => (a -> m) -> t a -> m
- gtoList :: GFoldable t => t a -> [a]
- gconcat :: GFoldable t => t [a] -> [a]
- gconcatMap :: GFoldable t => (a -> [b]) -> t a -> [b]
- gand :: GFoldable t => t Bool -> Bool
- gor :: GFoldable t => t Bool -> Bool
- gany :: GFoldable t => (a -> Bool) -> t a -> Bool
- gall :: GFoldable t => (a -> Bool) -> t a -> Bool
- gsum :: (GFoldable t, Num a) => t a -> a
- gproduct :: (GFoldable t, Num a) => t a -> a
- gmaximum :: (GFoldable t, Ord a) => t a -> a
- gmaximumBy :: GFoldable t => (a -> a -> Ordering) -> t a -> a
- gminimum :: (GFoldable t, Ord a) => t a -> a
- gminimumBy :: GFoldable t => (a -> a -> Ordering) -> t a -> a
- gelem :: (GFoldable t, Eq a) => a -> t a -> Bool
- gnotElem :: (GFoldable t, Eq a) => a -> t a -> Bool
- gfind :: GFoldable t => (a -> Bool) -> t a -> Maybe a
- class GFoldable' t where
Generic Foldable class
Methods
gfoldMap :: Monoid m => (a -> m) -> t a -> m #
gfoldMap :: (Generic1 t, GFoldable' (Rep1 t), Monoid m) => (a -> m) -> t a -> m #
gfold :: Monoid m => t m -> m #
gfoldr :: (a -> b -> b) -> b -> t a -> b #
gfoldr' :: (a -> b -> b) -> b -> t a -> b #
gfoldl :: (a -> b -> a) -> a -> t b -> a #
gfoldl' :: (a -> b -> a) -> a -> t b -> a #
Instances
GFoldable [] # | |
GFoldable Maybe # | |
GFoldable Identity # | |
GFoldable Min # | |
GFoldable Max # | |
GFoldable First # | |
GFoldable Last # | |
GFoldable WrappedMonoid # | |
GFoldable Option # | |
GFoldable NonEmpty # | |
GFoldable Complex # | |
GFoldable ZipList # | |
GFoldable Dual # | |
GFoldable Sum # | |
GFoldable Product # | |
GFoldable First # | |
GFoldable Last # | |
GFoldable (Either a) # | |
GFoldable ((,) a) # | |
GFoldable (Arg a) # | |
GFoldable (Proxy *) # | |
GFoldable (Const * m) # | |
(GFoldable f, GFoldable g) => GFoldable (Sum * f g) # | |
(GFoldable f, GFoldable g) => GFoldable (Product * f g) # | |
Default method
gfoldMapdefault :: (Generic1 t, GFoldable' (Rep1 t), Monoid m) => (a -> m) -> t a -> m #
Derived functions
gconcatMap :: GFoldable t => (a -> [b]) -> t a -> [b] #
gmaximumBy :: GFoldable t => (a -> a -> Ordering) -> t a -> a #
gminimumBy :: GFoldable t => (a -> a -> Ordering) -> t a -> a #
Internal Foldable class
class GFoldable' t where #
Minimal complete definition
Instances
GFoldable' U1 # | |
GFoldable' Par1 # | |
GFoldable' UAddr # | |
GFoldable' UChar # | |
GFoldable' UDouble # | |
GFoldable' UFloat # | |
GFoldable' UInt # | |
GFoldable' UWord # | |
GFoldable f => GFoldable' (Rec1 f) # | |
GFoldable' (K1 i c) # | |
(GFoldable' f, GFoldable' g) => GFoldable' ((:+:) f g) # | |
(GFoldable' f, GFoldable' g) => GFoldable' ((:*:) f g) # | |
(GFoldable f, GFoldable' g) => GFoldable' ((:.:) f g) # | |
GFoldable' f => GFoldable' (M1 i c f) # | |