Copyright | (c) Justus Sagemüller 2020 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Math.VectorSpace.Dual
Description
Documentation
Constructors
Vector | |
Functional |
type family Dual (dn :: Dualness) where ... Source #
Equations
Dual Vector = Functional | |
Dual Functional = Vector |
data DualityWitness (dn :: Dualness) where Source #
Constructors
DualityWitness :: (ValidDualness (Dual dn), Dual (Dual dn) ~ dn) => DualityWitness dn |
class ValidDualness (dn :: Dualness) where Source #
Instances
ValidDualness 'Functional Source # | |
Defined in Math.VectorSpace.Dual Associated Types type Space 'Functional v Source # | |
ValidDualness 'Vector Source # | |
Defined in Math.VectorSpace.Dual Methods |
usingAnyDualness :: forall rc dn. ValidDualness dn => rc 'Vector -> rc 'Functional -> rc dn Source #
data DualnessSingletons (dn :: Dualness) where Source #
Constructors
VectorWitness :: DualnessSingletons Vector | |
FunctionalWitness :: DualnessSingletons Functional |