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.

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

    ghc GHC.Tc.Types.Evidence

    No documentation available.

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

    ghc GHC.Tc.Types.Origin

    No documentation available.

  3. UnifyForAllSkol :: TcType -> SkolemInfoAnon

    ghc GHC.Tc.Types.Origin

    No documentation available.

  4. printForUserTcRn :: SDoc -> TcRn ()

    ghc GHC.Tc.Utils.Monad

    Like logInfoTcRn, but for user consumption

  5. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

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

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

    ghc GHC.Tc.Utils.TcType

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

  9. mkInfForAllTy :: TyVar -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Like mkTyCoInvForAllTy, but tv should be a tyvar

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

    ghc GHC.Tc.Utils.TcType

    Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

Page 490 of many | Previous | Next