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