Data.Monoid.Applicative

Documentation

newtype T f a

Sequence applicative functors and combine their functorial results with mappend.

Constructors

Cons

Fields

• run :: f a

Instances

Applicative f => C (T f)

Methods

lift :: Monoid m => m -> T f m

(Applicative f, Semigroup a) => Semigroup (T f a)

Methods

(<>) :: T f a -> T f a -> T f a

sconcat :: NonEmpty (T f a) -> T f a

stimes :: Integral b => b -> T f a -> T f a

(Applicative f, Monoid a) => Monoid (T f a)

Methods

mempty :: T f a

mappend :: T f a -> T f a -> T f a

mconcat :: [T f a] -> T f a