ad-4.2.0.1: Automatic Differentiation

Numeric.AD.Jet

Description

Synopsis

data Jet f a Source

A Jet is a tower of all (higher order) partial derivatives of a function

Jet

At each step, a Jet f is wrapped in another layer worth of f.

Jet f

f

a :- f a :- f (f a) :- f (f (f a)) :- ...

Constructors

Instances

headJet :: Jet f a -> aSource

Take the head of a Jet.

tailJet :: Jet f a -> Jet f (f a)Source

Take the tail of a Jet.

jet :: Functor f => Cofree f a -> Jet f aSource

Construct a Jet by unzipping the layers of a Cofree Comonad.

Cofree

Comonad