module Test.Aeson.Internal.ADT.RoundtripSpecs where
import Control.Arrow
import qualified Data.Aeson as Aeson
import Data.Aeson as Aeson hiding (encode)
import Data.Typeable
import Test.Aeson.Internal.Utils
import Test.Hspec
import Test.QuickCheck
import Test.QuickCheck.Arbitrary.ADT
import Control.Monad
roundtripADTSpecs :: forall a.
(ToADTArbitrary a, Eq a, Show a, Arbitrary a, ToJSON a, FromJSON a)
=> Proxy a
-> Spec
roundtripADTSpecs proxy = genericAesonRoundtripADTWithNote proxy Nothing
genericAesonRoundtripADTWithNote :: forall a.
(ToADTArbitrary a, Eq a, Show a, Arbitrary a, ToJSON a, FromJSON a)
=> Proxy a
-> Maybe String
-> Spec
genericAesonRoundtripADTWithNote _ mNote = do
adt <- runIO $ generate (toADTArbitrary (Proxy :: Proxy a))
describe ("JSON encoding of " ++ addBrackets (adtTypeName adt) ++ note) $
it "allows to encode values with aeson and read them back" $
forM_ (adtCAPs adt) $ \cap ->
(Aeson.encode >>> aesonDecodeIO) (capArbitrary cap) `shouldReturn` capArbitrary cap
where
note = maybe "" (" " ++) mNote