Data.Matrix.Generic.Base

Documentation

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

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

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

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

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

empty :: Vector v a => Matrix v a

Conversions

matrix :: Vector v a => Int -> [a] -> Matrix v a

flatten :: Matrix v a -> v a

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

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

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

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

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

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

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

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

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

convert different matrix type

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

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

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

subMatrix

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

diag

Arguments

:: (Num a, Vector v a, Foldable t)

=> t a

diagonal

-> Matrix v a

create a square matrix with given diagonal, other entries default to 0

diagRect

Arguments

:: (Vector v a, Foldable t)

=> a

default value

-> (Int, Int)

-> t a

diagonal

-> Matrix v a

create a rectangular matrix with default values and given diagonal

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

extracts the diagonal from a rectangular matrix

fromBlocks

Arguments

:: Vector v a

=> a

default value

-> [[Matrix v a]]

-> Matrix v a

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

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

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

Mapping

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

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

Monadic mapping

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

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

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

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