Safe Haskell	None
Language	Haskell2010

RnEnv

Synopsis

Documentation

newTopSrcBinder :: Located RdrName -> RnM Name Source

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

lookupTopBndrRn :: RdrName -> RnM Name Source

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

lookupOccRn :: RdrName -> RnM Name Source

lookupOccRn_maybe :: RdrName -> RnM (Maybe Name) Source

lookupLocalOccRn_maybe :: RdrName -> RnM (Maybe Name) Source

lookupInfoOccRn :: RdrName -> RnM [Name] Source

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

lookupTypeOccRn :: RdrName -> RnM Name Source

lookupKindOccRn :: RdrName -> RnM Name Source

lookupGlobalOccRn :: RdrName -> RnM Name Source

lookupGlobalOccRn_maybe :: RdrName -> RnM (Maybe Name) Source

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

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.

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