Portability | GHC only |
---|---|
Stability | experimental |
Maintainer | ekmett@gmail.com |
Defines the composition of two AD modes as an AD mode in its own right
Documentation
newtype ComposeFunctor f g a Source
ComposeFunctor | |
|
(Functor f, Functor g) => Functor (ComposeFunctor f g) | |
(Foldable f, Foldable g) => Foldable (ComposeFunctor f g) | |
(Traversable f, Traversable g) => Traversable (ComposeFunctor f g) |
newtype ComposeMode f g a Source
ComposeMode | |
|
(Primal f, Mode g, Primal g) => Primal (ComposeMode f g) | |
(Mode f, Mode g) => Mode (ComposeMode f g) | |
(Mode f, Mode g) => Lifted (ComposeMode f g) |
composeMode :: AD f (AD g a) -> AD (ComposeMode f g) aSource
decomposeMode :: AD (ComposeMode f g) a -> AD f (AD g a)Source