Portability | GHC only |
---|---|

Stability | experimental |

Maintainer | ekmett@gmail.com |

- newtype Tower a = Tower {
- getTower :: [a]

- 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) -> AD Tower 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]
- tower :: [a] -> AD Tower a

# Documentation

`Tower`

is an AD `Mode`

that calculates a tangent tower by forward AD, and provides fast `diffsUU`

, `diffsUF`

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

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