Control.Applicative.Monoid

This module defines the AlternativeMonoid class

Documentation

class Applicative f => MonoidApplicative f where

Methods

(><) :: Monoid a => f a -> f a -> f a

Lifted and potentially optimized monoid mappend operation from the parameter type.

Instances

Monoid s => MonoidApplicative (Parser a s)

class (Alternative f, MonoidApplicative f) => MonoidAlternative f where

Methods

moptional :: Monoid a => f a -> f a

Like optional, but restricted to Monoid results.

concatMany :: Monoid a => f a -> f a

Zero or more argument occurrences like many, but concatenated.

concatSome :: Monoid a => f a -> f a

One or more argument occurrences like some, but concatenated.

Instances

(Alternative (Parser a s), Monoid s) => MonoidAlternative (Parser a s)