-- |
-- Module      : Main
-- Copyright   : (c) Justus Sagemüller 2017
-- License     : GPL v3
-- 
-- Maintainer  : (@) sagemueller $ geo.uni-koeln.de
-- Stability   : experimental
-- Portability : portable
-- 

module Main where

import Numeric.Literals.Decimal

import Test.Tasty
import Test.Tasty.HUnit



main = defaultMain tests


reshowTest :: FractionalLit -> String -> TestTree
reshowTest n str = reshowTestCase str n str

reshowTestCase :: String -> FractionalLit -> String -> TestTree
reshowTestCase info n str = testCase info $ show n @?= str

scientificTest :: FractionalLit -> ((Int, String), Int) -> TestTree
scientificTest l ((pc,ac),e) = testCase (show pc++'.':ac++"×10^"++show e) $ case l of
       Scientific pc' ac' e' | pc'==pc && ac==(show=<<ac') && e'==e
                                 -> return ()
                             | otherwise
                                 -> assertFailure $ "Got "++show pc'++'.':(show=<<ac')
                                                       ++ "×10^"++show e'
       _ -> assertFailure "Got exact fraction"
       

tests :: TestTree
tests = testGroup "Tests"
  [ testGroup "Re-showing literals"
     [ reshowTest                  4 "4"
     , reshowTest             142125 "142125"
     , reshowTest            125.278 "125.278"
     , reshowTest                0.2 "0.2"
     , reshowTest               0.04 "0.04"
     , reshowTest              0.008 "8e-3"
     , reshowTest              1e-52 "1e-52"
     , reshowTest             3.11e9 "3.11e9"
     , reshowTest    1.167925373e-12 "1.167925373e-12"
     , reshowTest              0.254 "0.254"
     , reshowTest (-1.167925373e-12) "-1.167925373e-12"
     , reshowTest          (-142125) "-142125"
     ]
  , testGroup "Simple arithmetic"
     [ reshowTestCase "37 + 15" (37 + 15) "52"
     , reshowTestCase "37 + 15.8" (37 + 15.8) "52.8"
     , reshowTestCase "37.1 + 15.8" (37.1 + 15.8) "52.9"
     , reshowTestCase "3.11e-13 + 15" (3.11e-13 + 15) "15.000000000000311"
     , reshowTestCase "3.11e9 + 15"  -- the 15 is insignificant here!
                                    (3.11e9 + 15) "3.11e9"
     , reshowTestCase "3.11e6 + 15"  -- it's insignificant here too, but we'd still rather
                                     -- not discard it when showing the zeroes anyway.
                                    (3.11e6 + 15)--3110015
                                                  "3110000"
     , reshowTestCase "37 * 15" (37 * 15) "555"
     , reshowTestCase "37 * 15.8" (37 * 15.8) "584.6"
     , reshowTestCase "37.1 * 15.8" (37.1 * 15.8) "586.18"
     , reshowTestCase "3.11e-13 * 15" (3.11e-13 * 15) "4.665e-12"
     , reshowTestCase "3.11e9 * 15" (3.11e9 * 15) "4.665e10"
     , reshowTestCase "abs $ -1.167925373e-12" (abs $ -1.167925373e-12) "1.167925373e-12"
     , reshowTestCase "abs $ -142125" (abs $ -142125) "142125"
     , reshowTestCase "37 / 15" (37 / 15) "37/15"
     , reshowTestCase "37 / 15.8" (37 / 15.8) "2.34"
     , reshowTestCase "37.1 / 15.8" (37.1 / 15.8) "2.348"
     , reshowTestCase "3.11e-13 / 15" (3.11e-13 / 15) "2.1e-14"
     , reshowTestCase "3.11e9 / 15" (3.11e9 / 15) "2.1e8"
     ]
  , testGroup "Scientific deconstruction"
     [ scientificTest 0.2537 ((0,"2537"),0)
     , scientificTest 1.12e-17 ((1,"12"),-17)
     , scientificTest 1.12e17 ((1,"12"),17)
     , scientificTest 12.412 ((12,"412"),0)
     , scientificTest (-12.4) ((-12,"4"),0)
     , scientificTest 2.483e-4 ((2,"483"),-4)
     , scientificTest 12.483e-4 ((1,"2483"),-3)
     , scientificTest 257.35e7 ((2,"5735"),9)
     ]
  ]