Test.QuickCheck.Matrix.Dense

Stability	experimental
Maintainer	Patrick Perry <patperry@stanford.edu>

Description

Documentation

newtype TestMatrix m n e

Source

Constructors

TestMatrix (Matrix (m, n) e)

Instances

BLAS1 e => Eq (TestMatrix m n e)

BLAS1 e => Show (TestMatrix m n e)

(Arbitrary e, BLAS1 e) => Arbitrary (TestMatrix m n e)

data SubMatrix m n e

Source

Constructors

SubMatrix (Matrix (m, n) e) (Int, Int) (Int, Int)

Instances

BLAS1 e => Eq (SubMatrix m n e)

BLAS1 e => Show (SubMatrix m n e)

(Arbitrary e, BLAS1 e) => Arbitrary (SubMatrix m n e)

dmatrix :: (Elem e, Arbitrary e) => (Int, Int) -> Gen (Matrix (m, n) e)

Source

rawMatrix :: (Elem e, Arbitrary e) => (Int, Int) -> Gen (Matrix (m, n) e)

Source

hermedMatrix :: (Elem e, Arbitrary e) => (Int, Int) -> Gen (Matrix (m, n) e)

Source

subMatrix :: (Elem e, Arbitrary e) => (Int, Int) -> Gen (SubMatrix m n e)

Source

data MatAt m n e

Source

Constructors

MatAt (Matrix (m, n) e) (Int, Int)

Instances

BLAS1 e => Eq (MatAt m n e)

BLAS1 e => Show (MatAt m n e)

(Arbitrary e, Elem e) => Arbitrary (MatAt m n e)

data MatrixPair m n e

Source

Constructors

Pair (Matrix (m, n) e) (Matrix (m, n) e)

Instances

BLAS1 e => Eq (MatrixPair m n e)

BLAS1 e => Show (MatrixPair m n e)

(Arbitrary e, Elem e) => Arbitrary (MatrixPair m n e)

data MultMV m n e

Source

Constructors

MultMV (Matrix (m, n) e) (Vector n e)

Instances

BLAS1 e => Eq (MultMV m n e)

BLAS1 e => Show (MultMV m n e)

(Arbitrary e, BLAS1 e) => Arbitrary (MultMV m n e)

data MultMVPair m n e

Source

Constructors

MultMVPair (Matrix (m, n) e) (Vector n e) (Vector n e)

Instances

BLAS1 e => Eq (MultMVPair m n e)

BLAS1 e => Show (MultMVPair m n e)

(Arbitrary e, BLAS1 e) => Arbitrary (MultMVPair m n e)

data MultMM m n k e

Source

Constructors

MultMM (Matrix (m, k) e) (Matrix (k, n) e)

Instances

BLAS1 e => Eq (MultMM m n k e)

BLAS1 e => Show (MultMM m n k e)

(Arbitrary e, Elem e) => Arbitrary (MultMM m n k e)

data MultMMPair m n k e

Source

Constructors

MultMMPair (Matrix (m, k) e) (Matrix (k, n) e) (Matrix (k, n) e)

Instances

BLAS1 e => Eq (MultMMPair m n k e)

BLAS1 e => Show (MultMMPair m n k e)

(Arbitrary e, Elem e) => Arbitrary (MultMMPair m n k e)

Produced by Haddock version 2.3.0