foldMap : Foldable t => Monoid m => (a -> m) -> t a -> mTransforme chaque élément en un monoïde et les combine, de gauche à droite.
importPour l'utiliser :
import Data.FoldableData.Foldable — opérations génériques sur n'importe quel Foldable
Synopsis
foldMap : Foldable t => Monoid m => (a -> m) -> t a -> mfold : Foldable t => Monoid m => t m -> mtoList : Foldable t => t a -> List anull : Foldable t => t a -> Boolcount : Foldable t => t a -> Natsum : Foldable t => Additive a => t a -> aproduct : Foldable t => Multiplicative a => t a -> aelem : Foldable t => Eq a => a -> t a -> Boolany : Foldable t => (a -> Bool) -> t a -> Boolall : Foldable t => (a -> Bool) -> t a -> Boolmaximum : Foldable t => Ord a => t a -> Maybe aminimum : Foldable t => Ord a => t a -> Maybe a
fold : Foldable t => Monoid m => t m -> mCombine les éléments d'un foldable de monoïdes (fold = foldMap id).
toList : Foldable t => t a -> List aTous les éléments sous forme de liste, de gauche à droite.
null : Foldable t => t a -> BoolLe foldable est-il vide ?
count : Foldable t => t a -> NatLe nombre d'éléments.
sum : Foldable t => Additive a => t a -> aSomme des éléments (0 pour le foldable vide).
product : Foldable t => Multiplicative a => t a -> aProduit des éléments (1 pour le foldable vide).
elem : Foldable t => Eq a => a -> t a -> BoolUne valeur est-elle un élément ? (Le || paresseux court-circuite.)
any : Foldable t => (a -> Bool) -> t a -> BoolAu moins un élément satisfait-il le prédicat ?
all : Foldable t => (a -> Bool) -> t a -> BoolTous les éléments satisfont-ils le prédicat ?
maximum : Foldable t => Ord a => t a -> Maybe aLe plus grand élément, ou Nothing si vide (total).
minimum : Foldable t => Ord a => t a -> Maybe aLe plus petit élément, ou Nothing si vide (total).