Modulegeneric-deriving-1.14.7Haskell2010

Generics.Deriving.Foldable

Contents

Generic Foldable class
Default method
Derived functions
Internal Foldable class

Synopsis

class GFoldable
value gfoldMapdefault
value gtoList
value gconcat
value gconcatMap
value gand
value gor
value gany
value gall
value gsum
value gproduct
value gmaximum
value gmaximumBy
value gminimum
value gminimumBy
value gelem
value gnotElem
value gfind
class GFoldable'

Packagegeneric-deriving-1.14.7
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause

Generic Foldable class

classclass GFoldable (t :: Type -> Type) where

Methods

gfoldMap :: 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
gfoldr1 :: (a -> a -> a) -> t a -> a
gfoldl1 :: (a -> a -> a) -> t a -> a

Instances25GFoldable, …

GFoldable ComplexDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable FirstDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable LastDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable MaxDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable MinDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable WrappedMonoidDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable NonEmptyDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable IdentityDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable FirstDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable LastDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable DownDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable DualDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable ProductDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable SumDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable ZipListDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable MaybeDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable []Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable ProxyDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable (Arg a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable (Either a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable (Tuple2 a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
(Generic1 t, GFoldable' (Rep1 t)) => GFoldable (Default1 t)Defined in generic-deriving-1.14.7 · Generics.Deriving.Default
GFoldable (Const m)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
(GFoldable f, GFoldable g) => GFoldable (Product f g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
(GFoldable f, GFoldable g) => GFoldable (Sum f g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable

Default method

valuegfoldMapdefault

:: (Generic1 t, GFoldable' (Rep1 t), Monoid m)
=> a -> m
-> t a
-> m

Derived functions

valuegtoList :: GFoldable t => t a -> [a]

valuegconcat :: GFoldable t => t [a] -> [a]

valuegconcatMap :: GFoldable t => (a -> [b]) -> t a -> [b]

valuegand :: GFoldable t => t Bool -> Bool

valuegor :: GFoldable t => t Bool -> Bool

valuegany :: GFoldable t => (a -> Bool) -> t a -> Bool

valuegall :: GFoldable t => (a -> Bool) -> t a -> Bool

valuegsum :: (GFoldable t, Num a) => t a -> a

valuegproduct :: (GFoldable t, Num a) => t a -> a

valuegmaximum :: (GFoldable t, Ord a) => t a -> a

valuegmaximumBy :: GFoldable t => (a -> a -> Ordering) -> t a -> a

valuegminimum :: (GFoldable t, Ord a) => t a -> a

valuegminimumBy :: GFoldable t => (a -> a -> Ordering) -> t a -> a

valuegelem :: (GFoldable t, Eq a) => a -> t a -> Bool

valuegnotElem :: (GFoldable t, Eq a) => a -> t a -> Bool

valuegfind :: GFoldable t => (a -> Bool) -> t a -> Maybe a

Internal Foldable class

classclass GFoldable' (t :: Type -> Type) where

Methods

gfoldMap' :: Monoid m => (a -> m) -> t a -> m

Instances15GFoldable', …

GFoldable' Par1Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' U1Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' UAddrDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' UCharDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' UDoubleDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' UFloatDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' UIntDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' UWordDefined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' V1Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable f => GFoldable' (Rec1 f)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' (K1 i c)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
(GFoldable' f, GFoldable' g) => GFoldable' (f :*: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
(GFoldable' f, GFoldable' g) => GFoldable' (f :+: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
GFoldable' f => GFoldable' (M1 i c f)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable
(GFoldable f, GFoldable' g) => GFoldable' (f :.: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Foldable