Numeric.Algebra.Dual.Class

Documentation

class Distinguished t => Infinitesimal t where

Minimal complete definition

d

Methods

d :: t

Instances

Infinitesimal DualBasis'

Methods

d :: DualBasis'

Infinitesimal DualBasis

Methods

d :: DualBasis

Rig r => Infinitesimal (Dual' r)

Methods

d :: Dual' r

Rig r => Infinitesimal (Dual r)

Methods

d :: Dual r

Rig r => Infinitesimal (DualBasis' -> r)

Methods

d :: DualBasis' -> r

Rig r => Infinitesimal (DualBasis -> r)

Methods

d :: DualBasis -> r

Infinitesimal a => Infinitesimal (Covector r a)

Methods

d :: Covector r a