rounded-hw-0.2.0: test/X87LongDoubleSpec.hs

{-# OPTIONS_GHC -Wno-orphans #-}
module X87LongDoubleSpec where
import qualified ConstantsSpec
import           Data.Int
import           Data.Proxy
import qualified FromIntegerSpec
import qualified FromRationalSpec
import qualified IntervalArithmeticSpec
import           Numeric.LongDouble (LongDouble)
import qualified RoundedArithmeticSpec
import qualified ShowFloatSpec
import           System.Random
import           Test.Hspec
import           Test.Hspec.QuickCheck (prop)
import           Test.QuickCheck
import           Util

-- orphan instances
instance Arbitrary LongDouble where
  arbitrary = arbitrarySizedFractional
  shrink = shrinkDecimal

instance Random LongDouble where
  randomR (lo,hi) g = let (x,g') = random g
                      in (lo + x * (hi - lo), g') -- TODO: avoid overflow
  random g = let x :: Int64
                 (x,g') = random g
             in (fromIntegral x / 2^(63 :: Int), g') -- TODO: do better

spec :: Spec
spec = do
  describe "rounded arithmetic"  $ RoundedArithmeticSpec.specT ldProxy
  describe "rounded arithmetic"  $ RoundedArithmeticSpec.verifyImplementation ldProxy ldProxy
  describe "interval arithmetic" $ IntervalArithmeticSpec.verifyImplementation ldProxy
  describe "fromInteger"         $ FromIntegerSpec.specT ldProxy False
  describe "fromRational"        $ FromRationalSpec.specT ldProxy False
  describe "showFloat"           $ ShowFloatSpec.specT ldProxy
  describe "constants"           $ ConstantsSpec.specT ldProxy
  where
    ldProxy :: Proxy LongDouble
    ldProxy = Proxy