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. mkHsForAllVisTele :: forall (p :: Pass) . EpAnnForallVis -> [LHsTyVarBndr () (GhcPass p)] -> HsForAllTelescope (GhcPass p)

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

2. pprHsForAll :: forall (p :: Pass) . OutputableBndrId p => HsForAllTelescope (GhcPass p) -> Maybe (LHsContext (GhcPass p)) -> SDoc

   ghc-lib-parser	GHC.Hs.Type

   Prints a forall; When passed an empty list, prints forall ./forall -> only when -dppr-debug is enabled.

3. splitLHsForAllTyInvis :: forall (pass :: Pass) . LHsType (GhcPass pass) -> ([LHsTyVarBndr Specificity (GhcPass pass)], LHsType (GhcPass pass))

   ghc-lib-parser	GHC.Hs.Type

   Decompose a type of the form forall tvs. body into its constituent parts. Only splits type variable binders that were quantified invisibly (e.g., forall a., with a dot). This function is used to split apart certain types, such as instance declaration types, which disallow visible foralls. For instance, if GHC split apart the forall in instance forall a -> Show (Blah a), then that declaration would mistakenly be accepted! Note that this function looks through parentheses, so it will work on types such as (forall a. ...). The downside to this is that it is not generally possible to take the returned types and reconstruct the original type (parentheses and all) from them. Unlike splitLHsSigmaTyInvis, this function does not look through parentheses, hence the suffix _KP (short for "Keep Parentheses").

4. splitLHsForAllTyInvis_KP :: forall (pass :: Pass) . LHsType (GhcPass pass) -> (Maybe [LHsTyVarBndr Specificity (GhcPass pass)], LHsType (GhcPass pass))

   ghc-lib-parser	GHC.Hs.Type

   Decompose a type of the form forall tvs. body into its constituent parts. Only splits type variable binders that were quantified invisibly (e.g., forall a., with a dot). This function is used to split apart certain types, such as instance declaration types, which disallow visible foralls. For instance, if GHC split apart the forall in instance forall a -> Show (Blah a), then that declaration would mistakenly be accepted! Unlike splitLHsForAllTyInvis, this function does not look through parentheses, hence the suffix _KP (short for "Keep Parentheses").

5. DsRecBindsNotAllowedForUnliftedTys :: [LHsBindLR GhcTc GhcTc] -> DsMessage

   ghc-lib-parser	GHC.HsToCore.Errors.Types

   No documentation available.

6. DsTopLevelBindsNotAllowed :: BindsType -> !HsBindLR GhcTc GhcTc -> DsMessage

   ghc-lib-parser	GHC.HsToCore.Errors.Types

   No documentation available.

7. data CantFindInstalled

   ghc-lib-parser	GHC.Iface.Errors.Types

   No documentation available.

8. CantFindInstalled :: ModuleName -> CantFindInstalledReason -> CantFindInstalled

   ghc-lib-parser	GHC.Iface.Errors.Types

   No documentation available.

9. data CantFindInstalledReason

   ghc-lib-parser	GHC.Iface.Errors.Types

   No documentation available.

10. putNameLiterally :: WriteBinHandle -> Name -> IO ()

    ghc-lib-parser	GHC.Iface.Recomp.Binary

    Used when we want to fingerprint a structure without depending on the fingerprints of external Names that it refers to.

Page 582 of many | Previous | Next