Numeric.AD.Internal.Composition

Documentation

newtype ComposeFunctor f g a

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

Constructors

ComposeFunctor

Fields

decomposeFunctor :: f (g a)

Instances

(Functor f, Functor g) => Functor (ComposeFunctor f g)

(Typeable1 f, Typeable1 g) => Typeable1 (ComposeFunctor f g)

(Foldable f, Foldable g) => Foldable (ComposeFunctor f g)

(Traversable f, Traversable g) => Traversable (ComposeFunctor f g)

(Typeable1 f, Typeable1 g, Data (f (g a)), Data a) => Data (ComposeFunctor f g a)

newtype ComposeMode f g a

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) a

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