Safe Haskell | None |
---|---|
Language | Haskell2010 |
- return :: Applicative m => a -> m a
- (<<) :: Monad m => m a -> m b -> m a
- (>>$) :: Monad m => m a -> m b -> m b
- (>>=>) :: Monad m => (t1 -> t2 -> m a) -> (a -> m b) -> t1 -> t2 -> m b
- (>>>=>) :: Monad m => (t1 -> t2 -> t3 -> m a) -> (a -> m b) -> t1 -> t2 -> t3 -> m b
- (>>>>=>) :: Monad m => (t1 -> t2 -> t3 -> t4 -> m a) -> (a -> m b) -> t1 -> t2 -> t3 -> t4 -> m b
- (<=<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> m a) -> t1 -> t2 -> m b
- (<=<<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> t3 -> m a) -> t1 -> t2 -> t3 -> m b
- (<=<<<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> t3 -> t4 -> m a) -> t1 -> t2 -> t3 -> t4 -> m b
- (>>~) :: Monad m => m a -> (a -> m b) -> m a
- (=<<&) :: MonadFix m => (a -> m b) -> m a -> m a
- 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
Documentation
return :: Applicative m => a -> m a Source #
Deprecated: Use pure
instead
(>>>=>) :: Monad m => (t1 -> t2 -> t3 -> m a) -> (a -> m b) -> t1 -> t2 -> t3 -> m b infixr 1 Source #
(>>>>=>) :: Monad m => (t1 -> t2 -> t3 -> t4 -> m a) -> (a -> m b) -> t1 -> t2 -> t3 -> t4 -> m b infixr 1 Source #
(<=<<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> t3 -> m a) -> t1 -> t2 -> t3 -> m b infixr 1 Source #
(<=<<<<) :: Monad m => (a -> m b) -> (t1 -> t2 -> t3 -> t4 -> m a) -> t1 -> t2 -> t3 -> t4 -> m b infixr 1 Source #
when_ :: Applicative m => Bool -> m a -> m () Source #
unless_ :: Applicative m => Bool -> m a -> m () Source #