linearmap-category-0.5.0.1: Native, complete, matrix-free linear algebra.
Copyright(c) Justus Sagemüller 2020
LicenseGPL v3
Maintainer(@) jsag $ hvl.no
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.VectorSpace.Dual

Description

 

Documentation

data Dualness Source #

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 #

Associated Types

type Space dn v :: Type Source #

Methods

dualityWitness :: DualityWitness dn Source #

decideDualness :: DualnessSingletons dn Source #

Instances

Instances details
ValidDualness 'Functional Source # 
Instance details

Defined in Math.VectorSpace.Dual

Associated Types

type Space 'Functional v Source #

Methods

dualityWitness :: DualityWitness 'Functional Source #

decideDualness :: DualnessSingletons 'Functional Source #

ValidDualness 'Vector Source # 
Instance details

Defined in Math.VectorSpace.Dual

Associated Types

type Space 'Vector v Source #

Methods

dualityWitness :: DualityWitness 'Vector Source #

decideDualness :: DualnessSingletons 'Vector Source #

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