ad-4.2.1.1: Automatic Differentiation

Copyright(c) Edward Kmett 2010-2014
LicenseBSD3
Maintainerekmett@gmail.com
Stabilityexperimental
PortabilityGHC only
Safe HaskellNone
LanguageHaskell2010

Numeric.AD.Jacobian

Description

 

Synopsis

Documentation

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

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

Associated Types

type D t :: * Source

Methods

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

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

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

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

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

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

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)