Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

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

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

   No documentation available.

2. UnifyForAllSkol :: TcType -> SkolemInfoAnon

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

   No documentation available.

3. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

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

   No documentation available.

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

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

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

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

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

7. mkInfForAllTy :: TyVar -> Type -> Type

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

   Like mkTyCoInvForAllTy, but tv should be a tyvar

8. mkInfForAllTys :: [TyVar] -> Type -> Type

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

   Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

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

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

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

10. mkSpecForAllTys :: [TyVar] -> Type -> Type

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

    Like mkForAllTys, but assumes all variables are dependent and Specified, a common case

Page 706 of many | Previous | Next