blas-0.4.1: Bindings to the BLAS library Source code Contents Index

Data.Matrix.Banded.Internal Stability experimental Maintainer Patrick Perry <patperry@stanford.edu>

Contents Banded matrix data types Converting to and from foreign pointers To and from the underlying storage matrix Bandwith properties Creating new matrices Pure Impure Getting rows and columns Vector views Casting matrices Unsafe operations

Description

Synopsis

data BMatrix t mn e = BM { fptr :: !(ForeignPtr e) offset :: !Int size1 :: !Int size2 :: !Int lowBW :: !Int upBW :: !Int lda :: !Int } | H !(BMatrix t mn e) type Banded = BMatrix Imm type IOBanded = BMatrix Mut module BLAS.Matrix.Base module BLAS.Tensor toForeignPtr :: BMatrix t (m, n) e -> (ForeignPtr e, Int, (Int, Int), (Int, Int), Int) fromForeignPtr :: ForeignPtr e -> Int -> (Int, Int) -> (Int, Int) -> Int -> BMatrix t (m, n) e ldaOf :: BMatrix t (m, n) e -> Int isHerm :: BMatrix t (m, n) e -> Bool toMatrix :: Elem e => BMatrix t (m, n) e -> (DMatrix t (m', n') e, (Int, Int), (Int, Int)) fromMatrix :: Elem e => DMatrix t (m, n) e -> (Int, Int) -> (Int, Int) -> BMatrix t (m', n') e bandwidth :: BMatrix t (m, n) e -> (Int, Int) numLower :: BMatrix t (m, n) e -> Int numUpper :: BMatrix t (m, n) e -> Int banded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> Banded (m, n) e listsBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [[e]] -> Banded (m, n) e newBanded_ :: Elem e => (Int, Int) -> (Int, Int) -> IO (BMatrix t (m, n) e) newBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> IO (BMatrix t (m, n) e) newListsBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [[e]] -> IO (BMatrix t (m, n) e) row :: BLAS1 e => Banded (m, n) e -> Int -> Vector n e col :: BLAS1 e => Banded (m, n) e -> Int -> Vector m e getRow :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r n e) getCol :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r m e) diag :: Elem e => BMatrix t (m, n) e -> Int -> DVector t k e rowView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) colView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) coerceMatrix :: BMatrix t mn e -> BMatrix t kl e unsafeBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> Banded (m, n) e unsafeNewBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> IO (BMatrix t (m, n) e) unsafeFreeze :: BMatrix t mn e -> Banded mn e unsafeThaw :: BMatrix t mn e -> IOBanded mn e unsafeWithElemPtr :: Elem e => BMatrix t (m, n) e -> (Int, Int) -> (Ptr e -> IO a) -> IO a unsafeDiag :: Elem e => BMatrix t (m, n) e -> Int -> DVector t k e unsafeGetRow :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r n e) unsafeGetCol :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r m e) unsafeRow :: BLAS1 e => Banded (m, n) e -> Int -> Vector n e unsafeCol :: BLAS1 e => Banded (m, n) e -> Int -> Vector m e unsafeRowView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) unsafeColView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int)

Banded matrix data types

data BMatrix t mn e Source

Constructors BM fptr :: !(ForeignPtr e) offset :: !Int size1 :: !Int size2 :: !Int lowBW :: !Int upBW :: !Int lda :: !Int H !(BMatrix t mn e) Instances Matrix (BMatrix t) Tensor (BMatrix t ((,) m n)) ((,) Int Int) e BLAS1 e => ITensor (BMatrix Imm ((,) m n)) ((,) Int Int) e BLAS1 e => RTensor (BMatrix t ((,) m n)) ((,) Int Int) e IO BLAS1 e => MTensor (BMatrix Mut ((,) m n)) ((,) Int Int) e IO

type Banded = BMatrix Imm Source

type IOBanded = BMatrix Mut Source

module BLAS.Matrix.Base

module BLAS.Tensor

Converting to and from foreign pointers

toForeignPtr :: BMatrix t (m, n) e -> (ForeignPtr e, Int, (Int, Int), (Int, Int), Int) Source

fromForeignPtr :: ForeignPtr e -> Int -> (Int, Int) -> (Int, Int) -> Int -> BMatrix t (m, n) e Source

ldaOf :: BMatrix t (m, n) e -> Int Source

isHerm :: BMatrix t (m, n) e -> Bool Source

To and from the underlying storage matrix

toMatrix :: Elem e => BMatrix t (m, n) e -> (DMatrix t (m', n') e, (Int, Int), (Int, Int)) Source

fromMatrix :: Elem e => DMatrix t (m, n) e -> (Int, Int) -> (Int, Int) -> BMatrix t (m', n') e Source

Bandwith properties

bandwidth :: BMatrix t (m, n) e -> (Int, Int) Source

numLower :: BMatrix t (m, n) e -> Int Source

numUpper :: BMatrix t (m, n) e -> Int Source

Creating new matrices

Pure

banded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> Banded (m, n) e Source

listsBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [[e]] -> Banded (m, n) e Source

Impure

newBanded_ :: Elem e => (Int, Int) -> (Int, Int) -> IO (BMatrix t (m, n) e) Source

newBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> IO (BMatrix t (m, n) e) Source

newListsBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [[e]] -> IO (BMatrix t (m, n) e) Source

Getting rows and columns

row :: BLAS1 e => Banded (m, n) e -> Int -> Vector n e Source

col :: BLAS1 e => Banded (m, n) e -> Int -> Vector m e Source

getRow :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r n e) Source

getCol :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r m e) Source

Vector views

diag :: Elem e => BMatrix t (m, n) e -> Int -> DVector t k e Source

rowView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) Source

colView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) Source

Casting matrices

coerceMatrix :: BMatrix t mn e -> BMatrix t kl e Source

Coerce the phantom shape type from one type to another.

Unsafe operations

unsafeBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> Banded (m, n) e Source

unsafeNewBanded :: BLAS1 e => (Int, Int) -> (Int, Int) -> [((Int, Int), e)] -> IO (BMatrix t (m, n) e) Source

unsafeFreeze :: BMatrix t mn e -> Banded mn e Source

unsafeThaw :: BMatrix t mn e -> IOBanded mn e Source

unsafeWithElemPtr :: Elem e => BMatrix t (m, n) e -> (Int, Int) -> (Ptr e -> IO a) -> IO a Source

unsafeDiag :: Elem e => BMatrix t (m, n) e -> Int -> DVector t k e Source

unsafeGetRow :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r n e) Source

unsafeGetCol :: BLAS1 e => BMatrix t (m, n) e -> Int -> IO (DVector r m e) Source

unsafeRow :: BLAS1 e => Banded (m, n) e -> Int -> Vector n e Source

unsafeCol :: BLAS1 e => Banded (m, n) e -> Int -> Vector m e Source

unsafeRowView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) Source

unsafeColView :: Elem e => BMatrix t (m, n) e -> Int -> (Int, DVector t k e, Int) Source

Produced by Haddock version 2.3.0