|Infinite derivative towers via linear maps. See blog posts
Tower of derivatives.
Warning, the Applicative instance is missing its pure (due to a
VectorSpace type constraint). Use dConst instead.
|dVal :: b|
|dDeriv :: a :-* (a :> b)|
|Infinitely differentiable functions
|Derivative tower full of zeroV.
|Constant derivative tower.
|Differentiable identity function. Sometimes called the
derivation variable or similar, but it's not really a variable.
|Differentiable version of fst
|Differentiable version of snd
|Every linear function has a constant derivative equal to the function
itself (as a linear map).
|Derivative tower for applying a binary function that distributes over
addition, such as multiplication.
|Specialized chain rule.
|Produced by Haddock version 2.4.2|