Hoogle Search

Within LTS Haskell 24.45 (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	GHC.Tc.Types.Origin

   No documentation available.

2. UnifyForAllSkol :: TcType -> SkolemInfoAnon

   ghc	GHC.Tc.Types.Origin

   No documentation available.

3. printForUserTcRn :: SDoc -> TcRn ()

   ghc	GHC.Tc.Utils.Monad

   Like logInfoTcRn, but for user consumption

4. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

5. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

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

6. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	GHC.Tc.Utils.TcType

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

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

   ghc	GHC.Tc.Utils.TcType

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

8. mkInfForAllTy :: TyVar -> Type -> Type

   ghc	GHC.Tc.Utils.TcType

   Like mkTyCoInvForAllTy, but tv should be a tyvar

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

   ghc	GHC.Tc.Utils.TcType

   Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

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

    ghc	GHC.Tc.Utils.TcType

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

Page 490 of many | Previous | Next