ad- Automatic Differentiation

PortabilityGHC only
Safe HaskellNone






newtype Tower a s Source

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




getTower :: [a]


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]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) -> Tower a sSource

tangents :: Tower a s -> Tower a sSource

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

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

getADTower :: Tower a s -> [a]Source

tower :: [a] -> Tower a sSource