| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Matrix
Description
Operations on matrices (doubly-nested parallel vectors). All operations in this module assume rectangular matrices.
- type Matrix a = Vector2 a
- tMat :: Patch a a -> Patch (Matrix a) (Matrix a)
- freezeMatrix :: Type a => Matrix a -> Data [[a]]
- thawMatrix :: Type a => Data [[a]] -> Matrix a
- thawMatrix' :: Type a => Length -> Length -> Data [[a]] -> Matrix a
- matrix :: Type a => [[a]] -> Matrix a
- indexedMat :: Data Length -> Data Length -> (Data Index -> Data Index -> a) -> Vector (Vector a)
- transpose :: Syntax a => Vector (Vector a) -> Vector (Vector a)
- flatten :: Type a => Matrix a -> Vector (Data a)
- diagonal :: Type a => Matrix a -> Vector (Data a)
- distributeL :: (a -> b -> c) -> a -> Vector b -> Vector c
- distributeR :: (a -> b -> c) -> Vector a -> b -> Vector c
- class Mul a b where
- mulMat :: Numeric a => Matrix a -> Matrix a -> Matrix a
- class Syntax a => ElemWise a where
- (.+) :: (ElemWise a, Num (Scalar a)) => a -> a -> a
- (.-) :: (ElemWise a, Num (Scalar a)) => a -> a -> a
- (.*) :: (ElemWise a, Num (Scalar a)) => a -> a -> a
Documentation
freezeMatrix :: Type a => Matrix a -> Data [[a]] Source
Converts a matrix to a core array.
thawMatrix :: Type a => Data [[a]] -> Matrix a Source
Converts a core array to a matrix.
thawMatrix' :: Type a => Length -> Length -> Data [[a]] -> Matrix a Source
Converts a core array to a matrix. The first length argument is the number of rows (outer vector), and the second argument is the number of columns (inner vector).
matrix :: Type a => [[a]] -> Matrix a Source
Constructs a matrix. The elements are stored in a core array.
indexedMat :: Data Length -> Data Length -> (Data Index -> Data Index -> a) -> Vector (Vector a) Source
Constructing a matrix from an index function.
indexedMat m n ixf:
mis the number of rows.nis the number of columns.ifxis a function mapping indexes to elements (first argument is row index; second argument is column index).
transpose :: Syntax a => Vector (Vector a) -> Vector (Vector a) Source
Transpose of a matrix. Assumes that the number of rows is > 0.
diagonal :: Type a => Matrix a -> Vector (Data a) Source
The diagonal vector of a square matrix. It happens to work if the number of rows is less than the number of columns, but not the other way around (this would require some overhead).
distributeL :: (a -> b -> c) -> a -> Vector b -> Vector c Source
distributeR :: (a -> b -> c) -> Vector a -> b -> Vector c Source
Instances
| Numeric a => Mul (Data a) (Matrix a) | |
| Numeric a => Mul (Data a) (Vector1 a) | |
| Numeric a => Mul (Data a) (Data a) | |
| Numeric a => Mul (Vector1 a) (Matrix a) | |
| Numeric a => Mul (Vector1 a) (Vector1 a) | |
| Numeric a => Mul (Vector1 a) (Data a) | |
| Numeric a => Mul (Matrix a) (Matrix a) | |
| Numeric a => Mul (Matrix a) (Vector1 a) | |
| Numeric a => Mul (Matrix a) (Data a) |