Standard test spec for properties of Show and Read instances for valid values
Example usage:
showReadSpec @IntModulegenvalidity-sydtest-1.0.1.0Haskell2010
Test.Syd.Validity.Show
Synopsis
- value showReadSpec
- value showReadSpecOnArbitrary
- value showReadSpecOnGen
- value showReadRoundTrip
- value showReadRoundTripOnArbitrary
- value showReadRoundTripOnGen
- Packagegenvalidity-sydtest-1.0.1.0
- Exports6
- LanguageHaskell2010
- LicenceMIT
- SourceShow.hs
value
showReadSpecOnArbitrary :: (Show a, Eq a, Read a, Typeable a, Arbitrary a) => TestDef outers ()Standard test spec for properties of Show and Read instances for arbitrary values
Example usage:
showReadSpecOnArbitrary @DoubleStandard test spec for properties of Show and Read instances for values generated by a custom generator
Example usage:
showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])showReadRoundTrip @IntshowReadRoundTripOnArbitrary @DoubleshowReadRoundTripOnGen (abs <$> genValid :: Gen Int) (const [])