Numeric.AD.Internal.Tower

Documentation

newtype Tower a

Tower is an AD Mode that calculates a tangent tower by forward AD, and provides fast diffsUU, diffsUF

Constructors

Tower

Fields

getTower :: [a]

Instances

Lifted Tower => Jacobian Tower

Primal Tower

Lifted Tower => Mode Tower

Lifted Tower

Show a => Show (Tower a)

zeroPad :: Num a => [a] -> [a]

d :: Num a => [a] -> a

d' :: Num a => [a] -> (a, a)

tangents :: Tower a -> Tower a

bundle :: a -> Tower a -> Tower a

apply :: Num a => (AD Tower a -> b) -> a -> b

getADTower :: AD Tower a -> [a]