TAI.hs

module Test.Clock.TAI
    ( testTAI
    ) where

import Data.Time
import Data.Time.Clock.TAI
import Test.Tasty
import Test.Tasty.HUnit
import Test.TestUtil

sampleLeapSecondMap :: LeapSecondMap
sampleLeapSecondMap d
    | d < fromGregorian 1972 1 1 = Nothing
sampleLeapSecondMap d
    | d < fromGregorian 1972 7 1 = Just 10
sampleLeapSecondMap d
    | d < fromGregorian 1975 1 1 = Just 11
sampleLeapSecondMap _ = Nothing

testTAI :: TestTree
testTAI =
    testGroup "leap second transition" $ let
        dayA = fromGregorian 1972 6 30
        dayB = fromGregorian 1972 7 1
        utcTime1 = UTCTime dayA 86399
        utcTime2 = UTCTime dayA 86400
        utcTime3 = UTCTime dayB 0
        mAbsTime1 = utcToTAITime sampleLeapSecondMap utcTime1
        mAbsTime2 = utcToTAITime sampleLeapSecondMap utcTime2
        mAbsTime3 = utcToTAITime sampleLeapSecondMap utcTime3
        in [ testCase "mapping" $ do
                 assertEqual "dayA" (Just 10) $ sampleLeapSecondMap dayA
                 assertEqual "dayB" (Just 11) $ sampleLeapSecondMap dayB
           , testCase "day length" $ do
                 assertEqual "dayA" (Just 86401) $ utcDayLength sampleLeapSecondMap dayA
                 assertEqual "dayB" (Just 86400) $ utcDayLength sampleLeapSecondMap dayB
           , testCase "differences" $ do
                 absTime1 <- assertJust mAbsTime1
                 absTime2 <- assertJust mAbsTime2
                 absTime3 <- assertJust mAbsTime3
                 assertEqual "absTime2 - absTime1" 1 $ diffAbsoluteTime absTime2 absTime1
                 assertEqual "absTime3 - absTime2" 1 $ diffAbsoluteTime absTime3 absTime2
           , testGroup
                 "round-trip"
                 [ testCase "1" $ do
                       absTime <- assertJust mAbsTime1
                       utcTime <- assertJust $ taiToUTCTime sampleLeapSecondMap absTime
                       assertEqual "round-trip" utcTime1 utcTime
                 , testCase "2" $ do
                       absTime <- assertJust mAbsTime2
                       utcTime <- assertJust $ taiToUTCTime sampleLeapSecondMap absTime
                       assertEqual "round-trip" utcTime2 utcTime
                 , testCase "3" $ do
                       absTime <- assertJust mAbsTime3
                       utcTime <- assertJust $ taiToUTCTime sampleLeapSecondMap absTime
                       assertEqual "round-trip" utcTime3 utcTime
                 ]
           ]