algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

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 #