linear-tests-0.1.1.0: Linear Algebra

Linear.V3.Arbitrary

Contents

Synopsis

# Documentation

newtype UnitV3 a Source #

Arbitrary UnitV3 always has norm 1

Constructors

 UnitV3 FieldsunUnitV3 :: V3 a
Instances
 Show a => Show (UnitV3 a) Source # Instance detailsDefined in Linear.V3.Arbitrary MethodsshowsPrec :: Int -> UnitV3 a -> ShowS #show :: UnitV3 a -> String #showList :: [UnitV3 a] -> ShowS # (Arbitrary a, Epsilon a, Floating a) => Arbitrary (UnitV3 a) Source # Instance detailsDefined in Linear.V3.Arbitrary Methodsarbitrary :: Gen (UnitV3 a) #shrink :: UnitV3 a -> [UnitV3 a] #

newtype CartesianUnitV3 a Source #

Arbitrary CartesianUnitV3 is a unit vector along cartesian axis

Constructors

 CartesianUnitV3 FieldsunCartesianUnitV3 :: V3 a
Instances
 Show a => Show (CartesianUnitV3 a) Source # Instance detailsDefined in Linear.V3.Arbitrary MethodsshowList :: [CartesianUnitV3 a] -> ShowS # (Arbitrary a, Epsilon a, Floating a) => Arbitrary (CartesianUnitV3 a) Source # Instance detailsDefined in Linear.V3.Arbitrary Methodsshrink :: CartesianUnitV3 a -> [CartesianUnitV3 a] #

newtype BasisV3 a Source #

Aribtrary BasisV3 is a orthonormal set of vectors

Constructors

 BasisV3 FieldsunBasisV3 :: (V3 a, V3 a, V3 a)
Instances
 Show a => Show (BasisV3 a) Source # Instance detailsDefined in Linear.V3.Arbitrary MethodsshowsPrec :: Int -> BasisV3 a -> ShowS #show :: BasisV3 a -> String #showList :: [BasisV3 a] -> ShowS # (Arbitrary a, Epsilon a, Floating a) => Arbitrary (BasisV3 a) Source # Instance detailsDefined in Linear.V3.Arbitrary Methodsarbitrary :: Gen (BasisV3 a) #shrink :: BasisV3 a -> [BasisV3 a] #

# Orphan instances

 Arbitrary a => Arbitrary (V3 a) Source # Arbitrary V3 has no restrictions on components Instance details Methodsarbitrary :: Gen (V3 a) #shrink :: V3 a -> [V3 a] #