Documentation

foldMapM :: (Monad m, Foldable f, Monoid b) => (a -> m b) -> f a -> m b Source #

ifoldMapM :: (Monoid r, Applicative f, Foldable t, TraversableWithIndex i t) => (i -> a -> f r) -> t a -> f r Source #

fromMaybe :: Monoid a => Maybe a -> a Source #

intercalateMap :: (Foldable t, Monoid a) => a -> (b -> a) -> t b -> a Source #

intercalateMapM :: (Traversable t, Monad m, Monoid a) => a -> (b -> m a) -> t b -> m a Source #

isEmpty :: (Eq a, Monoid a) => a -> Bool Source #

nonEmpty :: (Eq a, Monoid a) => a -> Bool Source #

unlessM :: Monoid a => Bool -> a -> a Source #

whenM :: Monoid a => Bool -> a -> a Source #