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. mkWpForAllCast :: [ForAllTyBinder] -> Type -> HsWrapper

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

   No documentation available.

2. ForAllSkol :: TyVarBndrs -> SkolemInfoAnon

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

   No documentation available.

3. UnifyForAllSkol :: TcType -> SkolemInfoAnon

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

   No documentation available.

4. callStackOriginFS :: CtOrigin -> FastString

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

   No documentation available.

5. isPushCallStackOrigin :: CtOrigin -> Bool

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

   No documentation available.

6. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

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

   No documentation available.

7. data ForAllTyFlag

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

   ForAllTyFlag Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep

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

9. mkForAllTy :: ForAllTyBinder -> Type -> Type

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

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

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

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

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

Page 599 of many | Previous | Next