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. HsForAllInvis :: XHsForAllInvis pass -> [LHsTyVarBndr Specificity pass] -> HsForAllTelescope pass

   ghc-lib-parser	GHC.Hs.Type

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

2. data HsForAllTelescope pass

   ghc-lib-parser	GHC.Hs.Type

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

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

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

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

   ghc-lib-parser	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.

5. XHsForAllTelescope :: !XXHsForAllTelescope pass -> HsForAllTelescope pass

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

6. hsForAllTelescopeNames :: forall (p :: Pass) . HsForAllTelescope (GhcPass p) -> [IdP (GhcPass p)]

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

7. hst_xforall :: HsType pass -> XForAllTy pass

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

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

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

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

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

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

Page 688 of many | Previous | Next