Data.Semigroup.Applicative

Semigroups for working with Applicative Functors.

Documentation

newtype Traversal f

A Traversal uses an glues together Applicative actions with (*>) in the manner of traverse_ from Data.Foldable. Any values returned by reduced actions are discarded.

Constructors

Traversal

Fields

getTraversal :: f ()

Instances

Applicative f => Monoid (Traversal f)

Applicative f => Semigroup (Traversal f)

(Semigroup (Traversal f), Applicative f) => Reducer (f a) (Traversal f)

newtype Ap f m

Constructors

Ap

Fields

getApp :: f m

Instances

Functor f => Functor (Ap f)

(Functor (Ap f), Applicative f) => Applicative (Ap f)

(Semigroup (Ap f m), Applicative f, Reducer c m) => Reducer (f c) (Ap f m)

(Applicative f, Monoid m) => Monoid (Ap f m)

(Applicative f, Semigroup m) => Semigroup (Ap f m)