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

Stability | experimental |

Maintainer | ekmett@gmail.com |

Safe Haskell | None |

Unsafe and often partial combinators intended for internal usage.

Handle with care.

- data Forward a
- tangent :: Num a => AD Forward a -> a
- bundle :: a -> a -> AD Forward a
- unbundle :: Num a => AD Forward a -> (a, a)
- apply :: Num a => (AD Forward a -> b) -> a -> b
- bind :: (Traversable f, Num a) => (f (AD Forward a) -> b) -> f a -> f b
- bind' :: (Traversable f, Num a) => (f (AD Forward a) -> b) -> f a -> (b, f b)
- bindWith :: (Traversable f, Num a) => (a -> b -> c) -> (f (AD Forward a) -> b) -> f a -> f c
- bindWith' :: (Traversable f, Num a) => (a -> b -> c) -> (f (AD Forward a) -> b) -> f a -> (b, f c)
- transposeWith :: (Functor f, Foldable f, Traversable g) => (b -> f a -> c) -> f (g a) -> g b -> g c

# Documentation

`Forward`

mode AD

bindWith' :: (Traversable f, Num a) => (a -> b -> c) -> (f (AD Forward a) -> b) -> f a -> (b, f c)Source

transposeWith :: (Functor f, Foldable f, Traversable g) => (b -> f a -> c) -> f (g a) -> g b -> g cSource