Modulematrices-0.5.0Haskell2010

Data.Matrix.Generic

Contents

Immutable Matrix
Accessors
length information
Indexing
Construction
Conversions
Different matrix types
Mapping
Monadic mapping
Zipping
Monadic Zipping
Unzipping
Monadic sequencing
Mutable matrix

Synopsis

data Matrix
method dim
value rows
value cols
method unsafeIndex
value !
value takeRow
value takeColumn
method takeDiag
method unsafeFromVector
value fromVector
value matrix
value fromList
value fromLists
value fromRows
value fromColumns
value empty
method flatten
value toRows
value toColumns
value toList
value toLists
value convert
value tr
value subMatrix
value ident
value diag
value diagRect
value fromBlocks
value isSymmetric
value force
value foldl
value map
value imap
value mapM
value imapM
value mapM_
value imapM_
value forM
value forM_
value zipWith
value zipWith3
value zipWith4
value zipWith5
value zipWith6
value izipWith
value izipWith3
value izipWith4
value izipWith5
value izipWith6
value zip
value zip3
value zip4
value zip5
value zip6
value zipWithM
value zipWithM_
value unzip
value unzip3
value unzip4
value unzip5
value unzip6
value sequence
value sequence_
value generate
method thaw
method unsafeThaw
method freeze
method unsafeFreeze
value create

Packagematrices-0.5.0
Exports70
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGeneric.hs

Immutable Matrix

datadata Matrix (v :: Type -> Type) a

Source#

Row-major matrix supporting efficient slice.

Constructors

Matrix !Int !Int !Int !Int !(v a)

Instances8Matrix, Eq, Read, Show, Generic, NFData, …

Vector v a => Matrix Matrix v aDefined in matrices-0.5.0 · Data.Matrix.Generic
(Vector v a, Eq (v a)) => Eq (Matrix v a)Defined in matrices-0.5.0 · Data.Matrix.Generic
Read (v a) => Read (Matrix v a)Defined in matrices-0.5.0 · Data.Matrix.Generic
Show (v a) => Show (Matrix v a)Defined in matrices-0.5.0 · Data.Matrix.Generic
Generic (Matrix v a)Defined in matrices-0.5.0 · Data.Matrix.Generic
NFData (v a) => NFData (Matrix v a)Defined in matrices-0.5.0 · Data.Matrix.Generic
type Rep (Matrix v a) = D1 ('MetaData "Matrix" "Data.Matrix.Generic" "matrices-0.5.0-AX9FytQUcYSJKUPxaWLmtH" 'False) (C1 ('MetaCons "Matrix" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (v a))))))Defined in matrices-0.5.0 · Data.Matrix.Generic
type Mutable Matrix = MMatrixDefined in matrices-0.5.0 · Data.Matrix.Generic

Accessors

length information

methoddim :: m v a -> (Int, Int)

valuerows :: Matrix m v a => m v a -> Int

Source#

Derived methods

Return the number of rows

valuecols :: Matrix m v a => m v a -> Int

Source#

Return the number of columns

Indexing

methodunsafeIndex :: m v a -> (Int, Int) -> a

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

Source#

Indexing

valuetakeRow :: Matrix m v a => m v a -> Int -> v a

Source#

Extract a row.

valuetakeColumn :: Matrix m v a => m v a -> Int -> v a

Source#

Extract a row.

methodtakeDiag :: m v a -> v a

Source#

Extract the diagonal. Default algorithm is O(min(m,n) * O(unsafeIndex)).

Construction

methodunsafeFromVector :: (Int, Int) -> v a -> m v a

valuefromVector :: Matrix m v a => (Int, Int) -> v a -> m v a

valuematrix

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

Source#

O(m*n) Matrix construction

valuefromList :: Matrix m v a => (Int, Int) -> [a] -> m v a

valuefromLists :: Matrix m v a => [[a]] -> m 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

valuefromRows :: Matrix m v a => [v a] -> m v a

Source#

O(m*n) Create matrix from rows

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

Source#

O(m*n) Create matrix from columns

valueempty :: Matrix m v a => m v a

Conversions

methodflatten :: m v a -> v a

Source#

Default algorithm is O((m*n) * O(unsafeIndex)).

valuetoRows :: Matrix m v a => m v a -> [v a]

Source#

O(m) Return the rows

valuetoColumns :: Matrix m v a => m v a -> [v a]

Source#

O(m*n) Return the columns

valuetoList :: Matrix m v a => m v a -> [a]

Source#

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

valuetoLists :: Matrix m v a => m v a -> [[a]]

Source#

O(m*n) List of lists

Different matrix types

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

Source#

O(m*n) Convert different matrix type

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

Source#

O(m*n) Matrix transpose

valuesubMatrix

:: 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

Source#

O(1) Extract sub matrix

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

Source#

O(m*n) Create an identity matrix

valuediag

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

Source#

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

valuediagRect

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

Source#

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

valuefromBlocks

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

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

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

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

Mapping

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

valueimap

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

Monadic mapping

valuemapM

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

valueimapM

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

Source#

O(m*n) Apply the monadic action to every element and its index, yielding a matrix of results.

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

valueimapM_

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

Source#

O(m*n) Apply the monadic action to every element and its index, ignoring the results.

valueforM

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

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

Zipping

valuezipWith

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

valuezipWith3

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

valuezipWith4

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e)
=> a -> b -> c -> d -> e
-> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e

valuezipWith5

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f)
=> a -> b -> c -> d -> e -> f
-> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e
-> Matrix v f

