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

Portabilitysemi-portable (optional class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Category.Dual

Description

 

Documentation

data Dual k a b Source

Constructors

Dual 

Fields

runDual :: k b a
 

Instances