import           Data.Roman
import           Test.Hspec
import           Test.QuickCheck



main :: IO ()
main = hspec $ do
   describe "Data.Roman" $ do
    it "fromInteger to Roman and back gives same Result" $
      property $
        \ x -> fromRoman (fromInteger x :: RomanNumeral) == (x :: Integer)
            || fromRoman (fromInteger (negate x) :: RomanNumeral)
            == (negate x :: Integer)
    it "works with unconventional romans like XIIX -> 18" $ do
      fromRoman ([X, I, I, X] :: RomanList) `shouldBe` 18