:: Monad m => m Bool -> m () -> m () package:IfElse

A if with no else for unit returning thunks. Returns the value of the test.

IO lifted && IO lifted || Conditionally do the right action based on the truth value of the left expression unless the left side is true, perform the right action unless the (monadic) left side is true, perform the right action Bind the result of the last expression in an anaphoric when. composition of >>= and >>? composition of >>= and >>=? Execute a monadic action so long as a monadic boolean returns true.

Negation of whileM: execute an action so long as the boolean returns false.