Copyright | 2008-2010 Edward Kmett |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable (functional-dependencies) |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
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 Source #
Minimal complete definition
Instances
Functor [] ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep) Source # | |
Functor Maybe ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep) Source # | |
Functor IO ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep) Source # | |
Functor (Either a) ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep) Source # | |
Functor ((,) a) ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep) Source # | |
Functor f => Functor (LiftedFunctor f) ((->) LiftedRep LiftedRep) ((->) LiftedRep LiftedRep) Source # | |
class Functor f a a => Endofunctor f a Source #
Instances
Functor f a a => Endofunctor f a Source # | |
newtype LiftedFunctor f a Source #
Constructors
LiftedFunctor (f a) |
newtype LoweredFunctor f a Source #
Constructors
LoweredFunctor (f a) |