{-# LANGUAGE Safe #-}
module Universum.Monoid
( module Data.Monoid
, module Data.Semigroup
, maybeToMonoid
) where
import Data.Monoid (All (..), Alt (..), Any (..), Dual (..), Endo (..), First (..), Last (..),
Monoid (..), Product (..), Sum (..))
import Data.Semigroup (Semigroup (sconcat, stimes, (<>)), WrappedMonoid, cycle1, mtimesDefault,
stimesIdempotent, stimesIdempotentMonoid, stimesMonoid)
import Universum.Monad.Reexport (Maybe, fromMaybe)
maybeToMonoid :: Monoid m => Maybe m -> m
maybeToMonoid :: forall m. Monoid m => Maybe m -> m
maybeToMonoid = forall a. a -> Maybe a -> a
fromMaybe forall a. Monoid a => a
mempty