Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Documentation
A semigroup reducer
forall m . M1 (m -> b) (a -> m) (m -> m -> m) |
Arrow M1 Source | |
ArrowChoice M1 Source | |
Corepresentable M1 Source | |
Profunctor M1 Source | |
Choice M1 Source | |
Closed M1 Source | |
Strong M1 Source | |
Costrong M1 Source | |
Scan M1 Source | |
AsRM1 M1 Source | |
Category * M1 Source | |
Cosieve M1 FreeSemigroup Source | |
Semigroupoid * M1 Source | |
Monad (M1 a) Source | |
Functor (M1 a) Source | |
MonadFix (M1 a) Source | |
Applicative (M1 a) Source | |
Distributive (M1 a) Source | |
Representable (M1 a) Source | |
MonadZip (M1 a) Source | |
Pointed (M1 a) Source | |
Apply (M1 a) Source | |
MonadReader (FreeSemigroup a) (M1 a) Source | |
type Corep M1 = FreeSemigroup Source | |
type Rep (M1 a) = FreeSemigroup a Source |