Numeric.AD.Jacobian

Documentation

class (Mode t, Mode (D t), Num (D t)) => Jacobian t where

Jacobian is useful for defining new AD primitives in a fairly generic way.

Associated Types

type D t :: *

Methods

unary :: (Scalar t -> Scalar t) -> D t -> t -> t

lift1 :: (Scalar t -> Scalar t) -> (D t -> D t) -> t -> t

lift1_ :: (Scalar t -> Scalar t) -> (D t -> D t -> D t) -> t -> t

binary :: (Scalar t -> Scalar t -> Scalar t) -> D t -> D t -> t -> t -> t

lift2 :: (Scalar t -> Scalar t -> Scalar t) -> (D t -> D t -> (D t, D t)) -> t -> t -> t

lift2_ :: (Scalar t -> Scalar t -> Scalar t) -> (D t -> D t -> D t -> (D t, D t)) -> t -> t -> t

Instances

Jacobian ForwardDouble

Num a => Jacobian (Tower a)

Num a => Jacobian (Sparse a)

Num a => Jacobian (Kahn a)

Num a => Jacobian (Forward a)

(Traversable f, Num a) => Jacobian (Dense f a)

(Reifies * s Tape, Num a) => Jacobian (Reverse s a)