Prologue.Control.Monad

Documentation

return :: Applicative m => a -> m a

Deprecated: Use pure instead

(<<) :: Monad m => m a -> m b -> m a infixr 1

(>>$) :: Monad m => m a -> m b -> m b infixr 0

(>>=>) :: Monad m => (t1 -> t2 -> m a) -> (a -> m b) -> t1 -> t2 -> m b infixr 1

(>>>=>) :: Monad m => (t1 -> t2 -> t3 -> m a) -> (a -> m b) -> t1 -> t2 -> t3 -> m b infixr 1

(>>>>=>) :: Monad m => (t1 -> t2 -> t3 -> t4 -> m a) -> (a -> m b) -> t1 -> t2 -> t3 -> t4 -> m b infixr 1

(<=<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> m a) -> t1 -> t2 -> m b infixr 1

(<=<<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> t3 -> m a) -> t1 -> t2 -> t3 -> m b infixr 1

(<=<<<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> t3 -> t4 -> m a) -> t1 -> t2 -> t3 -> t4 -> m b infixr 1

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

(=<<&) :: MonadFix m => (a -> m b) -> m a -> m a infixr 1

void :: m a -> m ()

when :: (Applicative m, Mempty a) => Bool -> m a -> m a

unless :: (Applicative m, Mempty a) => Bool -> m a -> m a

when_ :: Applicative m => Bool -> m a -> m ()

unless_ :: Applicative m => Bool -> m a -> m ()

whenM :: (Monad m, Mempty a) => m Bool -> m a -> m a

unlessM :: (Monad m, Mempty a) => m Bool -> m a -> m a

whenM_ :: Monad m => m Bool -> m a -> m ()

unlessM_ :: Monad m => m Bool -> m a -> m ()

guard :: (MonadPlus m, ToBool' cond) => cond -> m ()

bind :: Monad m => (t1 -> m a) -> m t1 -> m a

bind2 :: Monad m => (t1 -> t2 -> m a) -> m t1 -> m t2 -> m a

bind3 :: Monad m => (t1 -> t2 -> t3 -> m a) -> m t1 -> m t2 -> m t3 -> m a

bind4 :: Monad m => (t1 -> t2 -> t3 -> t4 -> m a) -> m t1 -> m t2 -> m t3 -> m t4 -> m a

bind5 :: Monad m => (t1 -> t2 -> t3 -> t4 -> t5 -> m a) -> m t1 -> m t2 -> m t3 -> m t4 -> m t5 -> m a