| Portability | non-portable (class-associated types) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Functor.Contravariant
Description
Documentation
class ContravariantFunctor f whereSource
Instances
| ContravariantFunctor (ContraF a) | |
| ContravariantFunctor (ConstantF a) | |
| ContravariantFunctor (FstB a) | |
| ContravariantFunctor (ConstB t a) | |
| (Bifunctor p, ContravariantFunctor f, ContravariantFunctor g) => ContravariantFunctor (BifunctorF p f g) |
Constructors
| ContraF | |
Fields
| |
Instances