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) |