Documentation
data FWWrapMonad Source
FWFunctor (FWT (:*: FWWrapMonad s) f) FWMonadFunctor | |
FWApplicative (FWT (:*: FWWrapMonad s) f) FWMonadApplicative |
data FWMonadFunctor Source
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
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)) |