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

Control.Functor.Contra Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class ContraFunctor f where Source

Methods contramap :: (a -> b) -> f b -> f a Source Instances ContraFunctor (Const a) ContraFunctor (ContraF a) ContraFunctor (Const2 t a) (Bifunctor p Hask Hask Hask, ContraFunctor f, ContraFunctor g) => ContraFunctor (Lift p f g)

newtype ContraF a b Source

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

Produced by Haddock version 2.3.0