Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. mkForAllRedn :: ForAllTyFlag -> TyVar -> ReductionN -> Reduction -> Reduction

   ghc-lib-parser	GHC.Core.Reduction

   Create a Reduction associated to a Π type, from a kind Reduction and a body Reduction. Combines mkForAllCo and mkForAllTy.

2. mkHomoForAllRedn :: [TyVarBinder] -> Reduction -> Reduction

   ghc-lib-parser	GHC.Core.Reduction

   Create a Reduction of a quantified type from a Reduction of the body. Combines mkHomoForAllCos and mkForAllTys.

3. pprRulesForUser :: [CoreRule] -> SDoc

   ghc-lib-parser	GHC.Core.Rules

   No documentation available.

4. roPlatform :: RuleOpts -> !Platform

   ghc-lib-parser	GHC.Core.Rules.Config

   Target platform

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

   ghc-lib-parser	GHC.Core.Subst

   No documentation available.

6. cmpForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Ordering

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

7. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

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

8. pprForAll :: [ForAllTyBinder] -> SDoc

   ghc-lib-parser	GHC.Core.TyCo.Ppr

   No documentation available.

9. pprUserForAll :: [ForAllTyBinder] -> SDoc

   ghc-lib-parser	GHC.Core.TyCo.Ppr

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

10. SelForAll :: CoSel

    ghc-lib-parser	GHC.Core.TyCo.Rep

    No documentation available.

Page 672 of many | Previous | Next