Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

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

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

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

4. rfc822DateFormat :: String

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

   Format string according to RFC822.

5. hostPlatformArch :: Arch

   ghc-boot	GHC.Platform.Host

   No documentation available.

6. hostPlatformArchOS :: ArchOS

   ghc-boot	GHC.Platform.Host

   No documentation available.

7. hostPlatformOS :: OS

   ghc-boot	GHC.Platform.Host

   No documentation available.

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

   ghc-boot	GHC.Unit.Database

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

9. readPackageDbForGhcPkg :: forall pkgs (mode :: DbMode) t . Binary pkgs => FilePath -> DbOpenMode mode t -> IO (pkgs, DbOpenMode mode PackageDbLock)

   ghc-boot	GHC.Unit.Database

   Read the part of the package DB that ghc-pkg is interested in Note that the Binary instance for ghc-pkg's representation of packages is not defined in this package. This is because ghc-pkg uses Cabal types (and Binary instances for these) which this package does not depend on. If we open the package db in read only mode, we get its contents. Otherwise we additionally receive a PackageDbLock that represents a lock on the database, so that we can safely update it later.

10. utf8DecodeForeignPtr :: ForeignPtr Word8 -> Int -> Int -> [Char]

    ghc-boot	GHC.Utils.Encoding.UTF8

    No documentation available.

Page 562 of many | Previous | Next