Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Matrix v a = Matrix !Int !Int !Int !Int !(v a)
- dim :: Matrix m v a => m v a -> (Int, Int)
- rows :: Matrix m v a => m v a -> Int
- cols :: Matrix m v a => m v a -> Int
- unsafeIndex :: Matrix m v a => m v a -> (Int, Int) -> a
- (!) :: Matrix m v a => m v a -> (Int, Int) -> a
- takeRow :: Matrix m v a => m v a -> Int -> v a
- takeColumn :: Matrix m v a => m v a -> Int -> v a
- takeDiag :: Matrix m v a => m v a -> v a
- unsafeFromVector :: Matrix m v a => (Int, Int) -> v a -> m v a
- fromVector :: Matrix m v a => (Int, Int) -> v a -> m v a
- matrix :: Matrix m v a => Int -> [a] -> m v a
- fromLists :: Matrix m v a => [[a]] -> m v a
- fromRows :: Matrix m v a => [v a] -> m v a
- fromColumns :: Vector v a => [v a] -> Matrix v a
- empty :: Matrix m v a => m v a
- flatten :: Matrix m v a => m v a -> v a
- toRows :: Matrix m v a => m v a -> [v a]
- toColumns :: Matrix m v a => m v a -> [v a]
- toList :: Matrix m v a => m v a -> [a]
- toLists :: Matrix m v a => m v a -> [[a]]
- convert :: (Vector v a, Vector w a) => Matrix v a -> Matrix w a
- tr :: Vector v a => Matrix v a -> Matrix v a
- subMatrix :: Vector v a => (Int, Int) -> (Int, Int) -> Matrix v a -> Matrix v a
- ident :: (Num a, Vector v a) => Int -> Matrix v a
- diag :: (Num a, Vector v a, Foldable t) => t a -> Matrix v a
- diagRect :: (Vector v a, Foldable t) => a -> (Int, Int) -> t a -> Matrix v a
- fromBlocks :: Vector v a => a -> [[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
- 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
- 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 ()
- sequence :: (Vector v a, Vector v (m a), Monad m) => Matrix v (m a) -> m (Matrix v a)
- sequence_ :: (Vector v (m a), Monad m) => Matrix v (m a) -> m ()
- generate :: Vector v a => (Int, Int) -> ((Int, Int) -> a) -> Matrix v a
- thaw :: (Matrix m v a, PrimMonad s) => m v a -> s (Mutable m (Mutable v) (PrimState s) a)
- unsafeThaw :: (Matrix m v a, PrimMonad s) => m v a -> s (Mutable m (Mutable v) (PrimState s) a)
- freeze :: (Matrix m v a, PrimMonad s) => Mutable m (Mutable v) (PrimState s) a -> s (m v a)
- unsafeFreeze :: (Matrix m v a, PrimMonad s) => Mutable m (Mutable v) (PrimState s) a -> s (m v a)
- create :: Matrix m v a => (forall s. ST s (Mutable m (Mutable v) s a)) -> m v a
Immutable Matrix
row-major matrix supporting efficient slice
Accessors
length information
Indexing
unsafeIndex :: Matrix m v a => m v a -> (Int, Int) -> a Source
takeRow :: Matrix m v a => m v a -> Int -> v a Source
Extract a row. Default algorithm is O(n * O(unsafeIndex)).
takeColumn :: Matrix m v a => m v a -> Int -> v a Source
Extract a column. Default algorithm is O(m * O(unsafeIndex)).
takeDiag :: Matrix m v a => m v a -> v a Source
Extract the diagonal. Default algorithm is O(min(m,n) * O(unsafeIndex)).
Construction
unsafeFromVector :: Matrix m v a => (Int, Int) -> v a -> m v a Source
fromVector :: Matrix m v a => (Int, Int) -> v a -> m v a Source
O(m*n) Matrix construction
fromLists :: 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
fromColumns :: Vector v a => [v a] -> Matrix v a Source
O(m*n) Create matrix from columns
Conversions
Different matrix types
convert :: (Vector v a, Vector w a) => Matrix v a -> Matrix w a Source
O(m*n) Convert different matrix type
:: 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
O(m*n) Create a square matrix with given diagonal, other entries default to 0
O(m*n) Create a rectangular matrix with default values and given diagonal
Mapping
Monadic mapping
Monadic sequencing
Mutable matrix
unsafeThaw :: (Matrix m v a, PrimMonad s) => m v a -> s (Mutable m (Mutable v) (PrimState s) a) Source