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

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

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

   ghc-lib-parser	GHC.Hs.Utils

   See Note [SrcSpan for binders]

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

   ghc-lib-parser	GHC.Hs.Utils

   No documentation available.

5. mkTransformByStmt :: AnnTransStmt -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> LHsExpr GhcPs -> StmtLR GhcPs GhcPs (LHsExpr GhcPs)

   ghc-lib-parser	GHC.Hs.Utils

   No documentation available.

6. mkTransformStmt :: AnnTransStmt -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> StmtLR GhcPs GhcPs (LHsExpr GhcPs)

   ghc-lib-parser	GHC.Hs.Utils

   No documentation available.

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

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

   No documentation available.

8. DsUselessSpecialiseForClassMethodSelector :: Id -> DsMessage

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

   No documentation available.

9. DsUselessSpecialiseForNoInlineFunction :: Id -> DsMessage

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

   No documentation available.

10. ThExoticFormOfType :: !HsType GhcRn -> ThRejectionReason

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

    No documentation available.

Page 689 of many | Previous | Next