Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype MonoidPlus f a Source #
MonoidPlus (f a) |
Instances
MonadPlus f => Semigroup (MonoidPlus f a) Source # | |
Defined in Hextra.Monad.MonadPlus (<>) :: MonoidPlus f a -> MonoidPlus f a -> MonoidPlus f a # sconcat :: NonEmpty (MonoidPlus f a) -> MonoidPlus f a # stimes :: Integral b => b -> MonoidPlus f a -> MonoidPlus f a # | |
MonadPlus f => Monoid (MonoidPlus f a) Source # | |
Defined in Hextra.Monad.MonadPlus mempty :: MonoidPlus f a # mappend :: MonoidPlus f a -> MonoidPlus f a -> MonoidPlus f a # mconcat :: [MonoidPlus f a] -> MonoidPlus f a # |