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 ~> ~> => EndoFunctor f (~>)

Instances

Functor f ~> ~> => EndoFunctor f ~>

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)