reducers-3.10.3.1: Semigroups, specialized containers and a general map/reduce framework

Copyright(c) Edward Kmett 2009
LicenseBSD-style
Maintainerekmett@gmail.com
Stabilityexperimental
Portabilitynon-portable (MPTCs)
Safe HaskellTrustworthy
LanguageHaskell98

Data.Semigroup.Applicative

Description

Semigroups for working with Applicative Functors.

Synopsis

Documentation

newtype Traversal f Source

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 ()
 

newtype Ap f m Source

Constructors

Ap 

Fields

getApp :: f m
 

Instances

Functor f => Functor (Ap f) 
Applicative f => Applicative (Ap f) 
(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)