category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Description

Documentation

class ContraFunctor f where

Methods contramap :: (a -> b) -> f b -> f a Instances 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

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

Produced by Haddock version 2.1.0