Copyright (c) Edward Kmett 2010-2015 BSD3 ekmett@gmail.com experimental GHC only None Haskell2010

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 FieldsgetTower :: [a]

Instances

 (Num a, Bounded a) => Bounded (Tower a) (Num a, Enum a) => Enum (Tower a) (Num a, Eq a) => Eq (Tower a) Floating a => Floating (Tower a) Fractional a => Fractional (Tower a) Data a => Data (Tower a) Source Num a => Num (Tower a) (Num a, Ord a) => Ord (Tower a) Real a => Real (Tower a) RealFloat a => RealFloat (Tower a) RealFrac a => RealFrac (Tower a) Show a => Show (Tower a) Source Erf a => Erf (Tower a) InvErf a => InvErf (Tower a) Num a => Mode (Tower a) Source Num a => Jacobian (Tower a) Source type Scalar (Tower a) = a Source type D (Tower a) = Tower a Source

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] -> a Source

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

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

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

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

getADTower :: Tower a -> [a] Source

tower :: [a] -> Tower a Source