(a -> [Bit]) -> [a] -> [Bit]

Warning: Unknown type Bit

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.
shrinkList :: (a -> [a]) -> [a] -> [[a]]
QuickCheck Test.QuickCheck.Arbitrary
(=<<) :: 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
mapM :: Monad m => (a -> m b) -> [a] -> m [b]
base Prelude, base Control.Monad
mapM f is equivalent to sequence . map f.
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
base Data.Traversable
forM :: Monad m => [a] -> (a -> m b) -> m [b]
base Control.Monad
forM is mapM with its arguments flipped
for :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
base Data.Traversable
for is traverse with its arguments flipped.
mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
base Data.Traversable
forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
base Data.Traversable
forM is mapM with its arguments flipped.
catchError :: MonadError e m => m a -> (e -> m a) -> m a
mtl Control.Monad.Error.Class, mtl Control.Monad.Error
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.
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> (a -> m c)
base Control.Monad
Right-to-left Kleisli composition of monads. (>=>), with the arguments flipped
(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> (a -> m c)
base Control.Monad
Left-to-right Kleisli composition of monads.
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
extM :: (Monad m, Typeable a, Typeable b) => (a -> m a) -> (b -> m b) -> a -> m a
syb Data.Generics.Aliases
Extend a generic monadic transformation by a type-specific case
gunfold :: Data a => (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c 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.

Show more results