Copyright | (c) Justus Sagemüller 2016 |
---|---|
License | GPL v3 |
Maintainer | (@) sagemueller $ geo.uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
data ZeroDim s :: * -> *
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) 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 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 Source | |
data SubBasis (ZeroDim s) = ZeroBasis Source | |
type TensorProduct (ZeroDim s) v = ZeroDim s Source |