Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. showReadSpec :: forall a (outers :: [Type]) . (Show a, Eq a, Read a, Typeable a, GenValid a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity

   Standard test spec for properties of Show and Read instances for valid values Example usage:

   showReadSpec @Int
   

2. showReadSpecOnArbitrary :: forall a (outers :: [Type]) . (Show a, Eq a, Read a, Typeable a, Arbitrary a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity

   Standard test spec for properties of Show and Read instances for arbitrary values Example usage:

   showReadSpecOnArbitrary @Double
   

3. showReadSpecOnGen :: forall a (outers :: [Type]) . (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity

   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 [])
   

4. showReadRoundTrip :: (Show a, Eq a, Read a, GenValid a) => Property

   genvalidity-sydtest	Test.Syd.Validity.Show

   showReadRoundTrip @Int
   

5. showReadRoundTripOnArbitrary :: (Show a, Eq a, Read a, Arbitrary a) => Property

   genvalidity-sydtest	Test.Syd.Validity.Show

   showReadRoundTripOnArbitrary @Double
   

6. showReadRoundTripOnGen :: (Show a, Eq a, Read a) => Gen a -> (a -> [a]) -> Property

   genvalidity-sydtest	Test.Syd.Validity.Show

   showReadRoundTripOnGen (abs <$> genValid :: Gen Int) (const [])
   

7. showReadSpec :: forall a (outers :: [Type]) . (Show a, Eq a, Read a, Typeable a, GenValid a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Show

   Standard test spec for properties of Show and Read instances for valid values Example usage:

   showReadSpec @Int
   

8. showReadSpecOnArbitrary :: forall a (outers :: [Type]) . (Show a, Eq a, Read a, Typeable a, Arbitrary a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Show

   Standard test spec for properties of Show and Read instances for arbitrary values Example usage:

   showReadSpecOnArbitrary @Double
   

9. showReadSpecOnGen :: forall a (outers :: [Type]) . (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Show

   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 [])
   

10. showEncodingException :: EncodingException -> String

    os-string	System.OsString.Encoding

    No documentation available.

Page 44 of many | Previous | Next