linear-tests-0.1.2.0: Linear Algebra

Safe HaskellSafe
LanguageHaskell2010

Linear.V3.Arbitrary

Contents

Synopsis

Documentation

newtype UnitV3 a Source #

`Arbitrary UnitV3` always has norm 1

Constructors

UnitV3 

Fields

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] #

newtype NonZeroV3 a Source #

`Arbitrary NonZero` is never the zero vector

Constructors

NonZeroV3 

Fields

Instances
Show a => Show (NonZeroV3 a) Source # 
Instance details

Defined in Linear.V3.Arbitrary

(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] #

newtype CartesianUnitV3 a Source #

`Arbitrary CartesianUnitV3` is a unit vector along cartesian axis

Constructors

CartesianUnitV3 

Fields

Instances
Show a => Show (CartesianUnitV3 a) Source # 
Instance details

Defined in Linear.V3.Arbitrary

(Arbitrary a, Epsilon a, Floating a) => Arbitrary (CartesianUnitV3 a) Source # 
Instance details

Defined in Linear.V3.Arbitrary

newtype BasisV3 a Source #

`Aribtrary BasisV3` is a orthonormal set of vectors

Constructors

BasisV3 

Fields

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] #