ad-0.28: Automatic Differentiation

PortabilityGHC only
Stabilityexperimental
Maintainerekmett@gmail.com

Numeric.AD.Internal.Composition

Description

Defines the composition of two AD modes as an AD mode in its own right

Documentation

newtype ComposeFunctor f g a Source

Constructors

ComposeFunctor 

Fields

decomposeFunctor :: f (g a)
 

newtype ComposeMode f g a Source

Constructors

ComposeMode 

Fields

runComposeMode :: f (AD g a)
 

Instances

(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