|Infinite derivative towers via linear maps. See blog posts
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.
|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 rate-of-change.
|Produced by Haddock version 2.4.2|