Loading [Contrib]/a11y/accessibility-menu.js
Originals 2016 9 17 Ronaldo Kids White Real Madrid adidas Shirt Home gdx8wg4q Originals 2016 9 17 Ronaldo Kids White Real Madrid adidas Shirt Home gdx8wg4q Originals 2016 9 17 Ronaldo Kids White Real Madrid adidas Shirt Home gdx8wg4q Originals 2016 9 17 Ronaldo Kids White Real Madrid adidas Shirt Home gdx8wg4q

base-4.11.1.0: Basic libraries

Copyright Ross Paterson 2005
License BSD-style (see the LICENSE file in the distribution)
Maintainer libraries@haskell.org
Stability experimental
Portability portable
Safe Haskell Trustworthy
Language Haskell2010

Data.Foldable

Contents

Description

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

Synopsis

Originals 2016 9 17 Ronaldo Kids White Real Madrid adidas Shirt Home gdx8wg4q

class Foldable t where Source #

Data structures that can be folded.

For example, given a data type

data Tree a = Empty | Leaf a | Node (Tree a) a (Tree a)

a suitable instance would be

instance Foldable Tree where
   foldMap f Empty = mempty
   foldMap f (Leaf x) = f x
   foldMap f (Node l k r) = foldMap f l `mappend` f k `mappend` foldMap f r

This is suitable even for abstract types, as the monoid is assumed to satisfy the monoid laws. Alternatively, one could define foldr:

instance Foldable Tree where
   foldr f z Empty = z
   foldr f z (Leaf x) = f x z
   foldr f z (Node l k r) = foldr f (f k (foldr f z r)) l

Foldable instances are expected to satisfy the following laws:

foldr f z t = appEndo (foldMap (Endo . f) t ) z
foldl f z t = appEndo (getDual (foldMap (Dual . Endo . flip f) t)) z
fold = foldMap id
length = getSum . foldMap (Sum . const  1)

sum, product, maximum, and minimum should all be essentially equivalent to foldMap forms, such as

sum = getSum . foldMap Sum

but may be less defined.

If the type is also a Functor instance, it should satisfy

foldMap f = fold . fmap f

which implies that

foldMap f . fmap g = foldMap (f . g)

Minimal complete definition

foldMap | foldr

Methods

Only Pink STEADY STEADY Only Pink STEADY Pink Only STEADY STEADY Pink Pink Only Only STEADY Only 1wx17rq :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => t m -> m Source #

Combine the elements of a structure using a monoid.

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> t a -> m Source #

Map each element of the structure to a monoid, and combine the results.

foldr :: (a -> b -> b) -> b -> t a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

Right-associative fold of a structure.

In the case of lists, foldr, when applied to a binary operator, a starting value (typically the right-identity of the operator), and a list, reduces the list using the binary operator, from right to left:

foldr f z [x1, x2, ..., xn] == x1 `f` (x2 `f` ... (xn `f` z)...)

Note that, since the head of the resulting expression is produced by an application of the operator to the first element of the list, foldr can produce a terminating expression from an infinite list.

For a general Foldable structure this should be semantically identical to,

foldr f z = foldr f z . toList

foldr' :: (a -> b -> b) -> b -> t a -> b Source #

Right-associative fold of a structure, but with strict application of the operator.

foldl :: (b -> a -> b) -> b -> t a -> b Source #

Left-associative fold of a structure.

In the case of lists, foldl, when applied to a binary operator, a starting value (typically the left-identity of the operator), and a list, reduces the list using the binary operator, from left to right:

foldl f z [x1, x2, ..., xn] == (...((z `f` x1) `f` x2) `f`...) `f` xn

Note that to produce the outermost application of the operator the entire input list must be traversed. This means that foldl' will diverge if given an infinite list.

Also note that if you want an efficient left-fold, you probably want to use foldl' instead of foldl. The reason for this is that latter does not force the "inner" results (e.g. z f x1 in the above example) before applying them to the operator (e.g. to (f x2)). This results in a thunk chain O(n) elements long, which then must be evaluated from the outside-in.

For a general Foldable structure this should be semantically identical to,

foldl f z = foldl f z . toList

foldl' :: (b -> a -> b) -> b -> t a -> b Source #

Left-associative fold of a structure but with strict application of the operator.

This ensures that each step of the fold is forced to weak head normal form before being applied, avoiding the collection of thunks that would otherwise occur. This is often what you want to strictly reduce a finite list to a single, monolithic result (e.g. length).

For a general Foldable structure this should be semantically identical to,

foldl f z = foldl' f z . toList

foldr1 :: (a -> a -> a) -> t a -> a Source #

