ad-0.31.0: Automatic Differentiation

PortabilityGHC only
Stabilityexperimental
Maintainerekmett@gmail.com

Numeric.AD.Internal.Composition

Description

 

Synopsis

Documentation

newtype ComposeFunctor f g a Source

Functor composition, used to nest the use of jacobian and grad

Constructors

ComposeFunctor 

Fields

decomposeFunctor :: f (g a)
 

newtype ComposeMode f g a Source

The composition of two AD modes is an AD mode in its own right

Constructors

ComposeMode 

Fields

runComposeMode :: f (AD g a)
 

Instances

(Typeable1 f, Typeable1 g) => Typeable1 (ComposeMode f g) 
(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) 
(Typeable1 f, Typeable1 g, Data (f (AD g a)), Data a) => Data (ComposeMode f g a) 
(Typeable1 f, Typeable1 g, Typeable a) => Typeable (ComposeMode f g a) 

composeMode :: AD f (AD g a) -> AD (ComposeMode f g) aSource

decomposeMode :: AD (ComposeMode f g) a -> AD f (AD g a)Source