Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (>>=) :: Dsl k r a => k r a -> (a -> r) -> r

   control-dsl	Control.Dsl

   The implementation of <- statements in a do block, which forwards to runCont if k is Cont, otherwise forwards to runPolyCont from PolyCont.

2. (>>=) :: Monad m => m a -> (a -> m b) -> m b

   control-monad-free	Control.Monad.Free

   Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

   do a <- as
   bs a
   

   An alternative name for this function is 'bind', but some people may refer to it as 'flatMap', which results from it being equivialent to

   \x f -> join (fmap f x) :: Monad m => m a -> (a -> m b) -> m b
   

   which can be seen as mapping a value with Monad m => m a -> m (m b) and then 'flattening' m (m b) to m b using join.

3. (>>=) :: Monad m => m a -> (a -> m b) -> m b

   dimensional	Numeric.Units.Dimensional.Prelude

   Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

   do a <- as
   bs a
   

   An alternative name for this function is 'bind', but some people may refer to it as 'flatMap', which results from it being equivialent to

   \x f -> join (fmap f x) :: Monad m => m a -> (a -> m b) -> m b
   

   which can be seen as mapping a value with Monad m => m a -> m (m b) and then 'flattening' m (m b) to m b using join.

4. (>>=) :: Monad m => m a -> (a -> m b) -> m b

   distribution-opensuse	OpenSuse.Prelude

   Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

   do a <- as
   bs a
   

   An alternative name for this function is 'bind', but some people may refer to it as 'flatMap', which results from it being equivialent to

   \x f -> join (fmap f x) :: Monad m => m a -> (a -> m b) -> m b
   

   which can be seen as mapping a value with Monad m => m a -> m (m b) and then 'flattening' m (m b) to m b using join.

5. (>>=) :: Monad m => m a -> (a -> m b) -> m b

   distribution-opensuse	OpenSuse.Prelude

   Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

   do a <- as
   bs a
   

   An alternative name for this function is 'bind', but some people may refer to it as 'flatMap', which results from it being equivialent to

   \x f -> join (fmap f x) :: Monad m => m a -> (a -> m b) -> m b
   

   which can be seen as mapping a value with Monad m => m a -> m (m b) and then 'flattening' m (m b) to m b using join.

6. (>>=) :: BindSyntax x y z => x a -> (a -> y b) -> z b

   do-notation	Language.Haskell.DoNotation

   No documentation available.

7. (>>=) :: (MonadParallelUnion m, Mergeable b, NFData b) => m a -> (a -> m b) -> m b

   grisette	Grisette.Experimental.Qualified.ParallelUnionDo

   Parallel (>>=) operation.

8. (>>=) :: Monad m => m a -> (a -> m b) -> m b

   classy-prelude-yesod	ClassyPrelude.Yesod

   Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

   do a <- as
   bs a
   

   An alternative name for this function is 'bind', but some people may refer to it as 'flatMap', which results from it being equivialent to

   \x f -> join (fmap f x) :: Monad m => m a -> (a -> m b) -> m b
   

   which can be seen as mapping a value with Monad m => m a -> m (m b) and then 'flattening' m (m b) to m b using join.

9. (>>=) :: (Function f, Monad m f, Object f a, Object f b, Object f (m a), Object f (m b), Object f (m (m b))) => m a -> f a (m b) -> m b

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

10. (>>=) :: Monad m => m a -> (a -> m b) -> m b

    constrained-categories	Control.Category.Hask

    Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

    do a <- as
    bs a
    

    An alternative name for this function is 'bind', but some people may refer to it as 'flatMap', which results from it being equivialent to

    \x f -> join (fmap f x) :: Monad m => m a -> (a -> m b) -> m b
    

    which can be seen as mapping a value with Monad m => m a -> m (m b) and then 'flattening' m (m b) to m b using join.

Page 5 of many | Previous | Next