Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property

   QuickCheck	Test.QuickCheck

   Like forAll, but with an explicitly given show function.

2. forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Property

   QuickCheck	Test.QuickCheck

   Like forAllShrink, but with an explicitly given show function.

3. functionShow :: (Show a, Read a) => (a -> c) -> a :-> c

   QuickCheck	Test.QuickCheck

   Provides a Function instance for types with Show and Read.

4. propertyForAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> prop) -> Property

   QuickCheck	Test.QuickCheck

   Optional; used internally in order to improve shrinking. Tests a property but also quantifies over an extra value (with a custom shrink and show function). The Testable instance for functions defines propertyForAllShrinkShow in a way that improves shrinking.

5. coarbitraryShow :: Show a => a -> Gen b -> Gen b

   QuickCheck	Test.QuickCheck.Arbitrary

   coarbitrary helper for lazy people :-).

6. functionShow :: (Show a, Read a) => (a -> c) -> a :-> c

   QuickCheck	Test.QuickCheck.Function

   Provides a Function instance for types with Show and Read.

7. formatShow :: Format t -> t -> String

   time	Data.Time.Format.ISO8601

   Show a value in the format, or error if unrepresentable

8. formatShowM :: Format t -> t -> Maybe String

   time	Data.Time.Format.ISO8601

   Show a value in the format, if representable

9. iso8601Show :: ISO8601 t => t -> String

   time	Data.Time.Format.ISO8601

   Show in the most commonly used ISO 8601 format.

10. formatShowM :: Format t -> t -> Maybe String

    time	Data.Time.Format.Internal

    Show a value in the format, if representable

Page 224 of many | Previous | Next