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. tcForeignExports' :: [LForeignDecl GhcRn] -> TcM (LHsBinds GhcTc, [LForeignDecl GhcTc], Bag GlobalRdrElt)

    ghc GHC.Tc.Gen.Foreign

    No documentation available.

  2. tcForeignImports :: [LForeignDecl GhcRn] -> TcM ([Id], [LForeignDecl GhcTc], Bag GlobalRdrElt)

    ghc GHC.Tc.Gen.Foreign

    No documentation available.

  3. tcForeignImports' :: [LForeignDecl GhcRn] -> TcM ([Id], [LForeignDecl GhcTc], Bag GlobalRdrElt)

    ghc GHC.Tc.Gen.Foreign

    No documentation available.

  4. checkForDuplicateScopedTyVars :: [(Name, TcTyVar)] -> TcM ()

    ghc GHC.Tc.Gen.HsType

    No documentation available.

  5. getTargetPlatform :: TcPluginM Platform

    ghc GHC.Tc.Plugin

    No documentation available.

  6. addInertForAll :: QCInst -> TcS ()

    ghc GHC.Tc.Solver.Monad

    No documentation available.

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

    ghc GHC.Tc.Solver.Monad

    No documentation available.

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

  9. getPlatform :: TcRnIf a b Platform

    ghc GHC.Tc.Types

    Get target platform

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

    ghc GHC.Tc.Types

    No documentation available.

Page 488 of many | Previous | Next