Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. hst_xforall :: HsType pass -> XForAllTy pass

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

2. mkHsForAllInvisTele :: forall (p :: Pass) . EpAnnForallInvis -> [LHsTyVarBndr Specificity (GhcPass p)] -> HsForAllTelescope (GhcPass p)

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

3. mkHsForAllVisTele :: forall (p :: Pass) . EpAnnForallVis -> [LHsTyVarBndr () (GhcPass p)] -> HsForAllTelescope (GhcPass p)

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

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

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

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

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

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

   ghc-lib-parser	GHC.Hs.Utils

   No documentation available.

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

   ghc-lib-parser	GHC.Hs.Utils

   No documentation available.

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

    ghc-lib-parser	GHC.Hs.Utils

    No documentation available.

Page 686 of many | Previous | Next