http-date-0.0.2: test/Test.hs

{-# LANGUAGE TemplateHaskell #-}

module Main where

import Control.Monad
import Model
import Network.HTTP.Date
import Test.Framework.Providers.DocTest
import Test.Framework.Providers.HUnit
import Test.Framework.TH.Prime
import Test.HUnit

main :: IO ()
main = $(defaultMainGenerator)

----------------------------------------------------------------

doc_test :: DocTests
doc_test = docTest ["Network/HTTP/Date"] ["-XOverloadedStrings"]

----------------------------------------------------------------

case_formatHTTPDate :: Assertion
case_formatHTTPDate = do
    forM_ [0,100000..10000000000] $ \epochtime -> do
        let m = model epochtime
            o = ours epochtime
        o @?= m
  where
    model = utcToDate . epochTimeToUtcTime
    ours  = formatHTTPDate . epochTimeToHTTPDate

case_parseHTTPDate :: Assertion
case_parseHTTPDate = do
    forM_ [0,100000..10000000000] $ \epochtime -> do
        let m = epochTimeToHTTPDate epochtime
            Just o = parseHTTPDate $ formatHTTPDate m
        o @?= m