blas-0.5: Bindings to the BLAS librarySource codeContentsIndex
Test.QuickCheck.Matrix.Tri.Dense
Stabilityexperimental
MaintainerPatrick Perry <patperry@stanford.edu>
Description
Synopsis
triMatrix :: (BLAS1 e, Arbitrary e) => UpLo -> Diag -> (Int, Int) -> Gen (Matrix (m, n) e)
isTriIndex :: UpLo -> Diag -> (Int, Int) -> Bool
data TriMatrix m n e = TriMatrix (Tri Matrix (m, n) e) (Matrix (m, n) e)
data TriMatrixMV m n e = TriMatrixMV (Tri Matrix (m, n) e) (Matrix (m, n) e) (Vector n e)
data TriMatrixMM m k n e = TriMatrixMM (Tri Matrix (m, k) e) (Matrix (m, k) e) (Matrix (k, n) e)
data TriMatrixSV m n e = TriMatrixSV (Tri Matrix (m, n) e) (Vector m e)
data TriMatrixSM m k n e = TriMatrixSM (Tri Matrix (m, k) e) (Matrix (m, n) e)
Documentation
triMatrix :: (BLAS1 e, Arbitrary e) => UpLo -> Diag -> (Int, Int) -> Gen (Matrix (m, n) e)Source
isTriIndex :: UpLo -> Diag -> (Int, Int) -> BoolSource
data TriMatrix m n e Source
A triangular matrix and an equivalent dense matrix
Constructors
TriMatrix (Tri Matrix (m, n) e) (Matrix (m, n) e)
show/hide Instances
BLAS1 e => Show (TriMatrix m n e)
(Arbitrary e, BLAS1 e) => Arbitrary (TriMatrix m n e)
data TriMatrixMV m n e Source
A triangular matrix, and equivalent dense matrix, and a vector in their domain.
Constructors
TriMatrixMV (Tri Matrix (m, n) e) (Matrix (m, n) e) (Vector n e)
show/hide Instances
BLAS1 e => Show (TriMatrixMV m n e)
(Arbitrary e, BLAS1 e) => Arbitrary (TriMatrixMV m n e)
data TriMatrixMM m k n e Source
A triangular matrix, and equivalent dense matrix, and a matrix in their domain.
Constructors
TriMatrixMM (Tri Matrix (m, k) e) (Matrix (m, k) e) (Matrix (k, n) e)
show/hide Instances
BLAS1 e => Show (TriMatrixMM m k n e)
(Arbitrary e, BLAS1 e) => Arbitrary (TriMatrixMM m k n e)
data TriMatrixSV m n e Source
A triangular matrix and a vector in its range
Constructors
TriMatrixSV (Tri Matrix (m, n) e) (Vector m e)
show/hide Instances
BLAS1 e => Show (TriMatrixSV m n e)
(Arbitrary e, BLAS3 e) => Arbitrary (TriMatrixSV m n e)
data TriMatrixSM m k n e Source
A triangular matrix and a matrix in its range
Constructors
TriMatrixSM (Tri Matrix (m, k) e) (Matrix (m, n) e)
show/hide Instances
BLAS1 e => Show (TriMatrixSM m k n e)
(Arbitrary e, BLAS3 e) => Arbitrary (TriMatrixSM m k n e)
Produced by Haddock version 2.3.0