Safe Haskell	Safe
Language	Haskell2010

Linear.V3.Arbitrary

Contents

Synopsis

Documentation

`Arbitrary UnitV3` always has norm 1

Constructors

UnitV3
Fields unUnitV3 :: V3 a

Instances

Show a => Show (UnitV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods showsPrec :: Int -> UnitV3 a -> ShowS # show :: UnitV3 a -> String # showList :: [UnitV3 a] -> ShowS #
(Arbitrary a, Epsilon a, Floating a) => Arbitrary (UnitV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods arbitrary :: Gen (UnitV3 a) # shrink :: UnitV3 a -> [UnitV3 a] #

`Arbitrary NonZero` is never the zero vector

Constructors

NonZeroV3
Fields unNonZeroV3 :: V3 a

Instances

Show a => Show (NonZeroV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods showsPrec :: Int -> NonZeroV3 a -> ShowS # show :: NonZeroV3 a -> String # showList :: [NonZeroV3 a] -> ShowS #
(Arbitrary a, Epsilon a, Floating a) => Arbitrary (NonZeroV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods arbitrary :: Gen (NonZeroV3 a) # shrink :: NonZeroV3 a -> [NonZeroV3 a] #

`Arbitrary CartesianUnitV3` is a unit vector along cartesian axis

Constructors

CartesianUnitV3
Fields unCartesianUnitV3 :: V3 a

Instances

Show a => Show (CartesianUnitV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods showsPrec :: Int -> CartesianUnitV3 a -> ShowS # show :: CartesianUnitV3 a -> String # showList :: [CartesianUnitV3 a] -> ShowS #
(Arbitrary a, Epsilon a, Floating a) => Arbitrary (CartesianUnitV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods arbitrary :: Gen (CartesianUnitV3 a) # shrink :: CartesianUnitV3 a -> [CartesianUnitV3 a] #

`Aribtrary BasisV3` is a orthonormal set of vectors

Constructors

BasisV3
Fields unBasisV3 :: (V3 a, V3 a, V3 a)

Instances

Show a => Show (BasisV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods showsPrec :: Int -> BasisV3 a -> ShowS # show :: BasisV3 a -> String # showList :: [BasisV3 a] -> ShowS #
(Arbitrary a, Epsilon a, Floating a) => Arbitrary (BasisV3 a) Source #
Instance details Defined in Linear.V3.Arbitrary Methods arbitrary :: 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 Methods arbitrary :: Gen (V3 a) # shrink :: V3 a -> [V3 a] #