Linear.Matrix.Arbitrary

Documentation

newtype InvertibleM33 a

`Arbitrary InvertibleM33` instances are always invertible

Constructors

InvertibleM33

Fields

• unInvertibleM33 :: M33 a

Instances

Show a => Show (InvertibleM33 a)

Defined in Linear.Matrix.Arbitrary

Methods

showsPrec :: Int -> InvertibleM33 a -> ShowS

show :: InvertibleM33 a -> String

showList :: [InvertibleM33 a] -> ShowS

(Arbitrary a, Epsilon a, Floating a) => Arbitrary (InvertibleM33 a)

Defined in Linear.Matrix.Arbitrary

Methods

arbitrary :: Gen (InvertibleM33 a)

shrink :: InvertibleM33 a -> [InvertibleM33 a]

newtype DiagM33 a

`Arbitrary DiagM33` instances only have non-zero diagonal entries (could still be zero)

Constructors

DiagM33

Fields

• unDiagM33 :: M33 a

Instances

Show a => Show (DiagM33 a)

Defined in Linear.Matrix.Arbitrary

Methods

showsPrec :: Int -> DiagM33 a -> ShowS

show :: DiagM33 a -> String

showList :: [DiagM33 a] -> ShowS

(Arbitrary a, Num a) => Arbitrary (DiagM33 a)

Defined in Linear.Matrix.Arbitrary

Methods

arbitrary :: Gen (DiagM33 a)

shrink :: DiagM33 a -> [DiagM33 a]

newtype InvertibleM44 a

Constructors

InvertibleM44

Fields

• unInvertibleM44 :: M44 a

Instances

Show a => Show (InvertibleM44 a)

Defined in Linear.Matrix.Arbitrary

Methods

showsPrec :: Int -> InvertibleM44 a -> ShowS

show :: InvertibleM44 a -> String

showList :: [InvertibleM44 a] -> ShowS

(Arbitrary a, Epsilon a, Floating a) => Arbitrary (InvertibleM44 a)

Defined in Linear.Matrix.Arbitrary

Methods

arbitrary :: Gen (InvertibleM44 a)

shrink :: InvertibleM44 a -> [InvertibleM44 a]

newtype AffineM44 a

`Arbitrary AffineM44` instances are affine M44 matrices (i.e. have [0,0,0,1] in last row)

Constructors

AffineM44

Fields

• unAffineM44 :: M44 a

Instances

Show a => Show (AffineM44 a)

Defined in Linear.Matrix.Arbitrary

Methods

showsPrec :: Int -> AffineM44 a -> ShowS

show :: AffineM44 a -> String

showList :: [AffineM44 a] -> ShowS

(Arbitrary a, Num a) => Arbitrary (AffineM44 a)

Defined in Linear.Matrix.Arbitrary

Methods

arbitrary :: Gen (AffineM44 a)

shrink :: AffineM44 a -> [AffineM44 a]

newtype InvertibleAffineM44 a

`Arbitrary InvertibleAffineM44` instances are invertible affine M44 matrices

Constructors

InvertibleAffineM44

Fields

• unInvertibleAffineM44 :: M44 a

Instances

Show a => Show (InvertibleAffineM44 a)

Defined in Linear.Matrix.Arbitrary

Methods

showsPrec :: Int -> InvertibleAffineM44 a -> ShowS

show :: InvertibleAffineM44 a -> String

showList :: [InvertibleAffineM44 a] -> ShowS

(Arbitrary a, Num a) => Arbitrary (InvertibleAffineM44 a)

Defined in Linear.Matrix.Arbitrary

Methods

arbitrary :: Gen (InvertibleAffineM44 a)

shrink :: InvertibleAffineM44 a -> [InvertibleAffineM44 a]