Control.Functor.Contra

Yet another Cofunctor class declaration -- all the definitions on hackage carry so much luggage (which mostly subsumes the rest of this package)!

Documentation

class Cofunctor f where

Methods

cofmap :: (b -> a) -> f a -> f b

Instances

Cofunctor V

Cofunctor U

Cofunctor (C b)

Cofunctor (K r)

Cofunctor (ff (Fix ff)) => Cofunctor (Fix ff)

(Functor f, Cofunctor g) => Cofunctor (O f g)

(Cofunctor f, Cofunctor g) => Cofunctor (S f g)

(Cofunctor f, Cofunctor g) => Cofunctor (P f g)

(Functor f, Cofunctor g) => Cofunctor (F f g)

(Cofunctor f, Functor g) => Cofunctor (O f g)