Data.Flex.Applicative
Documentation
class FWApplicative f r | f -> rSource
Instances
TypeCast r FWTDefaultApplicative => FWApplicative (FWT t f) r | |
FWApplicative (FWT s f) r => FWApplicative (FWT (:*: x s) f) r | |
FWApplicative (FWT (:*: FWMonadApplicative s) f) FWMonadApplicative | |
FWApplicative (FWT (:*: FWWrapMonad s) f) FWMonadApplicative |
data FWDefaultApplicative Source
Constructors
FWDefaultApplicative |
Constructors
FWPure |
Instances
Applicative f => Apply (FWPure t f) FWTDefaultApplicative (WrapPure (FWT t f)) | |
Monad m => Apply (FWPure t m) FWMonadApplicative (WrapPure (FWT t m)) |
Constructors
WrapPure | |
Fields
|
Instances
Applicative f => Apply (FWPure t f) FWTDefaultApplicative (WrapPure (FWT t f)) | |
Monad m => Apply (FWPure t m) FWMonadApplicative (WrapPure (FWT t m)) |
Constructors
FWCombine |
Instances
Applicative f => Apply (FWCombine t f) FWTDefaultApplicative (WrapCombine (FWT t f)) | |
Monad m => Apply (FWCombine t m) FWMonadApplicative (WrapCombine (FWT t m)) |
newtype WrapCombine f Source
Constructors
WrapCombine | |
Fields
|
Instances
Applicative f => Apply (FWCombine t f) FWTDefaultApplicative (WrapCombine (FWT t f)) | |
Monad m => Apply (FWCombine t m) FWMonadApplicative (WrapCombine (FWT t m)) |