Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
This should probably be a separate library, but it provides a number of functor type classes between various categories.
Documentation
class DFunctor (d :: (* -> *) -> *) where Source #
A functor from the category of endofunctors to *Hask*. The D
is meant to
be a mnemonic for “down”, as we’re “lowering” from endofunctors to types.