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. roPlatform :: RuleOpts -> !Platform

   ghc	GHC.Core.Rules.Config

   Target platform

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

   ghc	GHC.Core.Subst

   No documentation available.

3. cmpForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Ordering

   ghc	GHC.Core.TyCo.Compare

   Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

4. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

   ghc	GHC.Core.TyCo.Compare

   Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

5. pprForAll :: [ForAllTyBinder] -> SDoc

   ghc	GHC.Core.TyCo.Ppr

   No documentation available.

6. pprUserForAll :: [ForAllTyBinder] -> SDoc

   ghc	GHC.Core.TyCo.Ppr

   Print a user-level forall; see Note [When to print foralls] in GHC.Iface.Type.

7. SelForAll :: CoSel

   ghc	GHC.Core.TyCo.Rep

   No documentation available.

8. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	GHC.Core.TyCo.Rep

   Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]

9. mkForAllTys :: [ForAllTyBinder] -> Type -> Type

   ghc	GHC.Core.TyCo.Rep

   Wraps foralls over the type using the provided TyCoVars from left to right

10. mkInvisForAllTys :: [InvisTVBinder] -> Type -> Type

    ghc	GHC.Core.TyCo.Rep

    Wraps foralls over the type using the provided InvisTVBinders from left to right

Page 445 of many | Previous | Next