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