Numeric.Algebra.Dual.Class

Documentation

class Distinguished t => Infinitesimal t where

Methods

d :: t

Instances

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)