Numeric.AD.Internal.Composition

Description

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

Documentation

newtype (f :. g) a Source

Constructors

O
Fields runO :: f (AD g a)

Instances

(Primal f, Mode g, Primal g) => Primal (:. f g)
(Mode f, Mode g) => Mode (:. f g)
(Mode f, Mode g) => Lifted (:. f g)

type On f g = g :. fSource

compose :: AD f (AD g a) -> AD (f :. g) aSource

decompose :: AD (f :. g) a -> AD f (AD g a)Source