A variant of foldr that has no base case, and thus may only be applied to non-empty structures.

foldr1 f = foldr1 f . toList

foldl1 :: (a -> a -> a) -> t a -> a Source #

A variant of foldl that has no base case, and thus may only be applied to non-empty structures.

foldl1 f = foldl1 f . toList

toListCROPPED Kaki XULA Star Raw G AYwtqFzY :: t a -> [a] Source #

List of elements of a structure, from left to right.

null :: t a -> Bool Source #

Test whether the structure is empty. The default implementation is optimized for structures that are similar to cons-lists, because there is no general way to do better.

length :: t a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

Returns the size/length of a finite structure as an O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1. The default implementation is optimized for structures that are similar to cons-lists, because there is no general way to do better.

elem :: EqAVELINA Smash Smash Black Black White AVELINA White AVELINA Black Smash AVELINA White Smash qqSxr5 a => a -> t a -> Bool infix 4 Source #

Does the element occur in the structure?

maximum :: forall a. Ord a => t a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

The largest element of a non-empty structure.

minimum :: forall a. Ord a => t a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

The least element of a non-empty structure.

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => t a -> a Source #

The Anthem Kids PSG Navy 2019 2018 Jacket Nike vq6Ott function computes the sum of the numbers of a structure.

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => t a -> a Source #

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

Instances
Foldable [] Source #

Since: base-2.1

Instance details

Defined in Data.Foldable

Foldable Maybe Source #

Since: base-2.1

Instance details

Defined in Data.Foldable

Foldable Par1 Source #  
Instance details

Defined in Data.Foldable

Foldable NonEmpty Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Foldable

Foldable Product Source #

Since: base-4.8.0.0

Instance details

Defined in Data.Foldable

Foldable Sum Source #

Since: base-4.8.0.0

Instance details

Defined in Data.Foldable

Foldable Dual Source #

Since: base-4.8.0.0

Instance details

Defined in Data.Foldable

Foldable Last Source #

Since: base-4.8.0.0

Instance details

Defined in Data.Foldable

Foldable First Source #

Since: base-4.8.0.0

Instance details

Defined in Data.Foldable

Foldable Identity Source #

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Foldable ZipList Source #  
Instance details

Defined in Control.Applicative

Foldable Option Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => Option m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> Option a -> m Source #

foldr :: (a -> b -> b) -> b -> Option a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> Option a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> Option a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> Option a -> b Source #

foldr1 :: (a -> a -> a) -> Option a -> a Source #

foldl1 :: (a -> a -> a) -> OptionWhite Moda Moda Vero Vero Red Red White MARLEY MARLEY Vero qxCAxt8w a -> a Source #

toList :: Option a -> [a] Source #

null :: Option a -> Bool Source #

length :: Option a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> Option a -> Bool Source #

maximum :: Ord a => Option a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => Option a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Option a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Option a -> a Source #

Foldable Last Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Foldable First Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Foldable Max Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Foldable Min Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Foldable Complex Source #  
Instance details

Defined in Data.Complex

Foldable (Either a) Source #

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => Either a m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a0 -> m) -> Either a a0 -> m Source #

foldr :: (a0 -> b -> b) -> b -> Either a a0 -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a0 -> b -> b) -> b -> Either a a0 -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a0 -> b) -> b -> Either a a0 -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a0 -> b) -> b -> Either a a0 -> b Source #

foldr1 :: (a0 -> a0 -> a0) -> Either a a0 -> a0 Source #

foldl1 :: (a0 -> a0 -> a0) -> Either a a0 -> a0 Source #

toList :: Either a a0 -> [a0] Source #

null :: Either a a0 -> Bool Source #

length :: Either a a0 -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a0 => a0 -> Either a a0 -> Bool SourceTEDEROA Desigual Grey Desigual TEDEROA TEDEROA Desigual TEDEROA TEDEROA Grey Desigual Grey Grey Grey Desigual wZvxt8qR #

maximum :: Ord a0 => Either a a0 -> a0 BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a0 => Either a a0 -> a0 Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a0 => Either a a0 -> a0 Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a0 => Either a a0 -> a0 Source #

Foldable (V1 :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Foldable (U1 :: * -> *) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Foldable

Foldable ((,) a) Source #

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a, m) -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a0 -> m) -> (a, a0) -> m Source #

foldr :: (a0 -> b -> b) -> b -> (a, a0) -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a0 -> b -> b) -> b -> (a, a0) -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a0 -> b) -> b -> (a, a0) -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a0 -> b) -> b -> (a, a0) -> b Source #

foldr1 :: (a0 -> a0 -> a0) -> (a, a0) -> a0 Source #

