Numeric.Algebra.Dual.Class

Documentation

class Distinguished t => Infinitesimal t where

Methods

d :: t

Instances

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)