Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- showReadSpec :: forall a. (Show a, Eq a, Read a, Typeable a, GenValid a) => Spec
- showReadSpecOnArbitrary :: forall a. (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Spec
- showReadSpecOnGen :: forall a. (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec
- showReadRoundTrip :: forall a. (Show a, Eq a, Read a, GenValid a) => Property
- showReadRoundTripOnArbitrary :: forall a. (Show a, Eq a, Read a, Arbitrary a) => Property
- showReadRoundTripOnGen :: (Show a, Eq a, Read a) => Gen a -> (a -> [a]) -> Property
Documentation
showReadSpec :: forall a. (Show a, Eq a, Read a, Typeable a, GenValid a) => Spec Source #
Standard test spec for properties of Show and Read instances for valid values
Example usage:
showReadSpec @Int
showReadSpecOnArbitrary :: forall a. (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Spec Source #
Standard test spec for properties of Show and Read instances for arbitrary values
Example usage:
showReadSpecOnArbitrary @Double
showReadSpecOnGen :: forall a. (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec Source #
Standard 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 :: forall a. (Show a, Eq a, Read a, GenValid a) => Property Source #
showReadRoundTrip @Int