Linear.V4.Arbitrary

Documentation

newtype UnitV4 a

`Arbitrary UnitV4` always has norm 1

Constructors

UnitV4

Fields

• unUnitV4 :: V4 a

Instances

Show a => Show (UnitV4 a)

Defined in Linear.V4.Arbitrary

Methods

showsPrec :: Int -> UnitV4 a -> ShowS

show :: UnitV4 a -> String

showList :: [UnitV4 a] -> ShowS

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

Defined in Linear.V4.Arbitrary

Methods

arbitrary :: Gen (UnitV4 a)

shrink :: UnitV4 a -> [UnitV4 a]

newtype NonZeroV4 a

`Arbitrary NonZero` is never the zero vector

Constructors

NonZeroV4

Fields

• unNonZeroV4 :: V4 a

Instances

Show a => Show (NonZeroV4 a)

Defined in Linear.V4.Arbitrary

Methods

showsPrec :: Int -> NonZeroV4 a -> ShowS

show :: NonZeroV4 a -> String

showList :: [NonZeroV4 a] -> ShowS

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

Defined in Linear.V4.Arbitrary

Methods

arbitrary :: Gen (NonZeroV4 a)

shrink :: NonZeroV4 a -> [NonZeroV4 a]

Orphan instances

Arbitrary a => Arbitrary (V4 a)

`Arbitrary V4` has no restrictions on components

Methods

arbitrary :: Gen (V4 a)

shrink :: V4 a -> [V4 a]