Test.QuickCheck.Matrix.Perm

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

Description

Documentation

pmatrix :: Elem e => Int -> Gen (Perm (n, n) e)

Source

rawPerm :: Int -> Gen (Perm (n, n) e)

Source

hermedPerm :: Elem e => Int -> Gen (Perm (n, n) e)

Source

idPerm :: Int -> Gen (Perm (n, n) e)

Source

newtype TestPerm n e

Source

Constructors

TestPerm (Perm (n, n) e)

Instances

Elem e => Show (TestPerm n e)

Elem e => Arbitrary (TestPerm n e)

data PermMBasis n e

Source

Constructors

PermMBasis (Perm (n, n) e) Int

Instances

Elem e => Show (PermMBasis n e)

Elem e => Arbitrary (PermMBasis n e)

data PermMV n e

Source

Constructors

PermMV (Perm (n, n) e) (Vector n e)

Instances

BLAS1 e => Show (PermMV n e)

(BLAS1 e, Arbitrary e) => Arbitrary (PermMV n e)

data PermMVPair n e

Source

Constructors

PermMVPair (Perm (n, n) e) (Vector n e) (Vector n e)

Instances

BLAS1 e => Show (PermMVPair n e)

(BLAS1 e, Arbitrary e) => Arbitrary (PermMVPair n e)

data PermMM m n e

Source

Constructors

PermMM (Perm (m, m) e) (Matrix (m, n) e)

Instances

BLAS1 e => Show (PermMM m n e)

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

data PermMMPair m n e

Source

Constructors

PermMMPair (Perm (m, m) e) (Matrix (m, n) e) (Matrix (m, n) e)

Instances

BLAS1 e => Show (PermMMPair m n e)

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

Produced by Haddock version 2.3.0