Documentation

liftM1' :: Monad m => (a' -> m a) -> (a -> b) -> a' -> m b Source #

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

liftM3' :: Monad m => (a' -> m a) -> (a -> a -> a -> b) -> a' -> a' -> a' -> m b Source #

locally :: MonadState s m => m a -> m a Source #