Copyright | (C) Keera Studios Ltd 2013 |
---|---|
License | BSD3 |
Maintainer | support@keera.co.uk |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Control.GFunctor
Description
Functors parameterised over the morphisms in the source category.
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 |
Defined in Control.GFunctor | |
Monad m => GFunctor (ReactiveFieldReadWrite m) BijectiveFunc Source # | |
Defined in Data.ReactiveValue Methods gmap :: BijectiveFunc a b -> ReactiveFieldReadWrite m a -> ReactiveFieldReadWrite m b Source # |