Monads

Monad

class Applicative m => Monad (m :: * -> *) where
  (>>=) :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  return :: a -> m a

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

(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c

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

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

forever :: Monad m => m a -> m b

join :: Monad m => m (m a) -> m a

filterM :: Monad m => (a -> m Bool) -> [a] -> m [a]

mapAndUnzipM :: Monad m => (a -> m (b, c)) -> [a] -> m ([b], [c])

zipWithM :: Monad m => (a -> b -> m c) -> [a] -> [b] -> m [c]

zipWithM_ :: Monad m => (a -> b -> m c) -> [a] -> [b] -> m ()

foldM :: (Monad m, Foldable t) => (b -> a -> m b) -> b -> t a -> m b

foldM_ :: (Monad m, Foldable t) => (b -> a -> m b) -> b -> t a -> m ()

replicateM :: Monad m => Int -> m a -> m [a]

replicateM_ :: Monad m => Int -> m a -> m ()

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

guard :: Alternative f => Bool -> f ()

when :: Applicative f => Bool -> f () -> f ()

unless :: Applicative f => Bool -> f () -> f ()

liftM :: Monad m => (a1 -> r) -> m a1 -> m r

liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r

liftM3 :: Monad m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r

liftM4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r

liftM5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r

liftM' :: Monad m => (a -> b) -> m a -> m b

liftM2' :: Monad m => (a -> b -> c) -> m a -> m b -> m c

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

(<$!>) :: Monad m => (a -> b) -> m a -> m b

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

unlessM :: Monad m => m Bool -> m () -> m ()

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

guardM :: MonadPlus m => m Bool -> m ()

class (Alternative m, Monad m) => MonadPlus (m :: * -> *) where
  mzero :: m a
  mplus :: m a -> m a -> m a
  	-- Defined in ‘GHC.Base’

mfilter :: MonadPlus m => (a -> Bool) -> m a -> m a