Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Documentation
A semigroup reducer
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 # | |
Cosieve M1 FreeSemigroup 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 # | |
Category * M1 Source # | |
Semigroupoid * M1 Source # | |
MonadReader (FreeSemigroup a) (M1 a) Source # | |
type Corep M1 Source # | |
type Rep (M1 a) Source # | |