flexiwrap-0.0.1: Flexible wrappers

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

data FWPure t f Source

Constructors

Instances

Applicative f => Apply (FWPure t f) FWTDefaultApplicative (WrapPure (FWT t f))
Monad m => Apply (FWPure t m) FWMonadApplicative (WrapPure (FWT t m))

newtype WrapPure f Source

Constructors

WrapPure
Fields unwrapPure :: forall a. a -> f a

Instances

Applicative f => Apply (FWPure t f) FWTDefaultApplicative (WrapPure (FWT t f))
Monad m => Apply (FWPure t m) FWMonadApplicative (WrapPure (FWT t m))

data FWCombine t f Source

Constructors

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 unwrapCombine :: forall a b. f (a -> b) -> f a -> f b

Instances

Applicative f => Apply (FWCombine t f) FWTDefaultApplicative (WrapCombine (FWT t f))
Monad m => Apply (FWCombine t m) FWMonadApplicative (WrapCombine (FWT t m))