valuezipWith6

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f, Vector v g)
=> a -> b -> c -> d -> e -> f -> g
-> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e
-> Matrix v f
-> Matrix v g

valueizipWith

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

valueizipWith3

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

valueizipWith4

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e)
=> (Int, Int) -> a -> b -> c -> d -> e
-> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e

valueizipWith5

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f)
=> (Int, Int) -> a -> b -> c -> d -> e -> f
-> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e
-> Matrix v f

valueizipWith6

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f, Vector v g)
=> (Int, Int) -> a -> b -> c -> d -> e -> f -> g
-> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e
-> Matrix v f
-> Matrix v g

valuezip

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

valuezip3

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

valuezip4

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

valuezip5

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v (a, b, c, d, e))
=> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e
-> Matrix v (a, b, c, d, e)

valuezip6

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f, Vector v (a, b, c, d, e, f))
=> Matrix v a
-> Matrix v b
-> Matrix v c
-> Matrix v d
-> Matrix v e
-> Matrix v f
-> Matrix v (a, b, c, d, e, f)

Monadic Zipping

valuezipWithM

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

valuezipWithM_

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

Unzipping

valueunzip

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

valueunzip3

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

valueunzip4

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

valueunzip5

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v (a, b, c, d, e))
=> Matrix v (a, b, c, d, e)
-> (Matrix v a, Matrix v b, Matrix v c, Matrix v d, Matrix v e)

valueunzip6

:: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v e, Vector v f, Vector v (a, b, c, d, e, f))
=> Matrix v (a, b, c, d, e, f)
-> (Matrix v a, Matrix v b, Matrix v c, Matrix v d, Matrix v e, Matrix v f)

Monadic sequencing

valuesequence

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

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

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

Mutable matrix

methodthaw :: PrimMonad s => m v a -> s (Mutable m (Mutable v) (PrimState s) a)

methodunsafeThaw

:: PrimMonad s
=> m v a
-> s (Mutable m (Mutable v) (PrimState s) a)

methodfreeze :: PrimMonad s => Mutable m (Mutable v) (PrimState s) a -> s (m v a)

methodunsafeFreeze

:: PrimMonad s
=> Mutable m (Mutable v) (PrimState s) a
-> s (m v a)

valuecreate

:: Matrix m v a
=> forall s. ST s (Mutable m (Mutable v) s a)
-> m v a