>>= is:exact -package:ghc-lib -package:github -package:massiv-test

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 equivalent 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.

Module over monad operator for Code

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

Sequentially compose two actions, passing any value produced by the first as an argument to the second.

Bind to actions.

Redefinition of >>=

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

Parallel (>>=) operation.

>>= for parsers. Sequentially compose two parsers, passing the value from the left parser as an argument to the second.

Sequentially compose two actions, passing any value produced by the first as an argument to the second.