Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

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

    copilot-language Copilot.Language.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.

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

    quaalude Essentials

    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

    verset Verset

    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

    xmonad-contrib XMonad.Config.Prime

    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. data (a6989586621679356530 :: m a) >>=@#@$$ (b1 :: TyFun a ~> m b m b)

    singletons-base Control.Monad.Singletons

    No documentation available.

  6. type family (a6989586621679356530 :: m a) >>=@#@$$$ (a6989586621679356531 :: a ~> m b) :: m b

    singletons-base Control.Monad.Singletons

    No documentation available.

  7. data (a6989586621679356530 :: m a) >>=@#@$$ (b1 :: TyFun a ~> m b m b)

    singletons-base Prelude.Singletons

    No documentation available.

  8. type family (a6989586621679356530 :: m a) >>=@#@$$$ (a6989586621679356531 :: a ~> m b) :: m b

    singletons-base Prelude.Singletons

    No documentation available.

  9. (>>=!) :: (MonadInteract m Action Event, YiAction a x, Show x) => m b -> (b -> a) -> m ()

    yi-core Yi.Keymap.Keys

    p >>=! act = p >>= 'write' . act
    

  10. (>>=%) :: Monad (Flip t c) => t a c -> (a -> t b c) -> t b c

    type-flip Data.Type.Flip

    No documentation available.

Page 6 of many | Previous | Next