ad-4.2.1.1: Automatic Differentiation

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

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 

headJet :: Jet f a -> a Source

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

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