Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
A more categorical definition of Functor
Documentation
class Functor f ~> ~> => EndoFunctor f (~>) Source
Functor f ~> ~> => EndoFunctor f ~> |
newtype LiftedFunctor f a Source
LiftedFunctor (f a) |
Functor f => Functor (LiftedFunctor f) (->) (->) | |
Read (f a) => Read (LiftedFunctor f a) | |
Show (f a) => Show (LiftedFunctor f a) |
newtype LoweredFunctor f a Source
LoweredFunctor (f a) |
Functor f (->) (->) => Functor (LoweredFunctor f) | |
Read (f a) => Read (LoweredFunctor f a) | |
Show (f a) => Show (LoweredFunctor f a) |