DDF.Dual

Documentation

class Prod r => Dual r where

Minimal complete definition

dual, runDual

Methods

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

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

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

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

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

Instances

Dual Eval

Methods

dual :: Eval h ((x, y) -> Dual x y)

runDual :: Eval h (Dual x y -> (x, y))

mkDual :: Eval h (x -> y -> Dual x y)

dualOrig :: Eval h (Dual x y -> x)

dualDiff :: Eval h (Dual x y -> y)

Dual Show

Methods

dual :: Show h ((x, y) -> Dual x y)

runDual :: Show h (Dual x y -> (x, y))

mkDual :: Show h (x -> y -> Dual x y)

dualOrig :: Show h (Dual x y -> x)

dualDiff :: Show h (Dual x y -> y)

Dual Size

Methods

dual :: Size h ((x, y) -> Dual x y)

runDual :: Size h (Dual x y -> (x, y))

mkDual :: Size h (x -> y -> Dual x y)

dualOrig :: Size h (Dual x y -> x)

dualDiff :: Size h (Dual x y -> y)

Dual r => Dual (GWDiff r)

Methods

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

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

mkDual :: GWDiff r h (x -> y -> Dual x y)

dualOrig :: GWDiff r h (Dual x y -> x)

dualDiff :: GWDiff r h (Dual x y -> y)

Dual r => Dual (ImpW r)

Methods

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

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

mkDual :: ImpW r h (x -> y -> Dual x y)

dualOrig :: ImpW r h (Dual x y -> x)

dualDiff :: ImpW r h (Dual x y -> y)

Dual r => Dual (UnHOAS r)

Methods

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

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

mkDual :: UnHOAS r h (x -> y -> Dual x y)

dualOrig :: UnHOAS r h (Dual x y -> x)

dualDiff :: UnHOAS r h (Dual x y -> y)

(Dual l, Dual r) => Dual (Combine l r)

Methods

dual :: Combine l r h ((x, y) -> Dual x y)

runDual :: Combine l r h (Dual x y -> (x, y))

mkDual :: Combine l r h (x -> y -> Dual x y)

dualOrig :: Combine l r h (Dual x y -> x)

dualDiff :: Combine l r h (Dual x y -> y)

Dual r => Dual (WDiff r v)

Methods

dual :: WDiff r v h ((x, y) -> Dual x y)

runDual :: WDiff r v h (Dual x y -> (x, y))

mkDual :: WDiff r v h (x -> y -> Dual x y)

dualOrig :: WDiff r v h (Dual x y -> x)

dualDiff :: WDiff r v h (Dual x y -> y)

dual1 :: Dual repr => repr h (x, y) -> repr h (Dual x y)

mkDual2 :: Dual repr => repr h a1 -> repr h a -> repr h (Dual a1 a)

dualOrig1 :: Dual repr => repr h (Dual b y) -> repr h b

dualDiff1 :: Dual repr => repr h (Dual x b) -> repr h b

module DDF.Prod