Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype InvertibleM33 a = InvertibleM33 {
- unInvertibleM33 :: M33 a
- newtype DiagM33 a = DiagM33 {}
- newtype InvertibleM44 a = InvertibleM44 {
- unInvertibleM44 :: M44 a
- newtype AffineM44 a = AffineM44 {
- unAffineM44 :: M44 a
- newtype InvertibleAffineM44 a = InvertibleAffineM44 {
- unInvertibleAffineM44 :: M44 a
Documentation
newtype InvertibleM33 a Source #
`Arbitrary InvertibleM33` instances are always invertible
Instances
Show a => Show (InvertibleM33 a) Source # | |
Defined in Linear.Matrix.Arbitrary showsPrec :: Int -> InvertibleM33 a -> ShowS # show :: InvertibleM33 a -> String # showList :: [InvertibleM33 a] -> ShowS # | |
(Arbitrary a, Epsilon a, Floating a) => Arbitrary (InvertibleM33 a) Source # | |
Defined in Linear.Matrix.Arbitrary arbitrary :: Gen (InvertibleM33 a) # shrink :: InvertibleM33 a -> [InvertibleM33 a] # |
`Arbitrary DiagM33` instances only have non-zero diagonal entries (could still be zero)
newtype InvertibleM44 a Source #
Instances
Show a => Show (InvertibleM44 a) Source # | |
Defined in Linear.Matrix.Arbitrary showsPrec :: Int -> InvertibleM44 a -> ShowS # show :: InvertibleM44 a -> String # showList :: [InvertibleM44 a] -> ShowS # | |
(Arbitrary a, Epsilon a, Floating a) => Arbitrary (InvertibleM44 a) Source # | |
Defined in Linear.Matrix.Arbitrary arbitrary :: Gen (InvertibleM44 a) # shrink :: InvertibleM44 a -> [InvertibleM44 a] # |
`Arbitrary AffineM44` instances are affine M44 matrices (i.e. have [0,0,0,1] in last row)
AffineM44 | |
|
newtype InvertibleAffineM44 a Source #
`Arbitrary InvertibleAffineM44` instances are invertible affine M44 matrices
Instances
Show a => Show (InvertibleAffineM44 a) Source # | |
Defined in Linear.Matrix.Arbitrary showsPrec :: Int -> InvertibleAffineM44 a -> ShowS # show :: InvertibleAffineM44 a -> String # showList :: [InvertibleAffineM44 a] -> ShowS # | |
(Arbitrary a, Num a) => Arbitrary (InvertibleAffineM44 a) Source # | |
Defined in Linear.Matrix.Arbitrary arbitrary :: Gen (InvertibleAffineM44 a) # shrink :: InvertibleAffineM44 a -> [InvertibleAffineM44 a] # |