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. WildcardBndrInForallTelescope :: BadAnonWildcardContext

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

2. getPlatform :: TcRnIf a b Platform

   ghc-lib-parser	GHC.Tc.Types

   Get target platform

3. tcg_fords :: TcGblEnv -> [LForeignDecl GhcTc]

   ghc-lib-parser	GHC.Tc.Types

   No documentation available.

4. tcg_th_foreign_files :: TcGblEnv -> TcRef [(ForeignSrcLang, FilePath)]

   ghc-lib-parser	GHC.Tc.Types

   Foreign files emitted from TH.

5. ContainsForall :: ForAllTyBinder -> TcType -> NotConcreteReason

   ghc-lib-parser	GHC.Tc.Types.Constraint

   The type contains a forall.

6. mkWpForAllCast :: [ForAllTyBinder] -> Type -> HsWrapper

   ghc-lib-parser	GHC.Tc.Types.Evidence

   No documentation available.

7. InjTFOrigin1 :: PredType -> CtOrigin -> RealSrcSpan -> PredType -> CtOrigin -> RealSrcSpan -> CtOrigin

   ghc-lib-parser	GHC.Tc.Types.Origin

   No documentation available.

8. UnifyForAllSkol :: TcType -> SkolemInfoAnon

   ghc-lib-parser	GHC.Tc.Types.Origin

   No documentation available.

9. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

   ghc-lib-parser	GHC.Tc.Utils.TcType

   No documentation available.

10. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

    ghc-lib-parser	GHC.Tc.Utils.TcType

    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.

Page 708 of many | Previous | Next