Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulematrices-0.5.0Haskell2010

Data.Matrix.Sparse.Generic

Contents

Accessors
length information
Indexing
Construction
Conversions

Synopsis

class Zero
data CSR
type AssocList
method dim
value rows
value cols
method unsafeIndex
value !
value takeRow
value takeColumn
method takeDiag
value fromAscAL
method unsafeFromVector
value fromVector
value matrix
value fromLists
value fromRows
value empty
method flatten
value toRows
value toColumns
value toList
value toLists

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

classclass Eq a => Zero a where

Methods

zero :: a

Instances3Zero

Zero DoubleDefined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
Zero IntDefined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
Eq a => Zero [a]Defined in matrices-0.5.0 · Data.Matrix.Sparse.Generic

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

Compressed Sparse Row (CSR) matrix

Constructors

CSR !Int !Int !(v a) !(Vector Int) !(Vector Int)

Instances7Matrix, Eq, Read, Show, Generic, Rep, …

(Zero a, Vector v a) => Matrix CSR v aDefined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
Eq (v a) => Eq (CSR v a)Defined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
Read (v a) => Read (CSR v a)Defined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
Show (v a) => Show (CSR v a)Defined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
Generic (CSR v a)Defined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
type Rep (CSR v a) = D1 ('MetaData "CSR" "Data.Matrix.Sparse.Generic" "matrices-0.5.0-AX9FytQUcYSJKUPxaWLmtH" 'False) (C1 ('MetaCons "CSR" 'PrefixI 'False) ((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)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Vector Int)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Vector Int))))))Defined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
type Mutable CSR = MMatrixDefined in matrices-0.5.0 · Data.Matrix.Sparse.Generic
mutable sparse matrix not implemented

typetype AssocList a = [((Int, Int), a)]

Accessors

length information

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

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

Derived methods

Return the number of rows

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

Return the number of columns

Indexing

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

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

Indexing

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

Extract a row.

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

Extract a row.

methodtakeDiag :: m v a -> v a

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

Construction

valuefromAscAL :: Vector v a => (Int, Int) -> Int -> AssocList a -> CSR v a

Construct CSR from ascending association list. Items must be sorted first by row index, and then by column index.

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

O(m*n) Matrix construction

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

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

O(m*n) Create matrix from rows

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

Conversions

methodflatten :: m v a -> v a

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

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

O(m) Return the rows

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

O(m*n) Return the columns

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

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

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

O(m*n) List of lists