Standard test spec for properties of Show and Read instances for valid values
Example usage:
showReadSpec @Int:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Standard test spec for properties of Show and Read instances for valid values
Example usage:
showReadSpec @IntshowReadSpecOnArbitrary :: (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 [])