6 import Data.Convertible
12 instance Eq ZonedTime where
14 = zonedTimeToUTC a == zonedTimeToUTC b
18 testData = [ convert (W3CDateTime 2010 (Just 1) (Just 2) Nothing Nothing Nothing Nothing)
20 fromGregorian 2010 1 2
22 , convert (W3CDateTime 2010 (Just 1) (Just 2) (Just 3) (Just 4) (Just 5.666666) (Just utc))
25 zonedTimeToLocalTime = let day = fromGregorian 2010 1 2
26 tod = TimeOfDay 3 4 5.666666
32 , convert (fromGregorian 2010 1 2)
34 W3CDateTime 2010 (Just 1) (Just 2) Nothing Nothing Nothing Nothing
37 zonedTimeToLocalTime = let day = fromGregorian 2010 1 2
38 tod = TimeOfDay 3 4 5.666666
44 W3CDateTime 2010 (Just 1) (Just 2) (Just 3) (Just 4) (Just 5.666666) (Just utc)