Nothing -> name not in scope (no error reported)
Just (Left x) -> name uniquely refers to x, or there is a name clash (reported)
Just (Right xs) -> name refers to one or more record selectors; if overload_ok was False, this list will be a singleton.

lookupGlobalOccRn_overloaded :: Bool -> RdrName -> RnM (Maybe (Either Name [FieldOcc Name])) Source #

reportUnboundName :: RdrName -> RnM Name Source #

unknownNameSuggestions :: DynFlags -> GlobalRdrEnv -> LocalRdrEnv -> ImportAvails -> RdrName -> SDoc Source #

Called from the typechecker (TcErrors) when we find an unbound variable

addNameClashErrRn :: RdrName -> [GlobalRdrElt] -> RnM () Source #

data HsSigCtxt Source #

Constructors

TopSigCtxt NameSet
LocalBindCtxt NameSet
ClsDeclCtxt Name
InstDeclCtxt NameSet
HsBootCtxt NameSet
RoleAnnotCtxt NameSet

lookupLocalTcNames :: HsSigCtxt -> SDoc -> RdrName -> RnM [(RdrName, Name)] Source #

lookupSigOccRn :: HsSigCtxt -> Sig RdrName -> Located RdrName -> RnM (Located Name) Source #

lookupSigCtxtOccRn Source #

Arguments

:: HsSigCtxt
-> SDoc	description of thing we're looking up, like "type family"
-> Located RdrName
-> RnM (Located Name)

Lookup a name in relation to the names in a HsSigCtxt

lookupFixityRn :: Name -> RnM Fixity Source #

lookupFixityRn_help :: Name -> RnM (Bool, Fixity) Source #

lookupFixityRn_help returns (True, fixity) if it finds a Fixity in a local environment or from an interface file. Otherwise, it returns (False, fixity) (e.g., for unbound Names or Names without user-supplied fixity declarations).

lookupFieldFixityRn :: AmbiguousFieldOcc Name -> RnM Fixity Source #

Look up the fixity of a (possibly ambiguous) occurrence of a record field selector. We use lookupFixityRn' so that we can specifiy the OccName as the field label, which might be different to the OccName of the selector Name if DuplicateRecordFields is in use (Trac #1173). If there are multiple possible selectors with different fixities, generate an error.

lookupTyFixityRn :: Located Name -> RnM Fixity Source #

lookupInstDeclBndr :: Name -> SDoc -> RdrName -> RnM Name Source #

lookupRecFieldOcc :: Maybe Name -> SDoc -> RdrName -> RnM Name Source #

lookupFamInstName :: Maybe Name -> Located RdrName -> RnM (Located Name) Source #

lookupConstructorFields :: Name -> RnM [FieldLabel] Source #

lookupSyntaxName :: Name -> RnM (SyntaxExpr Name, FreeVars) Source #

lookupSyntaxNames :: [Name] -> RnM ([HsExpr Name], FreeVars) Source #

lookupIfThenElse :: RnM (Maybe (SyntaxExpr Name), FreeVars) Source #

lookupGreAvailRn :: RdrName -> RnM (Name, AvailInfo) Source #

getLookupOccRn :: RnM (Name -> Maybe Name) Source #

mkUnboundName :: OccName -> Name Source #

mkUnboundNameRdr :: RdrName -> Name Source #

isUnboundName :: Name -> Bool Source #

addUsedGRE :: Bool -> GlobalRdrElt -> RnM () Source #

addUsedGREs :: [GlobalRdrElt] -> RnM () Source #

addUsedDataCons :: GlobalRdrEnv -> TyCon -> RnM () Source #

newLocalBndrRn :: Located RdrName -> RnM Name Source #

newLocalBndrsRn :: [Located RdrName] -> RnM [Name] Source #

bindLocalNames :: [Name] -> RnM a -> RnM a Source #

bindLocalNamesFV :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars) Source #

type MiniFixityEnv = FastStringEnv (Located Fixity) Source #

addLocalFixities :: MiniFixityEnv -> [Name] -> RnM a -> RnM a Source #

bindLocatedLocalsFV :: [Located RdrName] -> ([Name] -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source #

bindLocatedLocalsRn :: [Located RdrName] -> ([Name] -> RnM a) -> RnM a Source #

extendTyVarEnvFVRn :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars) Source #

checkDupRdrNames :: [Located RdrName] -> RnM () Source #

checkShadowedRdrNames :: [Located RdrName] -> RnM () Source #

checkDupNames :: [Name] -> RnM () Source #

checkDupAndShadowedNames :: (GlobalRdrEnv, LocalRdrEnv) -> [Name] -> RnM () Source #

dupNamesErr :: Outputable n => (n -> SrcSpan) -> [n] -> RnM () Source #

checkTupSize :: Int -> RnM () Source #

addFvRn :: FreeVars -> RnM (thing, FreeVars) -> RnM (thing, FreeVars) Source #

mapFvRn :: (a -> RnM (b, FreeVars)) -> [a] -> RnM ([b], FreeVars) Source #

mapMaybeFvRn :: (a -> RnM (b, FreeVars)) -> Maybe a -> RnM (Maybe b, FreeVars) Source #

mapFvRnCPS :: (a -> (b -> RnM c) -> RnM c) -> [a] -> ([b] -> RnM c) -> RnM c Source #

warnUnusedMatches :: [Name] -> FreeVars -> RnM () Source #

warnUnusedTypePatterns :: [Name] -> FreeVars -> RnM () Source #

warnUnusedTopBinds :: [GlobalRdrElt] -> RnM () Source #

warnUnusedLocalBinds :: [Name] -> FreeVars -> RnM () Source #

mkFieldEnv :: GlobalRdrEnv -> NameEnv (FieldLabelString, Name) Source #

Make a map from selector names to field labels and parent tycon names, to be used when reporting unused record fields.

dataTcOccs :: RdrName -> [RdrName] Source #

kindSigErr :: Outputable a => a -> SDoc Source #

perhapsForallMsg :: SDoc Source #

unknownSubordinateErr :: SDoc -> RdrName -> SDoc Source #

pprHsDocContext :: HsDocContext -> SDoc Source #

inHsDocContext :: HsDocContext -> SDoc Source #

withHsDocContext :: HsDocContext -> SDoc -> SDoc Source #

TypeSigCtx SDoc
PatCtx
SpecInstSigCtx
DefaultDeclCtx
ForeignDeclCtx (Located RdrName)
DerivDeclCtx
RuleCtx FastString
TyDataCtx (Located RdrName)
TySynCtx (Located RdrName)
TyFamilyCtx (Located RdrName)
FamPatCtx (Located RdrName)
ConDeclCtx [Located Name]
ClassDeclCtx (Located RdrName)
ExprWithTySigCtx
TypBrCtx
HsTypeCtx
GHCiCtx
SpliceTypeCtx (LHsType RdrName)
ClassInstanceCtx
VectDeclCtx (Located RdrName)
GenericCtx SDoc