Associated types
type family Basis vRepresentation of the canonical basis for
v
Methods
basisValue :: Basis v -> vInterpret basis rep as a vector
decompose :: v -> [(Basis v, Scalar v)]Extract coordinates
decompose' :: v -> Basis v -> Scalar vExperimental version. More elegant definitions, and friendly to infinite-dimensional vector spaces.
Instances12HasBasis, …
HasBasis CDoubleDefined in vector-space-0.19 · Data.BasisHasBasis CFloatDefined in vector-space-0.19 · Data.BasisHasBasis DoubleDefined in vector-space-0.19 · Data.BasisHasBasis FloatDefined in vector-space-0.19 · Data.BasisIntegral a => HasBasis (Ratio a)Defined in vector-space-0.19 · Data.BasisHasBasis (Diff (VRep p)) => HasBasis (GenericDiff p)Defined in vector-space-0.19 · Data.AffineSpace(HasBasis u, s ~ Scalar u, HasBasis v, s ~ Scalar v) => HasBasis (u, v)Defined in vector-space-0.19 · Data.BasisHasBasis a => HasBasis (Rec0 a s)Defined in vector-space-0.19 · Data.Basis(AffineSpace (f p), AffineSpace (g p), HasBasis (Diff (f p)), HasBasis (Diff (g p)), Scalar (Diff (f p)) ~ Scalar (Diff (g p))) => HasBasis (AffineDiffProductSpace f g p)Defined in vector-space-0.19 · Data.AffineSpace(HasBasis u, s ~ Scalar u, HasBasis v, s ~ Scalar v, HasBasis w, s ~ Scalar w) => HasBasis (u, v, w)Defined in vector-space-0.19 · Data.Basis(HasBasis (f p), HasBasis (g p), Scalar (f p) ~ Scalar (g p)) => HasBasis ((:*:) f g p)Defined in vector-space-0.19 · Data.BasisHasBasis (f p) => HasBasis (M1 i c f p)Defined in vector-space-0.19 · Data.Basis