Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. substForAllCoBndrUsingLC :: Bool -> (Coercion -> Coercion) -> LiftingContext -> TyCoVar -> Coercion -> (LiftingContext, TyCoVar, Coercion)

   ghc	GHC.Plugins

   Like substForAllCoBndr, but works on a lifting context

2. substRulesForImportedIds :: Subst -> [CoreRule] -> [CoreRule]

   ghc	GHC.Plugins

   No documentation available.

3. tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])

   ghc	GHC.Plugins

   No documentation available.

4. tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)

   ghc	GHC.Plugins

   No documentation available.

5. tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])

   ghc	GHC.Plugins

   No documentation available.

6. tyConForAllTyFlags :: TyCon -> [Type] -> [ForAllTyFlag]

   ghc	GHC.Plugins

   Given a TyCon and a list of argument types to which the TyCon is applied, determine each argument's visibility (Inferred, Specified, or Required). Wrinkle: consider the following scenario:

   T :: forall k. k -> k
   tyConForAllTyFlags T [forall m. m -> m -> m, S, R, Q]
   

   After substituting, we get

   T (forall m. m -> m -> m) :: (forall m. m -> m -> m) -> forall n. n -> n -> n
   

   Thus, the first argument is invisible, S is visible, R is invisible again, and Q is visible.

7. NoWarnUnusedForalls :: WarnUnusedForalls

   ghc	GHC.Rename.HsType

   No documentation available.

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

9. WarnUnusedForalls :: WarnUnusedForalls

   ghc	GHC.Rename.HsType

   No documentation available.

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

    ghc	GHC.Rename.HsType

    No documentation available.

Page 476 of many | Previous | Next