rosso-1.0: General purpose utility library

Control.Monad.Rosso1

Description

Extends Control.Monad

Synopsis

Documentation

module Control.Monad

nop :: Monad m => m ()Source

Synonym for return ()

concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b]Source

Monadic generalisation of concatMap.

ifM :: Monad m => m Bool -> m a -> m a -> m aSource

Monadic generalisation of 'if'.

whenM :: Monad m => m Bool -> m () -> m ()Source

Like when, but the condition is also monadic.