Standard test spec for properties of JSON-related functions for valid values
Example usage:
jsonSpec @IntModulegenvalidity-sydtest-aeson-1.0.0.1Haskell2010
Test.Syd.Validity.Aeson
Standard test Specs and raw Propertys for FromJSON and ToJSON instances.
You will need TypeApplications to use these.
- 5 values
- Packagegenvalidity-sydtest-aeson-1.0.0.1
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceAeson.hs
value
jsonSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, FromJSON a, ToJSON a) => TestDef outers ()Standard test spec for properties of JSON-related functions for arbitrary values
Example usage:
jsonSpecOnArbitrary @IntStandard test spec for properties of JSON-related functions for a given generator (and a name for that generator).
Example usage:
jsonSpecOnGen (genListOf $ pure 'a') "sequence of 'a's"neverFailsToEncodeOnGen @Bool arbitrary shrinkneverFailsToEncodeOnGen @Bool genValid shrinkValidneverFailsToEncodeOnGen @Bool genValid shrinkValidneverFailsToEncodeOnGen @Int arbitrary shrinkneverFailsToEncodeOnGen @Int genValid shrinkValidneverFailsToEncodeOnGen @Int genValid shrinkValidencodeAndDecodeAreInversesOnGen @Bool arbitrary shrinkencodeAndDecodeAreInversesOnGen @Bool genValid shrinkValidencodeAndDecodeAreInversesOnGen @Bool genValid shrinkValidencodeAndDecodeAreInversesOnGen @Int arbitrary shrinkencodeAndDecodeAreInversesOnGen @Int genValid shrinkValidencodeAndDecodeAreInversesOnGen @Int genValid shrinkValid