Safe Haskell | Safe-Infered |
---|
This module defines the AlternativeMonoid class
Documentation
class Applicative f => MonoidApplicative f whereSource
(><) :: Monoid a => f a -> f a -> f aSource
Join operator on parsers of same type, preserving the incremental results.
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) | Zero or more argument occurrences like |