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).

Minimal complete definition

gmap

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.

Methods

gmap :: (a -> b) -> a a -> a b

Monad m => GFunctor (ReactiveFieldReadWrite m) BijectiveFunc

Methods

gmap :: BijectiveFunc a b -> ReactiveFieldReadWrite m a -> ReactiveFieldReadWrite m b

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

A more readable (ignorable) name for gmap.