Control.Categorical.Functor

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)

Instances

Functor [] (->) (->)

Functor IO (->) (->)

Functor Maybe (->) (->)

Functor (Either a) (->) (->)

Functor ((,) a) (->) (->)

Functor f => Functor (LiftedFunctor f) (->) (->)

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

Functor f => Functor (LiftedFunctor f) (->) (->)

(Typeable (* -> *) f, Data (f a), Data a) => Data (LiftedFunctor f a)

Read (f a) => Read (LiftedFunctor f a)

Show (f a) => Show (LiftedFunctor f a)

Typeable ((* -> *) -> * -> *) LiftedFunctor

newtype LoweredFunctor f a

Constructors

LoweredFunctor (f a)

Instances

Functor f (->) (->) => Functor (LoweredFunctor f)

(Typeable (* -> *) f, Data (f a), Data a) => Data (LoweredFunctor f a)

Read (f a) => Read (LoweredFunctor f a)

Show (f a) => Show (LoweredFunctor f a)

Typeable ((* -> *) -> * -> *) LoweredFunctor