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. con_forall :: ConDecl pass -> Bool

   ghc	GHC.Hs.Decls

   True = explicit user-written forall e.g. data T a = forall b. MkT b (b->a) con_ex_tvs = {b} False => con_ex_tvs is empty

2. hs_fords :: HsGroup p -> [LForeignDecl p]

   ghc	GHC.Hs.Decls

   No documentation available.

3. aesBarsBefore :: AnnExplicitSum -> [EpaLocation]

   ghc	GHC.Hs.Expr

   No documentation available.

4. pprTransformStmt :: forall (p :: Pass) . OutputableBndrId p => [IdP (GhcPass p)] -> LHsExpr (GhcPass p) -> Maybe (LHsExpr (GhcPass p)) -> SDoc

   ghc	GHC.Hs.Expr

   No documentation available.

5. sumPatVbarsBefore :: EpAnnSumPat -> [EpaLocation]

   ghc	GHC.Hs.Pat

   No documentation available.

6. type EpAnnForallTy = EpAnn (AddEpAnn, AddEpAnn)

   ghc	GHC.Hs.Type

   No documentation available.

7. HsForAllInvis :: XHsForAllInvis pass -> [LHsTyVarBndr Specificity pass] -> HsForAllTelescope pass

   ghc	GHC.Hs.Type

   An invisible forall (e.g., forall a {b} c. {...}), where each binder has a Specificity.

8. data HsForAllTelescope pass

   ghc	GHC.Hs.Type

   The type variable binders in an HsForAllTy. See also Note [Variable Specificity and Forall Visibility] in GHC.Tc.Gen.HsType.

9. HsForAllTy :: XForAllTy pass -> HsForAllTelescope pass -> LHsType pass -> HsType pass

   ghc	GHC.Hs.Type

   • AnnKeywordId : AnnForall, AnnDot,AnnDarrow For details on above see Note [exact print annotations] in GHC.Parser.Annotation

10. HsForAllVis :: XHsForAllVis pass -> [LHsTyVarBndr () pass] -> HsForAllTelescope pass

    ghc	GHC.Hs.Type

    A visible forall (e.g., forall a -> {...}). These do not have any notion of specificity, so we use () as a placeholder value.

Page 459 of many | Previous | Next