ad-0.45.0: Automatic Differentiation

PortabilityGHC only
Stabilityexperimental
Maintainerekmett@gmail.com

Numeric.AD.Internal.Tower

Description

 

Synopsis

Documentation

newtype Tower a Source

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

Constructors

Tower 

Fields

getTower :: [a]
 

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

zeroPadF :: (Functor f, Num a) => [f a] -> [f a]Source

transposePadF :: (Foldable f, Functor f) => a -> f [a] -> [f a]Source

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

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

withD :: (a, a) -> AD Tower aSource

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

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

tower :: [a] -> AD Tower aSource