Data.FFunctor

Functor of Functors

Documentation

class FFunctor (f :: (* -> *) -> *) where

A Functor over Functors (aka Higher Kinded Functor)

Minimal complete definition

Nothing

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> f m -> f n

Applies a natural transformation to a higher kinded type

ffmap :: (Generic1 f, FFunctor (Rep1 f), Functor m, Functor n) => (forall a. m a -> n a) -> f m -> f n

Applies a natural transformation to a higher kinded type

Instances

FFunctor (V1 :: (Type -> Type) -> Type)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> V1 m -> V1 n

FFunctor (U1 :: (Type -> Type) -> Type)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> U1 m -> U1 n

FFunctor f => FFunctor (Rec1 f)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> Rec1 f m -> Rec1 f n

FFunctor (Const c :: (Type -> Type) -> Type)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> Const c m -> Const c n

FFunctor (K1 i c :: (Type -> Type) -> Type)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> K1 i c m -> K1 i c n

(FFunctor f, FFunctor g) => FFunctor (f :+: g)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> (f :+: g) m -> (f :+: g) n

(FFunctor f, FFunctor g) => FFunctor (f :*: g)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> (f :*: g) m -> (f :*: g) n

(FFunctor f, FFunctor g) => FFunctor (Product f g)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> Product f g m -> Product f g n

(FFunctor f, FFunctor g) => FFunctor (Sum f g)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> Sum f g m -> Sum f g n

FFunctor f => FFunctor (M1 i c f)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> M1 i c f m -> M1 i c f n

(Functor f, FFunctor g) => FFunctor (f :.: g)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> (f :.: g) m -> (f :.: g) n

(Functor f, FFunctor g) => FFunctor (Compose f g)

Defined in Data.FFunctor

Methods

ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> Compose f g m -> Compose f g n

luftIO :: FFunctor f => MonadIO m => f IO -> f m

Lifts an IO implementation of a higher kinded type (e.g. record of functions) into a MonadIO

e.g. `luftIO logger` lifts a `Logger IO` into a `Logger m`

luft :: FFunctor f => Monad m => MonadTrans t => Functor (t m) => f m -> f (t m)

Lifts a higher kinded type (e.g. record of functions) into a monad transformer.

e.g. `luft logger` lifts a `Logger m` into a `Logger (ReaderT m Foo)`