Data.Flex.WrappedMonad
Documentation
data FWWrapMonad Source
Constructors
| FWWrapMonad |
Instances
| FWFunctor (FWT (:*: FWWrapMonad s) f) FWMonadFunctor | |
| FWApplicative (FWT (:*: FWWrapMonad s) f) FWMonadApplicative |
data FWMonadFunctor Source
Constructors
| FWMonadFunctor |
Instances
| FWFunctor (FWT (:*: FWMonadFunctor s) f) FWMonadFunctor | |
| FWFunctor (FWT (:*: FWWrapMonad s) f) FWMonadFunctor | |
| Monad m => Apply (FWFmap t m) FWMonadFunctor (WrapFmap (FWT t m)) |
data FWMonadApplicative Source
Constructors
| FWMonadApplicative |
Instances
| FWApplicative (FWT (:*: FWMonadApplicative s) f) FWMonadApplicative | |
| FWApplicative (FWT (:*: FWWrapMonad s) f) FWMonadApplicative | |
| Monad m => Apply (FWCombine t m) FWMonadApplicative (WrapCombine (FWT t m)) | |
| Monad m => Apply (FWPure t m) FWMonadApplicative (WrapPure (FWT t m)) |