category-extras-0.52.1: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Contra

Description

 

Documentation

class ContraFunctor f whereSource

Methods

contramap :: (a -> b) -> f b -> f aSource

newtype ContraF a b Source

Constructors

ContraF 

Fields

runContraF :: b -> a
 

Instances