ContentsIndex
Util.Monad
Documentation
returnN :: Monad m => m (Maybe a)
returnJ :: Monad m => a -> m (Maybe a)
mapMuz :: Monad m => (a -> m (b, c)) -> [a] -> m ([b], [c])
mapMt2_1 :: Monad m => (a -> m c) -> [(a, b)] -> m [(c, b)]
mapMt2_2 :: Monad m => (b -> m c) -> [(a, b)] -> m [(a, c)]
liftFieldModifier :: (state -> field, field -> state -> state) -> (a -> field -> (b, field)) -> a -> State state b
partitionM :: Monad m => (a -> m Bool) -> [a] -> m ([a], [a])
whenM :: Monad m => m Bool -> m () -> m ()
Produced by Haddock version 0.7