Data.Semigroup.Alt

Description

A semigroup for working Alt or Plus

Synopsis

Documentation

newtype Alter (f :: Type -> Type) a Source #

A Alter turns any Alt instance into a Semigroup.

Constructors

Alter
Fields getAlter :: f a

Instances details

Functor f => Functor (Alter f) Source #
Instance details Defined in Data.Semigroup.Alt Methods fmap :: (a -> b) -> Alter f a -> Alter f b (<$) :: a -> Alter f b -> Alter f a
Alt f => Alt (Alter f) Source #
Instance details Defined in Data.Semigroup.Alt Methods (<!>) :: Alter f a -> Alter f a -> Alter f a some :: Applicative (Alter f) => Alter f a -> Alter f [a] many :: Applicative (Alter f) => Alter f a -> Alter f [a]
Plus f => Plus (Alter f) Source #
Instance details Defined in Data.Semigroup.Alt Methods zero :: Alter f a
Alt f => Reducer (f a) (Alter f a) Source #
Instance details Defined in Data.Semigroup.Alt Methods unit :: f a -> Alter f a Source # snoc :: Alter f a -> f a -> Alter f a Source # cons :: f a -> Alter f a -> Alter f a Source #
Plus f => Monoid (Alter f a) Source #
Instance details Defined in Data.Semigroup.Alt Methods mempty :: Alter f a mappend :: Alter f a -> Alter f a -> Alter f a mconcat :: [Alter f a] -> Alter f a
Alt f => Semigroup (Alter f a) Source #
Instance details Defined in Data.Semigroup.Alt Methods (<>) :: Alter f a -> Alter f a -> Alter f a sconcat :: NonEmpty (Alter f a) -> Alter f a stimes :: Integral b => b -> Alter f a -> Alter f a