Modulegeneric-deriving-1.14.6Haskell2010

Generics.Deriving.Foldable

2 classes
17 values

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

Generic Foldable class

1 declaration

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

Default method

1 declaration

valuegfoldMapdefault

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

Derived functions

16 declarations

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

1 declaration

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

Methods

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

Instances15GFoldable', …

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