Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Control.Categorical.Functor
Description
A more categorical definition of Functor
Documentation
class (Category r, Category t) => Functor f r t | f r -> t, f t -> r where
Methods
fmap :: r a b -> t (f a) (f b)
class Functor f a a => Endofunctor f a
Instances
Functor f a a => Endofunctor f a |
newtype LiftedFunctor f a
Constructors
LiftedFunctor (f a) |
Instances
Typeable1 f => Typeable1 (LiftedFunctor f) | |
Functor f => Functor (LiftedFunctor f) (->) (->) | |
(Typeable1 f, Data (f a), Data a) => Data (LiftedFunctor f a) | |
Read (f a) => Read (LiftedFunctor f a) | |
Show (f a) => Show (LiftedFunctor f a) |
newtype LoweredFunctor f a
Constructors
LoweredFunctor (f a) |
Instances
Functor f (->) (->) => Functor (LoweredFunctor f) | |
Typeable1 f => Typeable1 (LoweredFunctor f) | |
(Typeable1 f, Data (f a), Data a) => Data (LoweredFunctor f a) | |
Read (f a) => Read (LoweredFunctor f a) | |
Show (f a) => Show (LoweredFunctor f a) |