(html_element -> [html_element]) -> [html_element] -> [html_element]

shrinkList :: (a -> [a]) -> [a] -> [[a]]
QuickCheck Test.QuickCheck.Arbitrary
concatMap :: (a -> [b]) -> [a] -> [b]
base Prelude, base Data.List
Map a function over a list and concatenate the results.
concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
base Data.Foldable
Map a function over all the elements of a container and concatenate the resulting lists.
(=<<) :: Monad m => (a -> m b) -> m a -> m b
base Prelude, base Control.Monad
Same as >>=, but with the arguments interchanged.
(>>=) :: Monad m => m a -> (a -> m b) -> m b
base Prelude, base Control.Monad, base Control.Monad.Instances
extMp :: (MonadPlus m, Typeable a, Typeable b) => (a -> m a) -> (b -> m b) -> a -> m a
syb Data.Generics.Aliases
Extend a generic MonadPlus transformation by a type-specific case
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
base Data.Traversable
mapM :: Monad m => (a -> m b) -> [a] -> m [b]
base Prelude, base Control.Monad
mapM f is equivalent to sequence . map f.
filterM :: Monad m => (a -> m Bool) -> [a] -> m [a]
base Control.Monad
This generalizes the list-based filter function.
gmapMo :: (Data a, MonadPlus m) => (forall d. Data d => d -> m d) -> a -> m a
base Data.Data
gmapMp :: (Data a, MonadPlus m) => (forall d. Data d => d -> m d) -> a -> m a
base Data.Data
mkMp :: (MonadPlus m, Typeable a, Typeable b) => (b -> m b) -> a -> m a
syb Data.Generics.Aliases
Make a generic monadic transformation for MonadPlus; use "const mzero" (i.e., failure) instead of return as default.
catchCGI :: (MonadCGI m, MonadCatchIO m) => m a -> (SomeException -> m a) -> m a
cgi Network.CGI.Monad, cgi Network.CGI
Catches any expection thrown by a CGI action, and uses the given exception handler if an exception is thrown.
handleExceptionCGI :: (MonadCGI m, MonadCatchIO m) => m a -> (SomeException -> m a) -> m a
cgi Network.CGI.Monad, cgi Network.CGI
Deprecated: Use catchCGI instead.
catchError :: MonadError e m => m a -> (e -> m a) -> m a
mtl Control.Monad.Error.Class, mtl Control.Monad.Error
traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
base Data.Foldable
Map each element of a structure to an action, evaluate these actions from left to right, and ignore the results.
for :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
base Data.Traversable
for is traverse with its arguments flipped.
mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
base Prelude, base Control.Monad
mapM_ f is equivalent to sequence_ . map f.
forM :: Monad m => [a] -> (a -> m b) -> m [b]
base Control.Monad
forM is mapM with its arguments flipped
for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
base Data.Foldable
for_ is traverse_ with its arguments flipped.

Show more results