Math.VectorSpace.Dual

Documentation

data Dualness

Constructors

Vector

Functional

type family Dual (dn :: Dualness) where ...

Equations

Dual Vector = Functional

Dual Functional = Vector

data DualityWitness (dn :: Dualness) where

Constructors

DualityWitness :: (ValidDualness (Dual dn), Dual (Dual dn) ~ dn) => DualityWitness dn

class ValidDualness (dn :: Dualness) where

Minimal complete definition

dualityWitness, decideDualness

Associated Types

type Space dn v :: Type

Methods

dualityWitness :: DualityWitness dn

decideDualness :: DualnessSingletons dn

Instances

ValidDualness Vector

Associated Types

type Space (Vector :: Dualness) v :: Type

Methods

dualityWitness :: DualityWitness Vector

decideDualness :: DualnessSingletons Vector

ValidDualness Functional

Associated Types

type Space (Functional :: Dualness) v :: Type

Methods

dualityWitness :: DualityWitness Functional

decideDualness :: DualnessSingletons Functional

usingAnyDualness :: forall rc dn. ValidDualness dn => rc Vector -> rc Functional -> rc dn

data DualnessSingletons (dn :: Dualness) where

Constructors

VectorWitness :: DualnessSingletons Vector

FunctionalWitness :: DualnessSingletons Functional