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