categories-1.0.2: Categories

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Infered

Control.Category.Dual

Description

 

Documentation

data Dual k a b Source

Constructors

Dual 

Fields

runDual :: k b a
 

Instances

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