Control.Applicative.Monoid

This module defines the MonoidApplicative and MonoidAlternative type classes. Their methods are specialized forms of the standard Applicative and Alternative class methods. Instances of these classes should override the default method implementations with more efficient ones.

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 functions.

(><) :: Semigroup 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)

The +<*> operator is specialized to return incremental parsing results.

Defined in Text.ParserCombinators.Incremental

Methods

(+<*>) :: Parser t s (a -> a) -> Parser t s a -> Parser t s a

(><) :: Semigroup a => Parser t s a -> Parser t s a -> Parser t s a

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

Minimal complete definition

Nothing

Methods

moptional :: (Semigroup a, Monoid a) => f a -> f a

Like optional, but restricted to Monoid results.

concatMany :: (Semigroup a, Monoid a) => f a -> f a

Zero or more argument occurrences like many, but concatenated.

concatSome :: (Semigroup a, 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)

Defined in Text.ParserCombinators.Incremental

Methods

moptional :: (Semigroup a, Monoid a) => Parser t s a -> Parser t s a

concatMany :: (Semigroup a, Monoid a) => Parser t s a -> Parser t s a

concatSome :: (Semigroup a, Monoid a) => Parser t s a -> Parser t s a