{-# LANGUAGE NoImplicitPrelude #-}

module Parsers.Date where

import Gargantext.Prelude

import Test.Hspec
import Test.QuickCheck
import Parsers.Types

import Data.Either (Either(..))
import Data.Time (ZonedTime(..))
import Data.Text (pack, Text)

import Text.Parsec.Error (ParseError)
import Duckling.Time.Types (toRFC3339)
import Gargantext.Parsers.Date (fromRFC3339)

fromRFC3339Inv ::  Either ParseError ZonedTime -> Text
fromRFC3339Inv (Right z) = toRFC3339 z
fromRFC3339Inv (Left pe) = pack $ show pe

testFromRFC3339 :: IO ()
testFromRFC3339 = hspec $ do
  describe "Test fromRFC3339: " $ do
    it "is the inverse of Duckling's toRFC3339" $ property $
      \x -> (fromRFC3339 . fromRFC3339Inv) x == (x :: Either ParseError ZonedTime)