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. pprHsForAll :: forall (p :: Pass) . OutputableBndrId p => HsForAllTelescope (GhcPass p) -> Maybe (LHsContext (GhcPass p)) -> SDoc

   ghc	GHC.Hs.Type

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

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

   ghc	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").

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

   ghc	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").

4. hsForeignDeclsBinders :: forall (p :: Pass) a . (UnXRec (GhcPass p), IsSrcSpanAnn p a) => [LForeignDecl (GhcPass p)] -> [LIdP (GhcPass p)]

   ghc	GHC.Hs.Utils

   See Note [SrcSpan for binders]

5. hsTyClForeignBinders :: [TyClGroup GhcRn] -> [LForeignDecl GhcRn] -> [Name]

   ghc	GHC.Hs.Utils

   No documentation available.

6. mkTransformByStmt :: [AddEpAnn] -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> LHsExpr GhcPs -> StmtLR GhcPs GhcPs (LHsExpr GhcPs)

   ghc	GHC.Hs.Utils

   No documentation available.

7. mkTransformStmt :: [AddEpAnn] -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> StmtLR GhcPs GhcPs (LHsExpr GhcPs)

   ghc	GHC.Hs.Utils

   No documentation available.

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

   ghc	GHC.HsToCore.Errors.Types

   No documentation available.

9. DsUselessSpecialiseForClassMethodSelector :: Id -> DsMessage

   ghc	GHC.HsToCore.Errors.Types

   No documentation available.

10. DsUselessSpecialiseForNoInlineFunction :: Id -> DsMessage

    ghc	GHC.HsToCore.Errors.Types

    No documentation available.

Page 460 of many | Previous | Next