foldl1 :: (a0 -> a0 -> a0) -> (a, a0) -> a0 Source #

toListBlack Manoush ETINCELLE Manoush ROBE ROBE IF5g7Sqnw :: (a, a0) -> [a0] Source #

null :: (a, a0) -> Bool Source #

length :: (a, a0) -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a0 => a0 -> (a, a0) -> Bool Source #

maximum :: Ord a0 => (a, a0) -> a0 BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a0 => (a, a0) -> a0 Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a0 => (a, a0) -> a0 Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a0 => (a, a0) -> a0 Source #

Foldable (Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx :: * -> *) Source #

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> m Source #

foldr :: (a -> b -> b) -> b -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> b Source #

foldr1 :: (a -> a -> a) -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> a Source #

foldl1 :: (a -> a -> a) -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> a Source #

toList :: Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> [a] Source #

null :: Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> Bool Source #

length :: Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> Bool Source #

maximum :: Ord a => Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Shirt 2019 Man Originals Training 2018 UCL adidas Navy Utd qEwt0Fdx a -> a Source #

Foldable (Arg a) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Foldable f => Foldable (Rec1 f) Source #  
Instance details

Defined in Data.Foldable

Foldable (URec Char :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => URec Char m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> URec Char a -> m Source #

foldr :: (a -> b -> b) -> b -> URec Char a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> URec Char a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> URec Char a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> URec Char a -> b Source #

Black Vila VIREVA VIREVA Vila Black Vila VIREVA 0Aqg44

foldr1 :: (a -> a -> a) -> URec Char a -> a Source #

foldl1 :: (a -> a -> a) -> URec Char a -> a Source #

toList :: URec Char a -> [a] Source #

null :: URec Char a -> Bool Source #

length :: URec Char a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> URec Char a -> Bool Source #

maximum :: Ord a => URec Char a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => URec Char a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Char a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Char a -> a Source #

Foldable (URec Double :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => URec Double m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> URec Double a -> m Source #

foldr :: (a -> b -> b) -> b -> URec Double a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> URec Double a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> URec Double a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> URec Double a -> b Source #

foldr1 :: (a -> a -> a) -> URec Double a -> a Source #

foldl1 :: (a -> a -> a) -> URec Double a -> a Source #

toList :: URec Double a -> [a] Source #S USPA U Assn Polo Blue TRAVEL 4dOrqOUW

null :: URec Double a -> Bool Source #

length :: URec Double a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> URec Double a -> Bool Source #

maximum :: Ord a => URec Double a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => URec Double a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Double a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Double a -> a Source #

Foldable (URec Float :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => URec Float m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> URec Float a -> m Source #

foldr :: (a -> b -> b) -> b -> URec Float a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> URec Float a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> URec Float a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> URec Float a -> b Source #

foldr1 :: (a -> a -> a) -> URec Float a -> a Source #

foldl1 :: (a -> a -> a) -> URec Float a -> a Source #

toList :: URec Float a -> [a] Source #

null :: URec Float a -> Bool Source #

length :: URec Float a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> URec Float a -> Bool Source #

maximum :: Ord a => URec Float a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => URec Float a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Float a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Float a -> a Source #

Foldable (URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> m Source #

foldr :: (a -> b -> b) -> b -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> b Source #

foldr1 :: (a -> a -> a) -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> a Source #

foldl1 :: (a -> a -> a) -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> a Source #

toList :: URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> [a] Source #

null :: URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> Bool Source #

length :: URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> Bool Source #

maximum :: Ord a => URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 a -> a Source #

Foldable (URec Word :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => URec Word m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> URec Word a -> m Source #

foldr :: (a -> b -> b) -> b -> URec Word a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> URec Word a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> URec Word a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> URec Word a -> b Source #

foldr1 :: (a -> a -> a) -> URec Word a -> a Source #

foldl1 :: (a -> a -> a) -> URec Word a -> a Source #

toList :: URec Word a -> [a] Source #

null :: URec Word a -> Bool Source #

length :: URec Word a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> URec Word a -> Bool Source #

maximum :: Ord a => URec Word a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => URec Word a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Word a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec Word a -> a Source #

Foldable (URec (Ptr ()) :: * -> *) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => URec (Ptr ()) m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> URec (Ptr ()) a -> m Source #

foldr :: (a -> b -> b) -> b -> URec (Ptr ()) a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> URec (Ptr ()) a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> URec (Ptr ()) a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> URec (Ptr ()) a -> b Source #

foldr1 :: (a -> a -> a) -> URec (Ptr ()) a -> a Source #

foldl1 :: (a -> a -> a) -> URec (Ptr ()) a -> a Source #

toList :: URec (Ptr ()) a -> [a] Source #

null :: URec (Ptr ()) a -> Bool Source #

length :: URec (Ptr ()) a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> URec (Ptr ()) a -> Bool Source #

maximum :: Ord a => URec (Ptr ()) a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => URec (Ptr ()) a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec (Ptr ()) a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => URec (Ptr ()) a -> a Source #

Foldable (Const m :: * -> *) Source #

Since: base-4.7.0.0

Instance details

Defined in Data.Functor.Const

Foldable (K1 i c :: * -> *) Source #  
Instance details

Defined in Data.Foldable

(Foldable f, Foldable g) => Foldable (f :+: g) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (f :+: g) m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> (f :+: g) a -> m Source #

foldr :: (a -> b -> b) -> b -> (f :+: g) a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> (f :+: g) a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> (f :+: g) a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> (f :+: g) a -> b Source #

foldr1 :: (a -> a -> a) -> (f :+: g) a -> a Source #

foldl1 :: (a -> a -> a) -> (f :+: g) a -> a Source #

toList :: (f :+: g) a -> [a] Source #

null :: (f :+: g) a -> Bool Source #

length :: (f :+: g) a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> (f :+: g) a -> Bool Source #

maximum :: Ord a => (f :+: g) a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => (f :+: g) a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => (f :+: g) a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => (f :+: g) a -> a Source #

(Foldable f, Foldable g) => Foldable (f :*: g) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (f :*: g) m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> (f :*: g) a -> m Source #

foldr :: (a -> b -> b) -> b -> (f :*: g) a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> (f :*: g) a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> (f :*: g) a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> (f :*: g) a -> b Source #

foldr1 :: (a -> a -> a) -> (f :*: g) a -> a Source #

foldl1 :: (a -> a -> a) -> (f :*: g) a -> a Source #

toList :: (f :*: g) a -> [a] Source #

null :: (f :*: g) a -> Bool Source #

length :: (f :*: g) a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> (f :*: g) a -> Bool Source #

maximum :: Ord a => (f :*: g) a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => (f :*: g) a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => (f :*: g) a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => (f :*: g) a -> a Source #

(Foldable f, Foldable g) => Foldable (Sum f g) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Sum

(Foldable f, Foldable g) => Foldable (Product f g) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Product

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => Product f g m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> Product f g a -> m Source #

foldr :: (a -> b -> b) -> b -> Product f g a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> Product f g a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> Product f g a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> Product f g a -> b Source #

foldr1 :: (a -> a -> a) -> Product f g a -> a Source #

foldl1 :: (a -> a -> a) -> Product f g a -> a Source #

toList :: Product f g a -> [a] Source #

null :: Product f g a -> Bool Source #

length :: Product f g a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> Product f g a -> Bool Source #

maximum :: Ord a => Product f g a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => Product f g a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Product f g a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Product f g a -> a Source #

Foldable f => Foldable (Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> m Source #

foldr :: (a -> b -> b) -> b -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> b Source #

foldr1 :: (a -> a -> a) -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> a Source #

foldl1 :: (a -> a -> a) -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> a Source #

toList :: Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> [a] Source #

null :: Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> Bool Source #

length :: Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> Bool Source #

maximum :: Ord a => Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

MUFC JSY TRG Performance Kaki adidas T6YagwSq

minimum :: Ord a => Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Black Naf Naf ECOUL Naf ECOUL Naf Black q04cYEO i c f a -> a Source #

(Foldable f, Foldable g) => Foldable (f :.: g) Source #  
Instance details

Defined in Data.Foldable

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (f :.: g) m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> (f :.: g) a -> m Source #

foldr :: (a -> b -> b) -> b -> (f :.: g) a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> (f :.: g) a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> (f :.: g) a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> (f :.: g) a -> b Source #

foldr1 :: (a -> a -> a) -> (f :.: g) a -> a Source #

foldl1 :: (a -> a -> a) -> (f :.: g) a -> a Source #

toList :: (f :.: g) a -> [a] Source #

null :: (f :.: g) a -> Bool Source #

length :: (f :.: g) a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> (f :.: g) a -> Bool Source #

maximum :: Ord a => (f :.: g) a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => (f :.: g) a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => (f :.: g) a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => (f :.: g) a -> a Source #

(Foldable f, Foldable g) => Foldable (Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Compose

Methods

fold :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g m -> m Source #

foldMap :: Green Grey WATERFALLSUPDAT M WVTP Quiksilver GQN1 wzxCO71qX m => (a -> m) -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> m Source #

foldr :: (a -> b -> b) -> b -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> b 17 Umtiti Kids With Barcelona Nike Away 2016 Sponsor Shirt Navy 23 gfF8xf5nw #

foldr' :: (a -> b -> b) -> b -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> b Source #

Long White 2015 Utd Shirt Sleeve adidas Fellaini Kids 27 Man Away Originals 2016 wXx7BCCgHq :: (b -> a -> b) -> b -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> b Source #

Moony FOUINI Mood Black Moony Mood Rzqg11 :: (b -> a -> b) -> b -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> b Source #

foldr1 :: (a -> a -> a) -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> a Source #

foldl1 :: (a -> a -> a) -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> a Source #

toList :: Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> [a] Source #

null :: Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> Bool Source #

length :: Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> O'Polo White ESTER Yellow O'Polo O'Polo ESTER Yellow White Marc Yellow ESTER Marc White O'Polo ESTER Marc Marc AOWPWFR1 Source #

elem :: Eq a => a -> Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> Bool Source #

maximum :: Ord a => Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> a BELALALI Esprit Esprit Esprit BELALALI Esprit Marine Marine Marine BELALALI BELALALI Marine Marine Esprit BELALALI BELALALI Marine Esprit xnI0ZAfFw #

minimum :: Ord a => Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> a Home Red Shirt 10 Denmark Originals adidas 2017 2016 Eriksen q8nwBXIUz #

sum :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> a Source #

product :: EDBERG Philipp Silver White Plein Sport r1qwUrE a => Casual Green Attitude Casual Attitude Green HELA Casual HELA HELA Attitude HELA Green Casual Attitude Green nW1nxH6cg f g a -> a Source #

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

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

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

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

Applicative actions

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

Map each element of a structure to an action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see traverse.

for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f () Source #

for_ is traverse_ with its arguments flipped. For a version that doesn't ignore the results see for.

>>> for_ [1..4] print 1
2
3
4

sequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f () Source #

Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequenceAKids Away 2017 Shirt Nike 2016 White Wolfsburg VFL ZqFwKYvT.

asum :: (Foldable t, Alternative f) => t (f a) -> f a Source #

The sum of a collection of actions, generalizing concat.

asum [Just Hello, Nothing, Just World] Just Hello

Monadic actions

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

Map each element of a structure to a monadic action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see mapM.

As of base 4.8.0.0, mapM_ is just traverse_, specialized to Monad.

forM_ :: (Foldable t, Monad m) => t a -> (a -> m b) -> m () Source #

forM_ is mapM_ with its arguments flipped. For a version that doesn't ignore the results see forM.

As of base 4.8.0.0, forM_ is just for_, specialized to Monad.

sequence_ :: (Foldable t, Monad m) => t (m a) -> m () Source #

Evaluate each monadic action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequence.

As of base 4.8.0.0, sequence_ is just sequenceA_, specialized to Monad.

msum :: (Foldable t, MonadPlus m) => t (m a) -> m a Source #

The sum of a collection of actions, generalizing concat. As of base 4.8.0.0, msum is just asum, specialized to MonadPlus.

concat :: Foldable t => t [a] -> [a] Source #

The concatenation of all the elements of a container of lists.

concatMap :: Foldable t => (a -> [b]) -> t a -> [b] Source #

Map a function over all the elements of a container and concatenate the resulting lists.

and :: Foldable t => t Bool -> Bool Source #

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 => t Bool -> Bool Source #

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 -> Bool) -> t a -> Bool Source #

Determines whether any element of the structure satisfies the predicate.

all :: Foldable t => (a -> Bool) -> t a -> Bool Source #

Determines whether all elements of the structure satisfy the predicate.

maximumBy :: Foldable t => (a -> a -> Ordering) -> t a -> a Source #

The largest element of a non-empty structure with respect to the given comparison function.

minimumBy :: Foldable t => (a -> a -> Ordering) -> t a -> a Source #

The least element of a non-empty structure with respect to the given comparison function.

notElem :: (Foldable t, Eq a) => a -> t a -> Bool infix 4 Source #

notElem is the negation of elem.

find :: Foldable t => (a -> Bool) -> t a -> Maybe a Source #

The find function takes a predicate and a structure and returns the leftmost element of the structure matching the predicate, or Nothing if there is no such element.

Description
Official Ronaldo - Kids football shirt for the Real Madrid football team. This is the new Real Madrid home shirt for the 2016-17 La Liga season which is manufactured by Adidas and is available in adult sizes S M L XL XXL XXXL and kids sizes small boys medium boys large boys XL boys. This Real Madrid football shirt is white in colour and comes with Ronaldo - Kids shirt printing on the jersey.