keera-hails-reactivevalues-0.5.0: Haskell on Rails - Reactive Values

Control.GFunctor

Description

Functors parameterised over the morphisms in the source category.

Copyright : (C) Keera Studios Ltd, 2013 License : BSD3 Maintainer : support@keera.co.uk

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
 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 detailsDefined in Control.GFunctor Methodsgmap :: (a0 -> b) -> a a0 -> a b Source # Source # Instance detailsDefined in Data.ReactiveValue Methodsgmap :: BijectiveFunc a b -> ReactiveFieldReadWrite m a -> ReactiveFieldReadWrite m b Source #

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

A more readable (ignorable) name for gmap.