Safe Haskell	Safe
Language	Haskell2010

DDF.Dual

Documentation

class Prod r => Dual r where Source #

Minimal complete definition

Methods

dual :: r h ((x, y) -> Dual x y) Source #

runDual :: r h (Dual x y -> (x, y)) Source #

mkDual :: r h (x -> y -> Dual x y) Source #

dualOrig :: r h (Dual x y -> x) Source #

dualDiff :: r h (Dual x y -> y) Source #

Instances

Dual Show Source #
Methods dual :: Show h ((x, y) -> Dual x y) Source # runDual :: Show h (Dual x y -> (x, y)) Source # mkDual :: Show h (x -> y -> Dual x y) Source # dualOrig :: Show h (Dual x y -> x) Source # dualDiff :: Show h (Dual x y -> y) Source #
Dual Size Source #
Methods dual :: Size h ((x, y) -> Dual x y) Source # runDual :: Size h (Dual x y -> (x, y)) Source # mkDual :: Size h (x -> y -> Dual x y) Source # dualOrig :: Size h (Dual x y -> x) Source # dualDiff :: Size h (Dual x y -> y) Source #
Dual UInt Source #
Methods dual :: UInt h ((x, y) -> Dual x y) Source # runDual :: UInt h (Dual x y -> (x, y)) Source # mkDual :: UInt h (x -> y -> Dual x y) Source # dualOrig :: UInt h (Dual x y -> x) Source # dualDiff :: UInt h (Dual x y -> y) Source #
Dual r => Dual (UnLiftEnv r) Source #
Methods dual :: UnLiftEnv r h ((x, y) -> Dual x y) Source # runDual :: UnLiftEnv r h (Dual x y -> (x, y)) Source # mkDual :: UnLiftEnv r h (x -> y -> Dual x y) Source # dualOrig :: UnLiftEnv r h (Dual x y -> x) Source # dualDiff :: UnLiftEnv r h (Dual x y -> y) Source #

dual1 :: Dual r => r h (x, y) -> r h (Dual x y) Source #

mkDual2 :: Dual r => r h a1 -> r h a -> r h (Dual a1 a) Source #

dualOrig1 :: Dual r => r h (Dual b y) -> r h b Source #

dualDiff1 :: Dual r => r h (Dual x b) -> r h b Source #