
Data.Derivative  Stability  experimental  Maintainer  conal@conal.net 



Description 
Infinite derivative towers via linear maps. See blog posts
http://conal.net/blog/tag/derivatives/


Synopsis 



Documentation 


Tower of derivatives. Values look like b D b' D b'' D ....
The type of an nth derivative is a :* a :* ... :* b, where there
are n levels of a :*, i.e., (a :*)^n b.
Warning, the Applicative instance is missing its pure (due to a
VectorSpace type constraint). Use dConst instead.
 Constructors   Instances  



Infinitely differentiable functions



Derivative tower full of zeroV.



Constant derivative tower.



Tower of derivatives of the identity function. Sometimes called the
derivation variable or similar, but it's not really a variable.





Convenient encapsulation of the chain rule. Combines value function
and derivative function, to get a infinitely differentiability
function, which is then applied to a derivative tower.



Specialized form of '(>*<)', convenient for functions with scalar
values. Uses the more common view of derivatives as rateofchange.


Produced by Haddock version 2.4.2 