Modulereducers-3.12.5Haskell2010

Data.Semigroup.Apply

Semigroups for working with Apply

2 types

Packagereducers-3.12.5
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceApply.hs

newtypenewtype Trav (f :: Type -> Type)

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
- getTrav :: f ()

Instances2Semigroup, Reducer

Apply f => Semigroup (Trav f)Defined in reducers-3.12.5 · Data.Semigroup.Apply
Apply f => Reducer (f a) (Trav f)Defined in reducers-3.12.5 · Data.Semigroup.Apply

newtypenewtype App (f :: Type -> Type) m

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

Constructors

App
- getApp :: f m

Instances4Functor, Apply, Reducer, Semigroup

Functor f => Functor (App f)Defined in reducers-3.12.5 · Data.Semigroup.Apply
Apply f => Apply (App f)Defined in reducers-3.12.5 · Data.Semigroup.Apply
(Apply f, Reducer c m) => Reducer (f c) (App f m)Defined in reducers-3.12.5 · Data.Semigroup.Apply
(Apply f, Semigroup m) => Semigroup (App f m)Defined in reducers-3.12.5 · Data.Semigroup.Apply