| ||||||||||||||||||||||||||||||||||||||||||||||||||||

| ||||||||||||||||||||||||||||||||||||||||||||||||||||

| ||||||||||||||||||||||||||||||||||||||||||||||||||||

Description | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Class of data structures that can be folded to a summary value. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Synopsis | ||||||||||||||||||||||||||||||||||||||||||||||||||||

| ||||||||||||||||||||||||||||||||||||||||||||||||||||

Folds | ||||||||||||||||||||||||||||||||||||||||||||||||||||

class Foldable t a | t -> a where | ||||||||||||||||||||||||||||||||||||||||||||||||||||

| ||||||||||||||||||||||||||||||||||||||||||||||||||||

Special biased folds | ||||||||||||||||||||||||||||||||||||||||||||||||||||

foldr' :: Foldable t a => (a -> b -> b) -> b -> t -> b | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Fold over the elements of a structure, associating to the right, but strictly. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

foldl' :: Foldable t b => (a -> b -> a) -> a -> t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Fold over the elements of a structure, associating to the left, but strictly. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

foldrM :: (Foldable t a, Monad m) => (a -> b -> m b) -> b -> t -> m b | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Monadic fold over the elements of a structure, associating to the right, i.e. from right to left. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

foldlM :: (Foldable t b, Monad m) => (a -> b -> m a) -> a -> t -> m a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Monadic fold over the elements of a structure, associating to the left, i.e. from left to right. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Folding actions | ||||||||||||||||||||||||||||||||||||||||||||||||||||

traverse_ :: (Foldable t a, Applicative f) => (a -> f b) -> t -> f () | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Map each element of a structure to an action, evaluate these actions from left to right, and ignore the results. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

mapM_ :: (Foldable t a, Monad m) => (a -> m b) -> t -> m () | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Map each element of a structure to an monadic action, evaluate these actions from left to right, and ignore the results. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

sequenceA_ :: forall f a t . (Foldable t (f a), Applicative f) => t -> f () | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Evaluate each action in the structure from left to right, and ignore the results. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

sequence_ :: forall m a t . (Foldable t (m a), Monad m) => t -> m () | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Evaluate each monadic action in the structure from left to right, and ignore the results. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Specialized folds | ||||||||||||||||||||||||||||||||||||||||||||||||||||

toList :: Foldable t a => t -> [a] | ||||||||||||||||||||||||||||||||||||||||||||||||||||

List of elements of a structure. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

and :: Foldable t Bool => t -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||

and returns the conjunction of a container of Bools. For the
result to be True, the container must be finite; False, however,
results from a False value finitely far from the left end.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||

or :: Foldable t Bool => t -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||

or returns the disjunction of a container of Bools. For the
result to be False, the container must be finite; True, however,
results from a True value finitely far from the left end.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||

any :: Foldable t a => (a -> Bool) -> t -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Determines whether any element of the structure satisfies the predicate. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

all :: Foldable t a => (a -> Bool) -> t -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Determines whether all elements of the structure satisfy the predicate. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

sum :: (Foldable t a, Num a) => t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

The sum function computes the sum of the numbers of a structure.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||

product :: (Foldable t a, Num a) => t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

The product function computes the product of the numbers of a structure.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||

maximum :: (Foldable t a, Ord a) => t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

The largest element of the structure. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

maximumBy :: Foldable t a => (a -> a -> Ordering) -> t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

minimum :: (Foldable t a, Ord a) => t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

The least element of the structure. | ||||||||||||||||||||||||||||||||||||||||||||||||||||

minimumBy :: Foldable t a => (a -> a -> Ordering) -> t -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Searches | ||||||||||||||||||||||||||||||||||||||||||||||||||||

elem :: (Foldable t a, Eq a) => a -> t -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Does the element occur in the structure? | ||||||||||||||||||||||||||||||||||||||||||||||||||||

notElem :: (Foldable t a, Eq a) => a -> t -> Bool | ||||||||||||||||||||||||||||||||||||||||||||||||||||

Produced by Haddock version 0.7 |