keera-hails-reactivevalues-0.8.0: Haskell on Rails - Reactive Values
Copyright(C) Keera Studios Ltd 2013
LicenseBSD3
Maintainersupport@keera.co.uk
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.GFunctor

Description

Functors parameterised over the morphisms in the source category.

Synopsis

Documentation

class GFunctor f m where Source #

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 Source #

Map parameterised over the morphisms in the source category.

Instances

Instances details
Functor a => GFunctor a ((->) :: Type -> Type -> Type) Source #

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

Instance details

Defined in Control.GFunctor

Methods

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

Monad m => GFunctor (ReactiveFieldReadWrite m) BijectiveFunc Source # 
Instance details

Defined in Data.ReactiveValue

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

A more readable (ignorable) name for gmap.