Safe Haskell | Safe-Inferred |
---|
This module defines the AlternativeMonoid class
Documentation
class Applicative f => MonoidApplicative f whereSource
(><) :: Monoid a => f a -> f a -> f aSource
Lifted and potentially optimized monoid mappend
operation from the parameter type.
Monoid s => MonoidApplicative (Parser a s) |
class (Alternative f, MonoidApplicative f) => MonoidAlternative f whereSource
moptional :: Monoid a => f a -> f aSource
Like optional
, but restricted to Monoid
results.
concatMany :: Monoid a => f a -> f aSource
Zero or more argument occurrences like many
, but concatenated.
concatSome :: Monoid a => f a -> f aSource
One or more argument occurrences like some
, but concatenated.
(Alternative (Parser a s), Monoid s) => MonoidAlternative (Parser a s) |