Control.Applicative.Monoid

This module defines the AlternativeMonoid class

Documentation

class Applicative f => MonoidApplicative f where

Minimal complete definition

Nothing

Methods

(+<*>) :: f (a -> a) -> f a -> f a infixl 4

A variant of the Applicative's <*> operator specialized for endomorphic combinators.

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

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

Instances

Monoid s => MonoidApplicative (Parser t s)

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

Minimal complete definition

Nothing

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 t s), Monoid s) => MonoidAlternative (Parser t s)