Math.VectorSpace.ZeroDimensional

Documentation

data ZeroDim s :: * -> *

Constructors

Origin

Instances

Eq (ZeroDim s)

Show (ZeroDim s)

Monoid (ZeroDim s)

AffineSpace (ZeroDim s)

HasBasis (ZeroDim s)

VectorSpace (ZeroDim s)

AdditiveGroup s => InnerSpace (ZeroDim s)

AdditiveGroup (ZeroDim s)

Semimanifold (ZeroDim k)

PseudoAffine (ZeroDim k)

Num' s => LinearSpace (ZeroDim s)

Num' s => TensorSpace (ZeroDim s)

Num' s => FiniteDimensional (ZeroDim s)

(Fractional' s, SemiInner s) => SemiInner (ZeroDim s)

type Diff (ZeroDim s) = ZeroDim s

type Basis (ZeroDim k) = Void

type Scalar (ZeroDim s) = s

type Needle (ZeroDim k) = ZeroDim k

type Interior (ZeroDim k) = ZeroDim k

type DualVector (ZeroDim s) = ZeroDim s

data SubBasis (ZeroDim s) = ZeroBasis

type TensorProduct (ZeroDim s) v = ZeroDim s