GHC.Rename.Env

Documentation

newTopSrcBinder :: LocatedN RdrName -> RnM Name

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

lookupLocatedTopBndrRnN :: LocatedN RdrName -> RnM (LocatedN Name)

lookupTopBndrRn :: WhatLooking -> RdrName -> RnM Name

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

lookupLocatedTopConstructorRnN :: LocatedN RdrName -> RnM (LocatedN Name)

lookupLocatedOccRn :: GenLocated (SrcSpanAnn' ann) RdrName -> TcRn (GenLocated (SrcSpanAnn' ann) Name)

lookupLocatedOccRnConstr :: GenLocated (SrcSpanAnn' ann) RdrName -> TcRn (GenLocated (SrcSpanAnn' ann) Name)

lookupLocatedOccRnRecField :: GenLocated (SrcSpanAnn' ann) RdrName -> TcRn (GenLocated (SrcSpanAnn' ann) Name)

lookupLocatedOccRnNone :: GenLocated (SrcSpanAnn' ann) RdrName -> TcRn (GenLocated (SrcSpanAnn' ann) Name)

lookupOccRn :: RdrName -> RnM Name

lookupOccRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt)

lookupSameOccRn_maybe :: RdrName -> RnM (Maybe Name)

lookupLocalOccRn_maybe :: RdrName -> RnM (Maybe Name)

lookupInfoOccRn :: RdrName -> RnM [Name]

lookupInfoOccRn is intended for use in GHCi's ":info" command It finds all the GREs that RdrName could mean, not complaining about ambiguity, but rather returning them all (c.f. #9881).

lookupInfoOccRn is also used in situations where we check for at least one definition of the RdrName, not complaining about multiple definitions (see #17832).

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

lookupLocalOccRn :: RdrName -> RnM Name

lookupTypeOccRn :: RdrName -> RnM Name

lookupGlobalOccRn :: RdrName -> RnM Name

lookupGlobalOccRn_maybe :: WhichGREs GREInfo -> RdrName -> RnM (Maybe GlobalRdrElt)

lookupExprOccRn :: RdrName -> RnM (Maybe GlobalRdrElt)

Look up a RdrName used as a variable in an expression.

This may be a local variable, global variable, or one or more record selector functions. It will not return record fields created with the NoFieldSelectors extension (see Note [NoFieldSelectors]).

If the name is not in scope at the term level, but its promoted equivalent is in scope at the type level, the lookup will succeed (so that the type-checker can report a more informative error later). See Note [Promotion].

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

Look up an occurrence of a field in record construction or pattern matching (but not update).

If -XDisambiguateRecordFields is off, then we will pass Nothing for the DataCon Name, i.e. we don't use the data constructor for disambiguation. See Note [DisambiguateRecordFields] and Note [NoFieldSelectors].

lookupRecUpdFields :: NonEmpty (LHsRecUpdField GhcPs GhcPs) -> RnM (NonEmpty (HsRecUpdParent GhcRn))

Returns all possible collections of field labels for the given record update.

Example:

data D = MkD { fld1 :: Int, fld2 :: Bool } data E = MkE1 { fld1 :: Int, fld2 :: Bool, fld3 :: Char } | MkE2 { fld1 :: Int, fld2 :: Bool } data F = MkF1 { fld1 :: Int } | MkF2 { fld2 :: Bool }

f r = r { fld1 = a, fld2 = b }

This function will return:

[ D.fld1, D.fld2

-- could be a record update at type D , [ E.fld1, E.fld2 ] -- could be a record update at type E ] -- cannot be a record update at type F: no constructor has both -- of the fields fld1 and fld2

If there are no valid parents for the record update, throws a TcRnBadRecordUpdate error.

getFieldUpdLbl :: forall (p :: Pass) q. LHsRecUpdField (GhcPass p) q -> LocatedN RdrName

getUpdFieldLbls :: forall (p :: Pass) q. UnXRec (GhcPass p) => [LHsRecUpdField (GhcPass p) q] -> [RdrName]

data ChildLookupResult

Constructors

NameNotFound

We couldn't find a suitable name

IncorrectParent

The child has an incorrect parent

Fields

• Name

  parent

• GlobalRdrElt

  child we were looking for

• [Name]

  list of possible parents | We resolved to a child

FoundChild GlobalRdrElt

Instances

Outputable ChildLookupResult

Defined in GHC.Rename.Env

Methods

ppr :: ChildLookupResult -> SDoc

lookupSubBndrOcc_helper

Arguments

:: Bool

-> DeprecationWarnings

-> Name

-> RdrName

thing we are looking up

-> LookupChild

how to look it up (e.g. which NameSpaces to look in)

-> RnM ChildLookupResult

Used in export lists to lookup the children.

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

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

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

lookupSigOccRnN :: HsSigCtxt -> Sig GhcPs -> LocatedN RdrName -> RnM (LocatedN Name)

lookupSigCtxtOccRn

Arguments

:: HsSigCtxt

-> SDoc

description of thing we're looking up, like "type family"

-> GenLocated (SrcSpanAnn' ann) RdrName

-> RnM (GenLocated (SrcSpanAnn' ann) Name)

Lookup a name in relation to the names in a HsSigCtxt

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

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

lookupConstructorInfo :: HasDebugCallStack => Name -> RnM ConInfo

Look up the arity and record fields of a constructor.

lookupConstructorFields :: HasDebugCallStack => Name -> RnM [FieldLabel]

lookupGREInfo :: HasDebugCallStack => HscEnv -> Name -> GREInfo

Look up the GREInfo associated with the given Name by looking up in the type environment.

lookupGreAvailRn :: RdrName -> RnM (Maybe GlobalRdrElt)

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

lookupSyntaxExpr

Arguments

:: Name

The standard name

-> RnM (HsExpr GhcRn, FreeVars)

Possibly a non-standard name

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

lookupSyntaxName

Arguments

:: Name

The standard name

-> RnM (Name, FreeVars)

Possibly a non-standard name Lookup a Name that may be subject to Rebindable Syntax (RS).

• When RS is off, just return the supplied (standard) Name
• When RS is on, look up the OccName of the supplied Name; return what we find, or the supplied Name if there is nothing in scope

lookupIfThenElse :: RnM (Maybe Name)

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)

data DeprecationWarnings

Whether to report deprecation warnings when registering a used GRE

There is no option to only emit declaration warnings since everywhere we emit the declaration warnings we also emit export warnings (See Note [Handling of deprecations] for details)

Constructors

NoDeprecationWarnings

ExportDeprecationWarnings

AllDeprecationWarnings

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

addUsedGREs :: DeprecationWarnings -> [GlobalRdrElt] -> RnM ()

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

dataTcOccs :: RdrName -> [RdrName]