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. addInertForAll :: QCInst -> TcS ()

    ghc GHC.Tc.Solver.Monad

    No documentation available.

  2. unifyForAllBody :: CtEvidence -> Role -> (UnifyEnv -> TcM a) -> TcS (a, Cts)

    ghc GHC.Tc.Solver.Monad

    No documentation available.

  3. rewriteForErrors :: CtEvidence -> TcType -> TcS (Reduction, RewriterSet)

    ghc GHC.Tc.Solver.Rewrite

    See Note [Rewriting] rewriteForErrors is a variant of rewrite that rewrites w.r.t. nominal equality only, as this is better than full rewriting for error messages. (This was important when we flirted with rewriting newtypes but perhaps less so now.)

  4. getPlatform :: TcRnIf a b Platform

    ghc GHC.Tc.Types

    Get target platform

  5. tcg_fords :: TcGblEnv -> [LForeignDecl GhcTc]

    ghc GHC.Tc.Types

    No documentation available.

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

    ghc GHC.Tc.Types

    Foreign files emitted from TH.

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

    ghc GHC.Tc.Types.Constraint

    The type contains a forall.

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

    ghc GHC.Tc.Types.Evidence

    No documentation available.

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

    ghc GHC.Tc.Types.Origin

    No documentation available.

  10. UnifyForAllSkol :: TcType -> SkolemInfoAnon

    ghc GHC.Tc.Types.Origin

    No documentation available.

Page 488 of many | Previous | Next