tensor-0.3.0.1: A completely type-safe library for linear algebra

Portabilitynon-portable
Stabilityexperimental
MaintainerNicola Squartini <tensor5@gmail.com>
Safe HaskellNone

Data.Tensor.Vector

Description

This module define a datatype Tensor which implements the classes and methods defined in Data.Tensor and Data.Tensor.LinearAlgebra. It is represented internally as a Vector.

Documentation

data Tensor i e Source

Instances

(MultiIndex i, MultiIndex j, Extend i l, ReverseList j, ReverseList (Ext i l), Extend (Reverse j) (Reverse (Ext i l)), ReverseList (Ext (Reverse j) (Reverse (Ext i l)))) => Sliceable i j (Tensor l e) 
(Ordinal i, Ordinal j) => Matrix i j (Tensor (:|: i (:|: j Nil)) e) 
(Cardinal n, MultiIndex i, MultiIndex j, MultiIndexConcat n i j) => DirectSum n (Tensor i e) (Tensor j e) 
(Num e, Cardinal n, MultiIndex i, MultiIndex j, JoinList n i j) => Product n (Tensor i e) (Tensor j e) 
Functor (Tensor i) 
MultiIndex i => Applicative (Tensor i) 
MultiIndex i => FromList (Tensor i) 
(Ordinal i, Sum i i) => SquareMatrix (Tensor (:|: i (:|: i Nil))) 
DotProduct (Tensor i) 
MultiIndex i => VectorSpace (Tensor i) 
(Bounded e, MultiIndex i) => Bounded (Tensor i e) 
Eq e => Eq (Tensor i e) 
Show e => Show (Tensor i e) 
(Ordinal i, Ordinal j) => Transpose (Tensor (:|: i (:|: j Nil)) e) 
MultiIndex i => Tensor (Tensor i e) 
(MultiIndex i, Random e) => Random (Tensor i e) 
Dimensions i => Dimensions (Tensor i e) 
(Eq e, Fractional e, Ordinal i, Ordinal j) => LinearSystem (Tensor (:|: i (:|: j Nil)) e) (Tensor (:|: i Nil) e) 
(Eq e, Fractional e, Ordinal i, Ordinal j, Ordinal k, Sum j k) => LinearSystem (Tensor (:|: i (:|: j Nil)) e) (Tensor (:|: i (:|: k Nil)) e) 

type Vector n = Tensor (n :|: Nil)Source

type Matrix m n = Tensor (m :|: (n :|: Nil))Source