module Test.Aeson.Internal.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
roundtripSpecs :: forall a .
(Typeable a, Eq a, Show a, Arbitrary a, ToJSON a, FromJSON a) =>
Proxy a -> Spec
roundtripSpecs proxy = genericAesonRoundtripWithNote proxy Nothing
genericAesonRoundtripWithNote :: forall a .
(Typeable a, Eq a, Show a, Arbitrary a, ToJSON a, FromJSON a) =>
Proxy a -> Maybe String -> Spec
genericAesonRoundtripWithNote proxy mNote = do
let note = maybe "" (" " ++) mNote
describe ("JSON encoding of " ++ addBrackets (show (typeRep proxy)) ++ note) $
it "allows to encode values with aeson and read them back" $ shouldBeIdentity proxy $
Aeson.encode >>> aesonDecodeIO