{-# OPTIONS -Wall -Werror #-}

module Main where

import Data.Time.Calendar.OrdinalDate
import Data.Time.Calendar.Julian
import Data.Time.Calendar.WeekDate
import Data.Time.Calendar

checkDay :: (Show t) => (Day -> t) -> (t -> Day) -> Day -> IO ()
checkDay encodeDay decodeDay day = do
	let st = encodeDay day
	let day' = decodeDay st
	if day /= day'
	 then putStrLn ((show day) ++ " -> " ++ (show st) ++ " -> " ++ (show day') ++ " (diff " ++ (show (diffDays day' day)) ++ ")")
	 else return ()

checkers :: [Day -> IO ()]
checkers = [
	checkDay toOrdinalDate (\(y,d) -> fromOrdinalDate y d),
	checkDay toWeekDate (\(y,w,d) -> fromWeekDate y w d),
	checkDay toGregorian (\(y,m,d) -> fromGregorian y m d),
	checkDay toJulian (\(y,m,d) -> fromJulian y m d)
	]

days :: [Day]
days = [ModifiedJulianDay 50000 .. ModifiedJulianDay 50200] ++
	(fmap (\year -> (fromGregorian year 1 4)) [1980..2000])

main :: IO ()
main = mapM_ (\ch -> mapM_ ch days) checkers

# OPTIONS -Wall -Werror #

module Main where

import Data.Time.Calendar.OrdinalDate
import Data.Time.Calendar.Julian
import Data.Time.Calendar.WeekDate
import Data.Time.Calendar

checkDay :: (Show t) => (Day -> t) -> (t -> Day) -> Day -> IO ()
checkDay encodeDay decodeDay day = do
	let st = encodeDay day
	let day' = decodeDay st
	if day /= day'
	 then putStrLn ((show day) ++ " -> " ++ (show st) ++ " -> " ++ (show day') ++ " (diff " ++ (show (diffDays day' day)) ++ ")")
	 else return ()

checkers :: [Day -> IO ()]
checkers = [
	checkDay toOrdinalDate (\(y,d) -> fromOrdinalDate y d),
	checkDay toWeekDate (\(y,w,d) -> fromWeekDate y w d),
	checkDay toGregorian (\(y,m,d) -> fromGregorian y m d),
	checkDay toJulian (\(y,m,d) -> fromJulian y m d)
	]

days :: [Day]
days = [ModifiedJulianDay 50000 .. ModifiedJulianDay 50200] ++
	(fmap (\year -> (fromGregorian year 1 4)) [1980..2000])

main :: IO ()
main = mapM_ (\ch -> mapM_ ch days) checkers
