Safe Haskell | None |
---|
Documentation
class Distinguished t => Infinitesimal t whereSource
Infinitesimal DualBasis | |
Infinitesimal DualBasis' | |
(Distinguished (Dual r), Rig r) => Infinitesimal (Dual r) | |
(Distinguished (Dual' r), Rig r) => Infinitesimal (Dual' r) | |
(Distinguished (DualBasis -> r), Rig r) => Infinitesimal (DualBasis -> r) | |
(Distinguished (DualBasis' -> r), Rig r) => Infinitesimal (DualBasis' -> r) | |
(Distinguished (Covector r a), Infinitesimal a) => Infinitesimal (Covector r a) |