Data.Semigroup.Alternative

Description

A semigroup for working with Alternative Functors.

Synopsis

Documentation

A Alternate turns any Alternative instance into a Monoid.

Constructors

Alternate
Fields getAlternate :: f a

Instances

Functor f => Functor (Alternate f) Source #
Methods fmap :: (a -> b) -> Alternate f a -> Alternate f b # (<$) :: a -> Alternate f b -> Alternate f a #
Applicative f => Applicative (Alternate f) Source #
Methods pure :: a -> Alternate f a # (<>) :: Alternate f (a -> b) -> Alternate f a -> Alternate f b # (>) :: Alternate f a -> Alternate f b -> Alternate f b # (<*) :: Alternate f a -> Alternate f b -> Alternate f a #
Alternative f => Alternative (Alternate f) Source #
Methods empty :: Alternate f a # (<\|>) :: Alternate f a -> Alternate f a -> Alternate f a # some :: Alternate f a -> Alternate f [a] # many :: Alternate f a -> Alternate f [a] #
Alternative f => Reducer (f a) (Alternate f a) Source #
Methods unit :: f a -> Alternate f a Source # snoc :: Alternate f a -> f a -> Alternate f a Source # cons :: f a -> Alternate f a -> Alternate f a Source #
Alternative f => Semigroup (Alternate f a) Source #
Methods (<>) :: Alternate f a -> Alternate f a -> Alternate f a # sconcat :: NonEmpty (Alternate f a) -> Alternate f a # stimes :: Integral b => b -> Alternate f a -> Alternate f a #
Alternative f => Monoid (Alternate f a) Source #
Methods mempty :: Alternate f a # mappend :: Alternate f a -> Alternate f a -> Alternate f a # mconcat :: [Alternate f a] -> Alternate f a #