Copyright | (c) Justus Sagemüller 2020 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Documentation
data DualityWitness (dn :: Dualness) where Source #
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 type Space 'Functional v Source # | |
ValidDualness 'Vector Source # | |
Defined in Math.VectorSpace.Dual |
usingAnyDualness :: forall rc dn. ValidDualness dn => rc 'Vector -> rc 'Functional -> rc dn Source #
data DualnessSingletons (dn :: Dualness) where Source #