Math.LinearMap.Category
data LinearFunction s v w
type v -+> w
type Bilinear v w y
data LinearMap s v w
type v +> w
data Tensor s v w
type v ⊗ w
data Norm v
type Seminorm v
type Variance v
data Eigenvector v
type LSpace v
class TensorSpace v
class LinearSpace v
class SemiInner v
class FiniteDimensional v
type DualSpace v
type HilbertSpace v
type SimpleSpace v
type Num' s
type Num'' s
type Num''' s
type Fractional' s
type Fractional'' s
type RealFrac' s
type RealFloat' s