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 ((->) :: Type -> Type -> Type)

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

Defined in Control.GFunctor

Methods

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

Monad m => GFunctor (ReactiveFieldReadWrite m) BijectiveFunc

Defined in Data.ReactiveValue

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.