| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ConCat.RAD
Description
Reverse mode AD
Synopsis
- type RAD = GD (Dual (-+>))
- andDerR :: forall a b. (a -> b) -> a -> b :* (b -> a)
- derR :: (a -> b) -> a -> b -> a
- andGradR :: Num s => (a -> s) -> a -> s :* a
- gradR :: Num s => (a -> s) -> a -> a
- andDerRL :: forall s a b. Ok2 (L s) a b => (a -> b) -> a -> b :* L s b a
- derRL :: forall s a b. Ok2 (L s) a b => (a -> b) -> a -> L s b a
- andGrad2R :: Num s => (a -> s :* s) -> a -> (s :* s) :* (a :* a)