Control.GFunctor

Functors parameterised over the morphisms in the source category.

Documentation

class GFunctor f m where

A class for Functors in which the morphisms in the source category do not have to be of kind arrow '(->)', but can be anything (see the parameter m).

Methods

gmap :: m a b -> f a -> f b

Map parameterised over the morphisms in the source category.

Instances

Functor a => GFunctor a (->)

Trivial instance for the arrow morphism '(->)'. Anything that is a functor is also a GFunctor in the trivial way.

Monad m => GFunctor (ReactiveFieldReadWrite m) BijectiveFunc

(<$$>) :: GFunctor f m => m a b -> f a -> f b infixl 8

A more readable (ignorable) name for gmap.