Portability | non-portable (MPTCs) |
---|---|
Stability | experimental |
Maintainer | ekmett@gmail.com |
Safe Haskell | Trustworthy |
Semigroups for working with Applicative
Functor
s.
Documentation
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.
Traversal | |
|
Applicative f => Monoid (Traversal f) | |
Applicative f => Semigroup (Traversal f) | |
Applicative f => Reducer (f a) (Traversal f) |
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) |