Safe Haskell	Safe
Language	Haskell2010

Data.FFunctor

Description

Functor of Functors

Synopsis

class FFunctor (f :: (* -> *) -> *) where
- ffmap :: (Functor m, Functor n) => (forall a. m a -> n a) -> f m -> f n
luft :: FFunctor f => Monad m => MonadTrans t => Functor (t m) => f m -> f (t m)

Documentation

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

Methods

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

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

Lifts a record of functions (that has an FFunctor) into a monad transformer.

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