Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
FailedToLookupThInstName :: Type -> LookupTHInstNameErrReason -> THErrorghc GHC.Tc.Errors.Types FailedToLookupThInstName is a Template Haskell error that occurrs when looking up an instance fails. Example(s): Test cases: showIfaceshould_failTHPutDocNonExistent
ImportLookupAmbiguous :: RdrName -> [GlobalRdrElt] -> ImportLookupReasonghc GHC.Tc.Errors.Types An item in an import list matches multiple names exported from that module. Test cases: None
-
ghc GHC.Tc.Errors.Types An item in an import statement is not exported by the corresponding module. Test cases: T21826, recomp001, retc001, mod79, mod80, mod81, mod91, T6007, T7167, T9006, T11071, T9905fail2, T5385, T10668
ImportLookupIllegal :: ImportLookupReasonghc GHC.Tc.Errors.Types Something completely unexpected is in an import list, like module Foo. Test cases: ImportLookupIllegal
ImportLookupQualified :: RdrName -> ImportLookupReasonghc GHC.Tc.Errors.Types A name is specified with a qualifying module. Test cases: T3792
-
ghc GHC.Tc.Errors.Types Different types of errors for import lookup.
TcRnGhciMonadLookupFail :: String -> Maybe [GlobalRdrElt] -> TcRnMessageghc GHC.Tc.Errors.Types TcRnGhciMonadLookupFail is an error that occurs when the user sets the GHCi monad, using the GHC API setGHCiMonad function, but GHC can't find which monad the user is referring to. Example: import GHC ( setGHCiMonad ) ... setGHCiMonad NoSuchThing Test cases: none
TcRnImportLookup :: ImportLookupReason -> TcRnMessageghc GHC.Tc.Errors.Types TcRnImportLookup is a group of errors about bad imported names.
TcRnLookupInstance :: Class -> [Type] -> LookupInstanceErrReason -> TcRnMessageghc GHC.Tc.Errors.Types TcRnLookupInstance groups several errors emitted when looking up class instances. Test cases: none
tcLookupDataFamInst :: FamInstEnvs -> TyCon -> [TcType] -> (TyCon, [TcType], Coercion)ghc GHC.Tc.Instance.Family Like tcLookupDataFamInst_maybe, but returns the arguments back if there is no data family to unwrap. Returns a Representational coercion