GHC.Rename.Env

Documentation

newTopSrcBinder :: Located RdrName -> RnM Name

lookupLocatedTopBndrRn :: Located RdrName -> RnM (Located Name)

lookupTopBndrRn :: RdrName -> RnM Name

lookupLocatedOccRn :: Located RdrName -> RnM (Located Name)

lookupOccRn :: RdrName -> RnM Name

lookupOccRn_maybe :: RdrName -> RnM (Maybe Name)

lookupLocalOccRn_maybe :: RdrName -> RnM (Maybe Name)

lookupInfoOccRn :: RdrName -> RnM [Name]

lookupLocalOccThLvl_maybe :: Name -> RnM (Maybe (TopLevelFlag, ThLevel))

lookupLocalOccRn :: RdrName -> RnM Name

lookupTypeOccRn :: RdrName -> RnM Name

lookupGlobalOccRn :: RdrName -> RnM Name

lookupGlobalOccRn_maybe :: RdrName -> RnM (Maybe Name)

lookupOccRn_overloaded :: Bool -> RdrName -> RnM (Maybe (Either Name [Name]))

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

Like lookupOccRn_maybe, but with a more informative result if the RdrName happens to be a record selector:

• 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.

data ChildLookupResult

Constructors

NameNotFound

IncorrectParent Name Name SDoc [Name]

FoundName Parent Name

FoundFL FieldLabel

Instances

Outputable ChildLookupResult

Defined in GHC.Rename.Env

Methods

ppr :: ChildLookupResult -> SDoc

pprPrec :: Rational -> ChildLookupResult -> SDoc

lookupSubBndrOcc_helper :: Bool -> Bool -> Name -> RdrName -> RnM ChildLookupResult

Used in export lists to lookup the children.

combineChildLookupResult :: [RnM ChildLookupResult] -> RnM ChildLookupResult

Specialised version of msum for RnM ChildLookupResult

data HsSigCtxt

Constructors

TopSigCtxt NameSet

LocalBindCtxt NameSet

ClsDeclCtxt Name

InstDeclCtxt NameSet

HsBootCtxt NameSet

RoleAnnotCtxt NameSet

Instances

Outputable HsSigCtxt

Defined in GHC.Rename.Env

Methods

ppr :: HsSigCtxt -> SDoc

pprPrec :: Rational -> HsSigCtxt -> SDoc

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

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

lookupSigCtxtOccRn

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

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

lookupRecFieldOcc :: Maybe Name -> RdrName -> RnM Name

Look up an occurrence of a field in record construction or pattern matching (but not update). When the -XDisambiguateRecordFields flag is on, take account of the data constructor name to disambiguate which field to use.

See Note [DisambiguateRecordFields].

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

lookupConstructorFields :: Name -> RnM [FieldLabel]

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

lookupSyntax :: Name -> RnM (SyntaxExpr GhcRn, FreeVars)

lookupSyntaxExpr

Arguments

:: Name

The standard name

-> RnM (HsExpr GhcRn, FreeVars)

Possibly a non-standard name

lookupSyntaxName

Arguments

:: Name

The standard name

-> RnM (Name, FreeVars)

Possibly a non-standard name

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

lookupIfThenElse :: Bool -> RnM (SyntaxExpr GhcRn, FreeVars)

lookupReboundIf :: RnM (Maybe (Located Name))

Lookup an ifThenElse binding (see lookupRebound).

lookupQualifiedDoExpr :: HsStmtContext p -> Name -> RnM (HsExpr GhcRn, FreeVars)

lookupQualifiedDo :: HsStmtContext p -> Name -> RnM (SyntaxExpr GhcRn, FreeVars)

lookupQualifiedDoName :: HsStmtContext p -> Name -> RnM (Name, FreeVars)

lookupNameWithQualifier :: Name -> ModuleName -> RnM (Name, FreeVars)

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

addUsedGREs :: [GlobalRdrElt] -> RnM ()

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

dataTcOccs :: RdrName -> [RdrName]