Portability	portable
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

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)