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)

SubL c Dual => Dual (Term c)

Methods

dual :: Term c h ((x, y) -> Dual x y)

runDual :: Term c h (Dual x y -> (x, y))

mkDual :: Term c h (x -> y -> Dual x y)

dualOrig :: Term c h (Dual x y -> x)

dualDiff :: Term c 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 r => Dual (UnLiftEnv r)

Methods

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

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

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

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

dualDiff :: UnLiftEnv 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)

type SubLC c Dual

type SubLC c Dual = SubL c Prod

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

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

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

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

module DDF.Prod