@@ -1,5 +1,7 @@
11{-# LANGUAGE OverloadedStrings, RecordWildCards, ScopedTypeVariables #-}
22
3+module Properties (encoderComparisonTests, tests) where
4+
35import Control.Monad (forM)
46import Data.Aeson (eitherDecode)
57import Data.Aeson.Encode
@@ -90,11 +92,6 @@ sameAsV :: (a -> Value) -> (a -> Encoding) -> a -> Property
9092sameAsV toVal toEnc v =
9193 eitherDecode (toLazyByteString (fromEncoding (toEnc v))) === Right (toVal v)
9294
93−main :: IO ()
94−main = do
95− comparisonTest <- encoderComparisonTests
96− defaultMain (comparisonTest : tests)
97−
9895type P6 = Product6 Int Bool String (Approx Double) (Int, Approx Double) ()
9996type S4 = Sum4 Int8 ZonedTime T.Text (Map.Map String Int)
10097