time-1.12.2: test/main/Test/LocalTime/TimeOfDay.hs

module Test.LocalTime.TimeOfDay (
    testTimeOfDay,
) where

import Data.Time.LocalTime
import Test.Arbitrary ()
import Test.Tasty
import Test.Tasty.QuickCheck hiding (reason)

testTimeOfDay :: TestTree
testTimeOfDay =
    testGroup
        "TimeOfDay"
        [ testProperty "daysAndTimeOfDayToTime . timeToDaysAndTimeOfDay" $ \ndt -> let
            (d, tod) = timeToDaysAndTimeOfDay ndt
            ndt' = daysAndTimeOfDayToTime d tod
            in ndt' == ndt
        , testProperty "timeOfDayToTime . timeToTimeOfDay" $ \dt -> let
            tod = timeToTimeOfDay dt
            dt' = timeOfDayToTime tod
            in dt' == dt
        ]