time-1.16.0.1: 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
        ]