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