Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. 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).
   

3. 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.

4. 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
   

5. rfc822DateFormat :: String

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

   Format string according to RFC822.

6. fforWithKey :: DMap k2 f -> (forall (v :: k1) . () => k2 v -> f v -> g v) -> DMap k2 g

   dependent-map	Data.Dependent.Map

   O(n). fforWithKey == flip mapWithKey except we cannot actually use flip because of the lack of impredicative types.

7. hostPlatformArch :: Arch

   ghc-boot	GHC.Platform.Host

   No documentation available.

8. hostPlatformArchOS :: ArchOS

   ghc-boot	GHC.Platform.Host

   No documentation available.

9. hostPlatformOS :: OS

   ghc-boot	GHC.Platform.Host

   No documentation available.

10. readPackageDbForGhc :: FilePath -> IO [DbUnitInfo]

    ghc-boot	GHC.Unit.Database

    Read the part of the package DB that GHC is interested in.

Page 561 of many | Previous | Next