categories-1.0.5: Categories

Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

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 whereSource

Methods

fmap :: r a b -> t (f a) (f b)Source

Instances

Functor [] (->) (->) 
Functor IO (->) (->) 
Functor Maybe (->) (->) 
(Category (->), Category (->)) => Functor (Either a) (->) (->) 
(Category (->), Category (->)) => Functor ((,) a) (->) (->) 
(Category (->), Category (->), Functor f) => Functor (LiftedFunctor f) (->) (->) 

class Functor f a a => Endofunctor f a Source

Instances

Functor f a a => Endofunctor f a 

newtype LiftedFunctor f a Source

Constructors

LiftedFunctor (f a) 

Instances

Typeable1 f => Typeable1 (LiftedFunctor f) 
(Category (->), Category (->), Functor f) => Functor (LiftedFunctor f) (->) (->) 
(Typeable (LiftedFunctor f a), 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 Source

Constructors

LoweredFunctor (f a) 

Instances

Functor f (->) (->) => Functor (LoweredFunctor f) 
Typeable1 f => Typeable1 (LoweredFunctor f) 
(Typeable (LoweredFunctor f a), 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)