categories-1.0.7: Categories

Copyright2008-2010 Edward Kmett
LicenseBSD
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilityportable
Safe HaskellTrustworthy
LanguageHaskell2010

Control.Category.Dual

Description

 

Documentation

data Dual k a b Source

Constructors

Dual 

Fields

runDual :: k b a
 

Instances

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