>>= is:exact -package:basement -package:control-dsl

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

base Prelude Control.Monad Control.Monad.Instances GHC.Base

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

(>>=) :: Monad m => m a -> (a -> Code m b) -> Code m b

template-haskell Language.Haskell.TH.CodeDo, ghc-lib Language.Haskell.TH.CodeDo

Module over monad operator for Code

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

hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Control.Monad.Compat Prelude.Compat, protolude Protolude.Monad, haskell-gi-base Data.GI.Base.ShortPrelude, relude Relude.Monad.Reexport, rio RIO.Prelude, base-prelude BasePrelude BasePrelude.Operators, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, universum Universum.Monad.Reexport, base-compat-batteries Control.Monad.Compat, Cabal-syntax Distribution.Compat.Prelude, github GitHub.Internal.Prelude, numhask NumHask.Prelude, foundation Foundation, ghc-lib-parser GHC.Prelude.Basic, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, quaalude Essentials, hledger Hledger.Cli.Script, mixed-types-num Numeric.MixedTypes.PreludeHiding, xmonad-contrib XMonad.Config.Prime, stack Stack.Prelude, massiv-test Test.Massiv.Utils, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, can-i-haz Control.Monad.Except.CoHas Control.Monad.Reader.Has, loc Data.Loc.Internal.Prelude, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude OpenSuse.Prelude, faktory Faktory.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude, zio ZIO.Trans

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