| Copyright | (c) Justus Sagemüller 2016 |
|---|---|
| License | GPL v3 |
| Maintainer | (@) sagemueller $ geo.uni-koeln.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Math.VectorSpace.ZeroDimensional
Description
Documentation
Constructors
| Origin |
Instances
| Monoid (ZeroDim s) Source | |
| HasBasis (ZeroDim s) Source | |
| AffineSpace (ZeroDim s) Source | |
| AdditiveGroup (ZeroDim s) Source | |
| VectorSpace (ZeroDim s) Source | |
| Num''' s => LinearSpace (ZeroDim s) Source | |
| Num''' s => TensorSpace (ZeroDim s) Source | |
| Num''' s => FiniteDimensional (ZeroDim s) Source | |
| (Fractional'' s, SemiInner s) => SemiInner (ZeroDim s) Source | |
| type Basis (ZeroDim k) = Void Source | |
| type Diff (ZeroDim s) = ZeroDim s Source | |
| type Scalar (ZeroDim s) = s Source | |
| type DualVector (ZeroDim s) = ZeroDim s Source | |
| data SubBasis (ZeroDim s) = ZeroBasis Source | |
| type TensorProduct (ZeroDim s) v = ZeroDim s Source |