Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. class ParsedMod m

   ghc	GHC

   No documentation available.

2. data ParsedModule

   ghc	GHC

   The result of successful parsing.

3. ParsedModule :: ModSummary -> ParsedSource -> [FilePath] -> ParsedModule

   ghc	GHC

   No documentation available.

4. type ParsedSource = Located HsModule GhcPs

   ghc	GHC

   No documentation available.

5. data Phase

   ghc	GHC

   Untyped Phase description

6. data PkgQual

   ghc	GHC

   Package-qualifier after renaming Renaming detects if "this" or the unit-id of the home-unit was used as a package qualifier.

7. PprPanic :: String -> SDoc -> GhcException

   ghc	GHC

   No documentation available.

8. PprProgramError :: String -> SDoc -> GhcException

   ghc	GHC

   No documentation available.

9. PprSorry :: String -> SDoc -> GhcException

   ghc	GHC

   No documentation available.

10. type PredType = Type

    ghc	GHC

    A type of the form p of constraint kind represents a value whose type is the Haskell predicate p, where a predicate is what occurs before the => in a Haskell type. We use PredType as documentation to mark those types that we guarantee to have this kind. It can be expanded into its representation, but:

    • The type checker must treat it as opaque
    • The rest of the compiler treats it as transparent
    Consider these examples:

    f :: (Eq a) => a -> Int
    g :: (?x :: Int -> Int) => a -> Int
    h :: (r\l) => {r} => {l::Int | r}
    

    Here the Eq a and ?x :: Int -> Int and rl are all called "predicates"

Page 101 of many | Previous | Next