Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. checkResultFor :: Testable a => Int -> a -> IO Bool

   leancheck	Test.LeanCheck

   Check a property for a given number of tests printing results on stdout and returning True on success.

   > checkResultFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int])
   +++ OK, passed 1000 tests.
   True
   

   There is no option to silence this function: for silence, you should use holds.

2. checkFor :: Testable a => Int -> a -> IO ()

   leancheck	Test.LeanCheck.Error

   Check a property for a given number of tests printing results on stdout

   > checkFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int])
   +++ OK, passed 1000 tests.
   

   Test exhaustion is reported when the configured number of tests is larger than the number of available test values:

   > checkFor 3 $ \p -> p == not (not p)
   +++ OK, passed 2 tests (exhausted).
   

3. checkResultFor :: Testable a => Int -> a -> IO Bool

   leancheck	Test.LeanCheck.Error

   Check a property for a given number of tests printing results on stdout and returning True on success.

   > checkResultFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int])
   +++ OK, passed 1000 tests.
   True
   

   There is no option to silence this function: for silence, you should use holds.

4. areEqualFor :: (Listable a, Eq b) => Int -> (a -> b) -> (a -> b) -> Bool

   leancheck	Test.LeanCheck.Function.List

   This function can be used to define an Eq instance for functions based on testing and equality of returned values, like so:

   instance (Listable a, Eq b) => Eq (a -> b) where
   (==)  =  areEqualFor 12
   

   This catches errors and undefined values and treats them as equal.

5. compareFor :: (Listable a, Ord b) => Int -> (a -> b) -> (a -> b) -> Ordering

   leancheck	Test.LeanCheck.Function.List

   This function can be used to define an Ord instance for functions based on testing and ordering of returned values, like so:

   instance (Listable a, Ord b) => Ord (a -> b) where
   compare  =  compareFor 12
   

   This catches errors and undefined values and treats them as equal.

6. checkFor :: Testable a => Int -> a -> IO ()

   leancheck	Test.LeanCheck.IO

   Check a property for a given number of tests printing results on stdout

   > checkFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int])
   +++ OK, passed 1000 tests.
   

   Test exhaustion is reported when the configured number of tests is larger than the number of available test values:

   > checkFor 3 $ \p -> p == not (not p)
   +++ OK, passed 2 tests (exhausted).
   

7. checkResultFor :: Testable a => Int -> a -> IO Bool

   leancheck	Test.LeanCheck.IO

   Check a property for a given number of tests printing results on stdout and returning True on success.

   > checkResultFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int])
   +++ OK, passed 1000 tests.
   True
   

   There is no option to silence this function: for silence, you should use holds.

8. iso8601DateFormat :: Maybe String -> String

   time-locale-compat	Data.Time.Locale.Compat

   Construct format string according to ISO-8601. The Maybe String argument allows to supply an optional time specification. E.g.:

   iso8601DateFormat Nothing            == "%Y-%m-%d"           -- i.e. YYYY-MM-DD
   iso8601DateFormat (Just "%H:%M:%S")  == "%Y-%m-%dT%H:%M:%S"  -- i.e. YYYY-MM-DDTHH:MM:SS
   

9. rfc822DateFormat :: String

   time-locale-compat	Data.Time.Locale.Compat

   Format string according to RFC822.

10. AnotherZlibCompressorFormat :: Int -> ZlibCompressorFormat

    gi-gio	GI.Gio.Enums

    Catch-all for unknown values

Page 443 of many | Previous | Next