Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Documentation
A semigroup reducer
forall m. M1 (m -> b) (a -> m) (m -> m -> m) |
Instances
Arrow M1 Source # | |
ArrowChoice M1 Source # | |
Profunctor M1 Source # | |
Costrong M1 Source # | |
Strong M1 Source # | |
Corepresentable M1 Source # | |
Choice M1 Source # | |
Closed M1 Source # | |
Defined in Data.Fold.M1 | |
Scan M1 Source # | |
AsRM1 M1 Source # | |
Cosieve M1 FreeSemigroup Source # | |
Defined in Data.Fold.M1 cosieve :: M1 a b -> FreeSemigroup a -> b # | |
Monad (M1 a) Source # | |
Functor (M1 a) Source # | |
MonadFix (M1 a) Source # | |
Defined in Data.Fold.M1 | |
Applicative (M1 a) Source # | |
Distributive (M1 a) Source # | |
Representable (M1 a) Source # | |
MonadZip (M1 a) Source # | |
Apply (M1 a) Source # | |
Pointed (M1 a) Source # | |
Defined in Data.Fold.M1 | |
Category M1 Source # | |
Semigroupoid M1 Source # | |
MonadReader (FreeSemigroup a) (M1 a) Source # | |
Defined in Data.Fold.M1 ask :: M1 a (FreeSemigroup a) # local :: (FreeSemigroup a -> FreeSemigroup a) -> M1 a a0 -> M1 a a0 # reader :: (FreeSemigroup a -> a0) -> M1 a a0 # | |
type Corep M1 Source # | |
Defined in Data.Fold.M1 | |
type Rep (M1 a) Source # | |
Defined in Data.Fold.M1 |