Numeric.AD.Jet

Description

Synopsis

Documentation

data Jet f a Source

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

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

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

Constructors

a :- (Jet f (f a)) infixl 3

Instances

Functor f => Functor (Jet f)
Foldable f => Foldable (Jet f)
Traversable f => Traversable (Jet f)
(Functor f, Show (f Showable), Show a) => Show (Jet f a)
Typeable ((* -> ) -> -> *) Jet

Take the head of a Jet.

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

Take the tail of a Jet.

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