Safe Haskell	Safe
Language	Haskell2010

DDF.Dual

Documentation

class Prod r => Dual r where Source #

Minimal complete definition

dual, runDual

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 Eval Source #
Methods dual :: Eval h ((x, y) -> Dual x y) Source # runDual :: Eval h (Dual x y -> (x, y)) Source # mkDual :: Eval h (x -> y -> Dual x y) Source # dualOrig :: Eval h (Dual x y -> x) Source # dualDiff :: Eval h (Dual x y -> y) Source #
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 #
SubL c Dual => Dual (Term c) Source #
Methods dual :: Term c h ((x, y) -> Dual x y) Source # runDual :: Term c h (Dual x y -> (x, y)) Source # mkDual :: Term c h (x -> y -> Dual x y) Source # dualOrig :: Term c h (Dual x y -> x) Source # dualDiff :: Term c h (Dual x y -> y) Source #
Dual r => Dual (UnHOAS r) Source #
Methods dual :: UnHOAS r h ((x, y) -> Dual x y) Source # runDual :: UnHOAS r h (Dual x y -> (x, y)) Source # mkDual :: UnHOAS r h (x -> y -> Dual x y) Source # dualOrig :: UnHOAS r h (Dual x y -> x) Source # dualDiff :: UnHOAS r 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 #
Dual r => Dual (ImpW r) Source #
Methods dual :: ImpW r h ((x, y) -> Dual x y) Source # runDual :: ImpW r h (Dual x y -> (x, y)) Source # mkDual :: ImpW r h (x -> y -> Dual x y) Source # dualOrig :: ImpW r h (Dual x y -> x) Source # dualDiff :: ImpW r h (Dual x y -> y) Source #
type SubLC c Dual Source #
type SubLC c Dual = SubL c Prod

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 #

module DDF.Prod