Data.Semigroup.Apply

Semigroups for working with Apply

Documentation

newtype Trav f

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

Constructors

Trav

Fields

getTrav :: f ()

Instances

Apply f => Semigroup (Trav f)

(Semigroup (Trav f), Apply f) => Reducer (f a) (Trav f)

newtype App f m

A App turns any Apply wrapped around a Semigroup into a Semigroup

Constructors

App

Fields

getApp :: f m

Instances

Functor f => Functor (App f)

(Functor (App f), Apply f) => Apply (App f)

(Semigroup (App f m), Apply f, Reducer c m) => Reducer (f c) (App f m)

(Apply f, Semigroup m) => Semigroup (App f m)