| 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
data ZeroDim s :: * -> *
Constructors
| Origin |
Instances
| Eq (ZeroDim s) | |
| Show (ZeroDim s) | |
| Monoid (ZeroDim s) | |
| AffineSpace (ZeroDim s) | |
| HasBasis (ZeroDim s) | |
| AdditiveGroup (ZeroDim s) | |
| AdditiveGroup s => InnerSpace (ZeroDim s) | |
| VectorSpace (ZeroDim s) | |
| Semimanifold (ZeroDim k) | |
| PseudoAffine (ZeroDim k) | |
| 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 Diff (ZeroDim s) = ZeroDim s | |
| type Basis (ZeroDim s) = Void | |
| type Scalar (ZeroDim s) = s | |
| type Interior (ZeroDim k) = ZeroDim k | |
| type Needle (ZeroDim k) = ZeroDim k | |
| type DualVector (ZeroDim s) = ZeroDim s Source | |
| data SubBasis (ZeroDim s) = ZeroBasis Source | |
| type TensorProduct (ZeroDim s) v = ZeroDim s Source |