Numeric.AD.Internal.Tower

Documentation

newtype Tower a s

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

Constructors

Tower

Fields

getTower :: [a]

Instances

Typeable2 Tower

(Num a, Bounded a) => Bounded (Tower a s)

(Num a, Enum a) => Enum (Tower a s)

(Num a, Eq a) => Eq (Tower a s)

Floating a => Floating (Tower a s)

Fractional a => Fractional (Tower a s)

(Data a, Data s) => Data (Tower a s)

Num a => Num (Tower a s)

(Num a, Ord a) => Ord (Tower a s)

Real a => Real (Tower a s)

RealFloat a => RealFloat (Tower a s)

RealFrac a => RealFrac (Tower a s)

Show a => Show (Tower a s)

Erf a => Erf (Tower a s)

InvErf a => InvErf (Tower a s)

Num a => Mode (Tower a s)

Num a => Jacobian (Tower a s)

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

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

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

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

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

withD :: (a, a) -> Tower a s

tangents :: Tower a s -> Tower a s

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

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

getADTower :: Tower a s -> [a]

tower :: [a] -> Tower a s