Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. tcg_th_foreign_files :: TcGblEnv -> TcRef [(ForeignSrcLang, FilePath)]

    ghc GHC.Tc.Types

    Foreign files emitted from TH.

  2. ContainsForall :: ForAllTyBinder -> TcType -> NotConcreteReason

    ghc GHC.Tc.Types.Constraint

    The type contains a forall.

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

    ghc GHC.Tc.Types.Evidence

    No documentation available.

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

    ghc GHC.Tc.Types.Origin

    No documentation available.

  5. UnifyForAllSkol :: TcType -> SkolemInfoAnon

    ghc GHC.Tc.Types.Origin

    No documentation available.

  6. printForUserTcRn :: SDoc -> TcRn ()

    ghc GHC.Tc.Utils.Monad

    Like logInfoTcRn, but for user consumption

  7. ExpForAllPatTy :: ForAllTyBinder -> ExpPatType

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

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

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

    ghc GHC.Tc.Utils.TcType

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

Page 489 of many | Previous | Next