Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. zapIdTailCallInfo :: Id -> Id

   ghc	GHC.Plugins

   No documentation available.

2. NoWarnUnusedForalls :: WarnUnusedForalls

   ghc	GHC.Rename.HsType

   No documentation available.

3. data WarnUnusedForalls

   ghc	GHC.Rename.HsType

   Should GHC warn if a quantified type variable goes unused? Usually, the answer is "yes", but in the particular case of binding LHsQTyVars, we avoid emitting warnings. See Note [Suppress -Wunused-foralls when binding LHsQTyVars].

4. WarnUnusedForalls :: WarnUnusedForalls

   ghc	GHC.Rename.HsType

   No documentation available.

5. bindHsForAllTelescope :: HsDocContext -> HsForAllTelescope GhcPs -> (HsForAllTelescope GhcRn -> RnM (a, FreeVars)) -> RnM (a, FreeVars)

   ghc	GHC.Rename.HsType

   No documentation available.

6. addNoNestedForallsContextsErr :: HsDocContext -> NestedForallsContextsIn -> LHsType GhcRn -> RnM ()

   ghc	GHC.Rename.Utils

   A common way to invoke noNestedForallsContextsErr.

7. genHsIntegralLit :: NoAnn an => IntegralLit -> LocatedAn an (HsExpr GhcRn)

   ghc	GHC.Rename.Utils

   No documentation available.

8. noNestedForallsContextsErr :: NestedForallsContextsIn -> LHsType GhcRn -> Maybe (SrcSpan, TcRnMessage)

   ghc	GHC.Rename.Utils

   Examines a non-outermost type for foralls or contexts, which are assumed to be nested. For example, in the following declaration:

   instance forall a. forall b. C (Either a b)
   

   The outermost forall a is fine, but the nested forall b is not. We invoke noNestedForallsContextsErr on the type forall b. C (Either a b) to catch the nested forall and create a suitable error message. noNestedForallsContextsErr returns Just err_msg if such a forall or context is found, and returns Nothing otherwise. This is currently used in the following places:
   • In GADT constructor types (in rnConDecl). See Note [GADT abstract syntax] (Wrinkle: No nested foralls or contexts) in GHC.Hs.Type.
   • In instance declaration types (in rnClsIntDecl and rnSrcDerivDecl in GHC.Rename.Module and renameSig in GHC.Rename.Bind). See Note [No nested foralls or contexts in instance types] in GHC.Hs.Type.

9. abandonAll :: GhcMonad m => m Bool

   ghc	GHC.Runtime.Eval

   No documentation available.

10. execAllocation :: ExecResult -> Word64

    ghc	GHC.Runtime.Eval

    No documentation available.

Page 299 of many | Previous | Next