Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. checkOriginativeSideConditions :: DerivInstTys -> DerivM OriginativeDerivStatus

    ghc GHC.Tc.Deriv.Utils

    No documentation available.

  2. findValidHoleFits :: TidyEnv -> [Implication] -> [CtEvidence] -> Hole -> TcM (TidyEnv, ValidHoleFits)

    ghc GHC.Tc.Errors.Hole

    No documentation available.

  3. relevantCtEvidence :: Type -> [CtEvidence] -> [CtEvidence]

    ghc GHC.Tc.Errors.Hole

    No documentation available.

  4. data HoleFitCandidate

    ghc GHC.Tc.Errors.Hole.FitTypes

    HoleFitCandidates are passed to hole fit plugins and then checked whether they fit a given typed-hole.

  5. hfId :: HoleFit -> Id

    ghc GHC.Tc.Errors.Hole.FitTypes

    The elements id in the TcM

  6. tidySkolemInfo :: TidyEnv -> SkolemInfo -> SkolemInfo

    ghc GHC.Tc.Errors.Ppr

    No documentation available.

  7. tidySkolemInfoAnon :: TidyEnv -> SkolemInfoAnon -> SkolemInfoAnon

    ghc GHC.Tc.Errors.Ppr

    No documentation available.

  8. AddInvalidCorePlugin :: String -> THError

    ghc GHC.Tc.Errors.Types

    AddInvalidCorePlugin is a Template Haskell error indicating that a Core plugin being added has an invalid module due to being in the current package. Example(s): Test cases:

  9. BootMismatchedIdTypes :: Id -> Id -> BootMismatchWhat

    ghc GHC.Tc.Errors.Types

    The Ids have different types.

  10. DodgyImportsHiding :: ImportLookupReason -> DodgyImportsReason

    ghc GHC.Tc.Errors.Types

    A hiding clause contains something that would be reported as an error in a regular import, but is relaxed to a warning. Test cases: DodgyImports_hiding

Page 547 of many | Previous | Next