Copyright	(c) 2014 Kai Zhang
License	BSD3
Safe Haskell	None
Language	Haskell2010

Data.Matrix.Generic.Base

Contents

Conversions
Different matrix types
Mapping
Monadic mapping

Description

Synopsis

Documentation

rows :: Vector v a => Matrix v a -> Int Source

O(1) Return the number of rows

cols :: Vector v a => Matrix v a -> Int Source

O(1) Return the number of columns

dim :: Vector v a => Matrix v a -> (Int, Int) Source

O(1) Return the size of matrix

(!) :: Vector v a => Matrix v a -> (Int, Int) -> a Source

O(1) Indexing

unsafeIndex :: Vector v a => Matrix v a -> (Int, Int) -> a Source

O(1) Unsafe indexing without bound check

empty :: Vector v a => Matrix v a Source

O(1) Return an empty matrix

Conversions

matrix Source

Arguments

:: Vector v a
=> Int	number of columns
-> [a]	row list
-> Matrix v a

O(m*n) Matrix construction

flatten :: Vector v a => Matrix v a -> v a Source

Create a vector by concatenating rows

fromVector :: Vector v a => (Int, Int) -> v a -> Matrix v a Source

O(1) Create matrix from vector

toRows :: Vector v a => Matrix v a -> [v a] Source

O(m) Return the rows

toColumns :: Vector v a => Matrix v a -> [v a] Source

O(m*n) Return the columns

fromRows :: Vector v a => [v a] -> Matrix v a Source

O(m*n) Create matrix from rows

fromColumns :: Vector v a => [v a] -> Matrix v a Source

O(m*n) Create matrix from columns

toList :: Vector v a => Matrix v a -> [a] Source

O(m*n) Create a list by concatenating rows

toLists :: Vector v a => Matrix v a -> [[a]] Source

O(m*n) List of lists

fromLists :: Vector v a => [[a]] -> Matrix v a Source

O(m*n) Create matrix from list of lists, it doesn't check if the list of list is a valid matrix

Different matrix types

convert :: (Vector v a, Vector w a) => Matrix v a -> Matrix w a Source

O(m*n) Convert different matrix type

tr :: Vector v a => Matrix v a -> Matrix v a Source

O(m*n) Matrix transpose

takeRow :: Vector v a => Matrix v a -> Int -> v a Source

O(1) Extract a row

takeColumn :: Vector v a => Matrix v a -> Int -> v a Source

O(m) Extract a column

subMatrix Source

Arguments

:: Vector v a
=> (Int, Int)	upper left corner of the submatrix
-> (Int, Int)	bottom right corner of the submatrix
-> Matrix v a
-> Matrix v a

O(1) Extract sub matrix

ident :: (Num a, Vector v a) => Int -> Matrix v a Source

O(m*n) Create an identity matrix

diag Source

Arguments

:: (Num a, Vector v a, Foldable t)
=> t a	diagonal
-> Matrix v a

O(m*n) Create a square matrix with given diagonal, other entries default to 0

diagRect Source

Arguments

:: (Vector v a, Foldable t)
=> a	default value
-> (Int, Int)
-> t a	diagonal
-> Matrix v a

O(m*n) Create a rectangular matrix with default values and given diagonal

takeDiag :: Vector v a => Matrix v a -> v a Source

extracts the diagonal from a rectangular matrix

fromBlocks Source

Arguments

:: Vector v a
=> a	default value
-> [[Matrix v a]]
-> Matrix v a

isSymmetric :: (Eq a, Vector v a) => Matrix v a -> Bool Source

force :: Vector v a => Matrix v a -> Matrix v a Source

foldl :: Vector v b => (a -> b -> a) -> a -> Matrix v b -> a Source

Mapping

imap :: (Vector v a, Vector v b) => ((Int, Int) -> a -> b) -> Matrix v a -> Matrix v b Source

map :: (Vector v a, Vector v b) => (a -> b) -> Matrix v a -> Matrix v b Source

Monadic mapping

mapM :: (Vector v a, Vector v b, Monad m) => (a -> m b) -> Matrix v a -> m (Matrix v b) Source

mapM_ :: (Vector v a, Monad m) => (a -> m b) -> Matrix v a -> m () Source

forM :: (Vector v a, Vector v b, Monad m) => Matrix v a -> (a -> m b) -> m (Matrix v b) Source

forM_ :: (Vector v a, Monad m) => Matrix v a -> (a -> m b) -> m () Source

generate :: Vector v a => (Int, Int) -> ((Int, Int) -> a) -> Matrix v a Source