MatrixField r => Normed ((+>) (SVector k m r) (SVector k n r)) Source | |
(Show r, ValidSVector Nat n r, KnownNat n) => Show (SVector Nat n r) Source | |
(Show r, Monoid r, ValidSVector Symbol n r) => Show (SVector Symbol n r) Source | |
(KnownNat n, Arbitrary r, ValidSVector Nat n r, FreeModule r, IsScalar r) => Arbitrary (SVector Nat n r) Source | |
(Arbitrary r, ValidSVector Symbol n r, FreeModule r, IsScalar r) => Arbitrary (SVector Symbol n r) Source | |
(FromField r, ValidSVector Symbol n r, IsScalar r, FreeModule r) => FromRecord (SVector Symbol n r) Source | |
(NFData r, ValidSVector Nat n r) => NFData (SVector Nat n r) Source | |
(NFData r, ValidSVector Symbol n r) => NFData (SVector Symbol n r) Source | |
(KnownNat n, ValidSVector Nat n r) => IsMutable (SVector Nat n r) Source | |
ValidSVector Symbol n r => IsMutable (SVector Symbol n r) Source | |
(KnownNat n, Monoid r, ValidLogic r, ValidSVector Nat n r, IsScalar r, FreeModule r) => IxContainer (SVector Nat n r) Source | |
(Monoid r, ValidLogic r, ValidSVector Symbol n r, IsScalar r, FreeModule r) => IxContainer (SVector Symbol n r) Source | |
(KnownNat n, ValidSVector Nat n r, ExpField r, Normed r, Ord_ r, (~) * (Logic r) Bool, IsScalar r, VectorSpace r, ValidSVector Symbol "dyn" r) => Metric (SVector Nat n r) Source | |
(ValidSVector Symbol n r, ExpField r, Normed r, Ord_ r, (~) * (Logic r) Bool, IsScalar r, VectorSpace r) => Metric (SVector Symbol n r) Source | |
(FiniteModule (SVector k n r), VectorSpace (SVector k n r), MatrixField r, ToFromVector (SVector k n r)) => TensorAlgebra (SVector k n r) Source | |
(KnownNat n, VectorSpace r, ValidSVector Nat n r, IsScalar r, ExpField r, Real r, OrdField r, MatrixField r, ValidSVector Nat n r, ValidSVector Symbol "dyn" r) => Hilbert (SVector Nat n r) Source | |
(VectorSpace r, ValidSVector Symbol n r, IsScalar r, ExpField r, Real r, OrdField r, MatrixField r) => Hilbert (SVector Symbol n r) Source | |
(KnownNat n, VectorSpace r, ValidSVector Nat n r, IsScalar r, ExpField r, Real r, ValidSVector Nat n r, ValidSVector Symbol "dyn" r) => Banach (SVector Nat n r) Source | |
(VectorSpace r, ValidSVector Symbol n r, IsScalar r, ExpField r, Real r) => Banach (SVector Symbol n r) Source | |
(KnownNat n, VectorSpace r, ValidSVector Nat n r, IsScalar r) => VectorSpace (SVector Nat n r) Source | |
(VectorSpace r, ValidSVector Symbol n r, IsScalar r) => VectorSpace (SVector Symbol n r) Source | |
(KnownNat n, FreeModule r, ValidLogic r, ValidSVector Nat n r, IsScalar r) => FiniteModule (SVector Nat n r) Source | |
(FreeModule r, ValidLogic r, ValidSVector Symbol n r, IsScalar r) => FiniteModule (SVector Symbol n r) Source | |
(KnownNat n, FreeModule r, ValidSVector Nat n r, IsScalar r) => FreeModule (SVector Nat n r) Source | |
(FreeModule r, ValidSVector Symbol n r, IsScalar r) => FreeModule (SVector Symbol n r) Source | |
(KnownNat n, Module r, ValidSVector Nat n r, IsScalar r) => Module (SVector Nat n r) Source | |
(Module r, ValidSVector Symbol n r, IsScalar r) => Module (SVector Symbol n r) Source | |
(KnownNat n, VectorSpace r, ValidSVector Nat n r, IsScalar r, ExpField r) => Normed (SVector Nat n r) Source | |
(VectorSpace r, ValidSVector Symbol n r, IsScalar r, ExpField r) => Normed (SVector Symbol n r) Source | |
(KnownNat n, Abelian r, ValidSVector Nat n r) => Abelian (SVector Nat n r) Source | |
(Monoid r, Abelian r, ValidSVector Symbol n r) => Abelian (SVector Symbol n r) Source | |
(KnownNat n, Group r, ValidSVector Nat n r) => Group (SVector Nat n r) Source | |
(Group r, ValidSVector Symbol n r) => Group (SVector Symbol n r) Source | |
(KnownNat n, Cancellative r, ValidSVector Nat n r) => Cancellative (SVector Nat n r) Source | |
(Monoid r, Cancellative r, ValidSVector Symbol n r) => Cancellative (SVector Symbol n r) Source | |
(KnownNat n, Monoid r, ValidSVector Nat n r) => Monoid (SVector Nat n r) Source | |
(Monoid r, ValidSVector Symbol n r) => Monoid (SVector Symbol n r) Source | |
(KnownNat n, Semigroup r, ValidSVector Nat n r) => Semigroup (SVector Nat n r) Source | |
(Monoid r, ValidSVector Symbol n r) => Semigroup (SVector Symbol n r) Source | |
(KnownNat n, Eq_ r, ValidLogic r, ValidSVector Nat n r) => Eq_ (SVector Nat n r) Source | |
(Eq r, Monoid r, ValidSVector Symbol n r) => Eq_ (SVector Symbol n r) Source | |
data SVector Nat = SVector_Nat (ForeignPtr r) Source | |
data SVector Symbol = SVector_Dynamic !(ForeignPtr r) !Int !Int Source | |
type (><) * * (SVector k m a) b Source | |
data Mutable m (SVector Nat n r) = Mutable_SVector_Nat (ForeignPtr r) Source | |
data Mutable m (SVector Symbol n r) = Mutable_SVector (PrimRef m (SVector Symbol n r)) Source | |
type Index (SVector k n r) = Int Source | |
type Elem (SVector k n r) = Scalar r Source | |
type Scalar (SVector k n r) = Scalar r Source | |
type Logic (SVector k n r) = Logic r Source | |
type ValidElem (SVector Nat n r) e Source | |
type ValidElem (SVector Symbol n r) e Source | |
type SetElem (SVector k n r) b = SVector k n b Source | |