Safe Haskell	None
Language	GHC2021

Test.Tensor.TestValue

Description

Test values

Intended for unqualified import.

Synopsis

data TestValue

Documentation

data TestValue Source #

Test values

Test values are suitable for use in QuickCheck tests involving floating point numbers, if you want to ignore rounding errors.

Instances

Instances details

Arbitrary TestValue Source #	Arbitrary instance The definition of `arbitrary` simply piggy-backs on the definition for `Float`, but in shrinking we avoid generating nearly equal values, and prefer values closer to integral values. Compare: shrink @TestValue 100.1 == [0,50,75,88,94,97] versus shrink @Float 100.1 == [100.0,0.0,50.0,75.0,88.0,94.0,97.0,99.0,0.0,50.1,75.1,87.6,93.9,97.0,98.6,99.4,99.8,100.0]
Instance details Defined in Test.Tensor.TestValue Methods arbitrary :: Gen TestValue # shrink :: TestValue -> [TestValue] #
Enum TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods succ :: TestValue -> TestValue # pred :: TestValue -> TestValue # toEnum :: Int -> TestValue # fromEnum :: TestValue -> Int # enumFrom :: TestValue -> [TestValue] # enumFromThen :: TestValue -> TestValue -> [TestValue] # enumFromTo :: TestValue -> TestValue -> [TestValue] # enumFromThenTo :: TestValue -> TestValue -> TestValue -> [TestValue] #
Floating TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods pi :: TestValue # exp :: TestValue -> TestValue # log :: TestValue -> TestValue # sqrt :: TestValue -> TestValue # (**) :: TestValue -> TestValue -> TestValue # logBase :: TestValue -> TestValue -> TestValue # sin :: TestValue -> TestValue # cos :: TestValue -> TestValue # tan :: TestValue -> TestValue # asin :: TestValue -> TestValue # acos :: TestValue -> TestValue # atan :: TestValue -> TestValue # sinh :: TestValue -> TestValue # cosh :: TestValue -> TestValue # tanh :: TestValue -> TestValue # asinh :: TestValue -> TestValue # acosh :: TestValue -> TestValue # atanh :: TestValue -> TestValue # log1p :: TestValue -> TestValue # expm1 :: TestValue -> TestValue # log1pexp :: TestValue -> TestValue # log1mexp :: TestValue -> TestValue #
RealFloat TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods floatRadix :: TestValue -> Integer # floatDigits :: TestValue -> Int # floatRange :: TestValue -> (Int, Int) # decodeFloat :: TestValue -> (Integer, Int) # encodeFloat :: Integer -> Int -> TestValue # exponent :: TestValue -> Int # significand :: TestValue -> TestValue # scaleFloat :: Int -> TestValue -> TestValue # isNaN :: TestValue -> Bool # isInfinite :: TestValue -> Bool # isDenormalized :: TestValue -> Bool # isNegativeZero :: TestValue -> Bool # isIEEE :: TestValue -> Bool # atan2 :: TestValue -> TestValue -> TestValue #
Num TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods (+) :: TestValue -> TestValue -> TestValue # (-) :: TestValue -> TestValue -> TestValue # (*) :: TestValue -> TestValue -> TestValue # negate :: TestValue -> TestValue # abs :: TestValue -> TestValue # signum :: TestValue -> TestValue # fromInteger :: Integer -> TestValue #
Read TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods readsPrec :: Int -> ReadS TestValue # readList :: ReadS [TestValue] # readPrec :: ReadPrec TestValue # readListPrec :: ReadPrec [TestValue] #
Fractional TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods (/) :: TestValue -> TestValue -> TestValue # recip :: TestValue -> TestValue # fromRational :: Rational -> TestValue #
Real TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods toRational :: TestValue -> Rational #
RealFrac TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods properFraction :: Integral b => TestValue -> (b, TestValue) # truncate :: Integral b => TestValue -> b # round :: Integral b => TestValue -> b # ceiling :: Integral b => TestValue -> b # floor :: Integral b => TestValue -> b #
Show TestValue Source #	Show instance We have more precision available for smaller values, so we show more decimals. However, larger values the show instance does not reflect the precision: `1000` and `1001` are shown as `1000` and `1001`, even though they are considered to be equal. show @TestValue 0 == "0" -- True zero show @TestValue 1 == "1" -- True one show @TestValue 0.001 == "0.00" show @TestValue 0.009 == "0.01" show @TestValue 1.001 == "1.0" show @TestValue 11 == "11"
Instance details Defined in Test.Tensor.TestValue Methods showsPrec :: Int -> TestValue -> ShowS # show :: TestValue -> String # showList :: [TestValue] -> ShowS #
Eq TestValue Source #	Test values are equipped with a crude equality (==) -------------------- 1.0 1.1 False 1.00 1.01 True 10 11 False 10.0 10.1 True 100 110 False 100 101 True
Instance details Defined in Test.Tensor.TestValue Methods (==) :: TestValue -> TestValue -> Bool # (/=) :: TestValue -> TestValue -> Bool #
Ord TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods compare :: TestValue -> TestValue -> Ordering # (<) :: TestValue -> TestValue -> Bool # (<=) :: TestValue -> TestValue -> Bool # (>) :: TestValue -> TestValue -> Bool # (>=) :: TestValue -> TestValue -> Bool # max :: TestValue -> TestValue -> TestValue # min :: TestValue -> TestValue -> TestValue #
Random TestValue Source #
Instance details Defined in Test.Tensor.TestValue Methods randomR :: RandomGen g => (TestValue, TestValue) -> g -> (TestValue, g) # random :: RandomGen g => g -> (TestValue, g) # randomRs :: RandomGen g => (TestValue, TestValue) -> g -> [TestValue] # randoms :: RandomGen g => g -> [TestValue] #