Data.Flex.Functor

Documentation

class FWFunctor f r | f -> r

Instances

TypeCast r FWTDefaultFunctor => FWFunctor (FWT t f) r

FWFunctor (FWT s f) r => FWFunctor (FWT (:*: x s) f) r

FWFunctor (FWT (:*: FWMonadFunctor s) f) FWMonadFunctor

FWFunctor (FWT (:*: FWWrapMonad s) f) FWMonadFunctor

TypeCast r FWCTCDefaultFunctor => FWFunctor (FWCTC t o f g) r

FWFunctor (FWCTC s o f g) r => FWFunctor (FWCTC (:*: x s) o f g) r

data FWDefaultFunctor

Constructors

FWDefaultFunctor

data FWFmap t f

Constructors

FWFmap

Instances

Functor (o f g) => Apply (FWFmap t (o f g)) FWCTCDefaultFunctor (WrapFmap (FWCTC t o f g))

Functor f => Apply (FWFmap t f) FWTDefaultFunctor (WrapFmap (FWT t f))

Monad m => Apply (FWFmap t m) FWMonadFunctor (WrapFmap (FWT t m))

newtype WrapFmap f

Constructors

WrapFmap

Fields

unwrapFmap :: forall a b. (a -> b) -> f a -> f b

Instances

Functor (o f g) => Apply (FWFmap t (o f g)) FWCTCDefaultFunctor (WrapFmap (FWCTC t o f g))

Functor f => Apply (FWFmap t f) FWTDefaultFunctor (WrapFmap (FWT t f))

Monad m => Apply (FWFmap t m) FWMonadFunctor (WrapFmap (FWT t m))