category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Functor.Contravariant Portability non-portable (class-associated types) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class ContravariantFunctor f where Source

Methods contramap :: (a -> b) -> f b -> f a Source Instances ContravariantFunctor (ContraF a) ContravariantFunctor (ConstantF a) ContravariantFunctor (FstB a) (Bifunctor p, ContravariantFunctor f, ContravariantFunctor g) => ContravariantFunctor (BifunctorF p f g)

newtype ContraF a b Source

Constructors ContraF runContraF :: b -> a Instances ContravariantFunctor (ContraF a)

Produced by Haddock version 2.1.0