- class Distinguished t where
- e :: t
- class Distinguished t => Infinitesimal t where
- d :: t
- data DualBasis'
- data Dual' a = Dual' a a
Documentation
class Distinguished t whereSource
Distinguished ComplexBasis | |
Distinguished QuaternionBasis | |
Distinguished DualBasis | |
Distinguished DualBasis' | |
Distinguished QuaternionBasis' | |
Distinguished TrigBasis | |
Rig r => Distinguished (Complex r) | |
Rig r => Distinguished (Quaternion r) | |
Rig r => Distinguished (Dual r) | |
Rig r => Distinguished (Dual' r) | |
Rig r => Distinguished (Quaternion' r) | |
Rig r => Distinguished (Trig r) | |
Rig r => Distinguished (ComplexBasis -> r) | |
Rig r => Distinguished (QuaternionBasis -> r) | |
Rig r => Distinguished (DualBasis -> r) | |
Rig r => Distinguished (DualBasis' -> r) | |
Rig r => Distinguished (QuaternionBasis' -> r) | |
Rig r => Distinguished (TrigBasis -> r) | |
Rig r => Distinguished (:->: ComplexBasis r) | |
Rig r => Distinguished (:->: QuaternionBasis r) | |
Rig r => Distinguished (:->: QuaternionBasis' r) | |
Rig r => Distinguished (:->: TrigBasis r) | |
Distinguished a => Distinguished (Covector r a) |
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) |
data DualBasis' Source
dual number basis, D^2 = 0. D /= 0.
Bounded DualBasis' | |
Enum DualBasis' | |
Eq DualBasis' | |
Data DualBasis' | |
Ord DualBasis' | |
Read DualBasis' | |
Show DualBasis' | |
Ix DualBasis' | |
Typeable DualBasis' | |
HasTrie DualBasis' | |
Distinguished DualBasis' | |
Infinitesimal DualBasis' | |
MonadReader DualBasis' Dual' | |
Rng k => Coalgebra k DualBasis' | |
Semiring k => Algebra k DualBasis' | |
Rng k => Bialgebra k DualBasis' | |
Rng k => CounitalCoalgebra k DualBasis' | |
Semiring k => UnitalAlgebra k DualBasis' | |
(InvolutiveSemiring k, Rng k) => HopfAlgebra k DualBasis' | |
(InvolutiveSemiring k, Rng k) => InvolutiveCoalgebra k DualBasis' | |
(InvolutiveSemiring k, Rng k) => InvolutiveAlgebra k DualBasis' | |
Rig r => Distinguished (DualBasis' -> r) | |
Rig r => Infinitesimal (DualBasis' -> r) |
Dual' a a |