categories-1.0.4: Categories

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Control.Category.Dual

Description

 

Documentation

data Dual k a b Source

Constructors

Dual 

Fields

runDual :: k b a
 

Instances

Typeable2 k => Typeable2 (Dual k) 
Category k => Category (Dual k) 
(Typeable (Dual k a b), Typeable2 k, Data a, Data b, Data (k b a)) => Data (Dual k a b)