Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. printForUserTcRn :: SDoc -> TcRn ()

    ghc GHC.Tc.Utils.Monad

    Like logInfoTcRn, but for user consumption

  2. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

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

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

    ghc GHC.Tc.Utils.TcType

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

  6. mkInfForAllTy :: TyVar -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Like mkTyCoInvForAllTy, but tv should be a tyvar

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

    ghc GHC.Tc.Utils.TcType

    Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

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

    ghc GHC.Tc.Utils.TcType

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

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

    ghc GHC.Tc.Utils.TcType

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

  10. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Make a dependent forall over an Inferred variable

Page 489 of many | Previous | Next