Portability	non-portable (functional-dependencies)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	Safe-Infered

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 (->) (->)
Functor (Either a) (->) (->)
Functor ((,) a) (->) (->)
Functor f => Functor (LiftedFunctor f) (->) (->)

class Functor f ~> ~> => EndoFunctor f (~>) Source

Instances

Constructors

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)

Constructors

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)