Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulehspec-golden-aeson-0.9.0.0Haskell2010

Test.Aeson.Internal.RoundtripSpecs

Internal module, use at your own risk.

Synopsis

value roundtripSpecs
value genericAesonRoundtripWithNote
value genericAesonRoundtripWithNotePlain

Packagehspec-golden-aeson-0.9.0.0
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceRoundtripSpecs.hs

valueroundtripSpecs

:: (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).

valuegenericAesonRoundtripWithNote

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

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

valuegenericAesonRoundtripWithNotePlain

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

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