>>=

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

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.

x >>= g applies a linear function g linearly (i.e., using it exactly once) on the value of type a inside the value of type m a

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

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

filter in infix form. Can be considered an additional monadic combinator, which can be used where you would want guard otherwise.