Test.Aeson.Internal.RoundtripSpecs

Internal module, use at your own risk.

Documentation

roundtripSpecs :: forall a. (Typeable a, Arbitrary a, ToJSON a, FromJSON a) => Proxy a -> Spec

A roundtrip test to check whether values of the given type can be successfully converted to JSON and back to a Haskell value.

roundtripSpecs will

• create random values (using Arbitrary),
• convert them into JSON (using ToJSON),
• read them back into Haskell (using FromJSON) and
• make sure that the result is the same as the value it started with (using Eq).

genericAesonRoundtripWithNote :: forall a. (Typeable a, Arbitrary a, ToJSON a, FromJSON a) => Proxy a -> Maybe String -> Spec

Same as roundtripSpecs, but optionally add notes to the describe function.

genericAesonRoundtripWithNotePlain :: forall a. (Arbitrary a, ToJSON a, FromJSON a) => Proxy a -> Maybe String -> String -> Spec

Same as genericAesonRoundtripWithNote, but no need for Typeable, Eq, or Show