Test.QuickCheck.Matrix.Tri.Dense
 Stability experimental Maintainer Patrick Perry
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) -> Bool Source
 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)
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)
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)
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)
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)
Instances
 BLAS1 e => Show (TriMatrixSM m k n e) (Arbitrary e, BLAS3 e) => Arbitrary (TriMatrixSM m k n e)