|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.
|Tower of derivatives of the identity function. Sometimes called the
derivation variable or similar, but it's not really a variable.
|Produced by Haddock version 2.4.2|