Linear.V3.Arbitrary

Documentation

newtype UnitV3 a

`Arbitrary UnitV3` always has norm 1

Constructors

UnitV3

Fields

• unUnitV3 :: V3 a

Instances

Show a => Show (UnitV3 a)

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)

Defined in Linear.V3.Arbitrary

Methods

arbitrary :: Gen (UnitV3 a)

shrink :: UnitV3 a -> [UnitV3 a]

newtype CartesianUnitV3 a

`Arbitrary CartesianUnitV3` is a unit vector along cartesian axis

Constructors

CartesianUnitV3

Fields

• unCartesianUnitV3 :: V3 a

Instances

Show a => Show (CartesianUnitV3 a)

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)

Defined in Linear.V3.Arbitrary

Methods

arbitrary :: Gen (CartesianUnitV3 a)

shrink :: CartesianUnitV3 a -> [CartesianUnitV3 a]

newtype BasisV3 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)

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)

Defined in Linear.V3.Arbitrary

Methods

arbitrary :: Gen (BasisV3 a)

shrink :: BasisV3 a -> [BasisV3 a]

Orphan instances

Arbitrary a => Arbitrary (V3 a)

`Arbitrary V3` has no restrictions on components

Methods

arbitrary :: Gen (V3 a)

shrink :: V3 a -> [V3 a]