Safe Haskell | Safe |
---|---|
Language | Haskell98 |
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
).
Functor a => GFunctor a (->) Source # | Trivial instance for the arrow morphism '(->)'. Anything that is a functor is also a GFunctor in the trivial way. |
Monad m => GFunctor (ReactiveFieldReadWrite m) BijectiveFunc Source # | |