ghc-7.4.2: The GHC API

Safe Haskell | None

RnEnv

# 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

lookupLocalOccRn_maybe :: RdrName -> RnM (Maybe Name)

lookupPromotedOccRn :: RdrName -> RnM Name

lookupGlobalOccRn :: RdrName -> RnM Name

lookupGlobalOccRn_maybe :: RdrName -> RnM (Maybe Name)

data HsSigCtxt

Constructors

HsBootCtxt |
TopSigCtxt |
LocalBindCtxt NameSet |
ClsDeclCtxt Name |
InstDeclCtxt Name |

lookupLocalDataTcNames :: NameSet -> SDoc -> RdrName -> RnM [Name]

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

lookupFixityRn :: Name -> RnM Fixity

lookupTyFixityRn :: Located Name -> RnM Fixity

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

lookupSubBndrOcc :: Parent -> SDoc -> RdrName -> RnM Name

greRdrName :: GlobalRdrElt -> RdrName

lookupSubBndrGREs :: GlobalRdrEnv -> Parent -> RdrName -> [GlobalRdrElt]

lookupConstructorFields :: Name -> RnM [Name]

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

lookupSyntaxTable :: [Name] -> RnM (SyntaxTable Name, FreeVars)

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

lookupGreRn :: RdrName -> RnM GlobalRdrElt

lookupGreLocalRn :: RdrName -> RnM (Maybe GlobalRdrElt)

lookupGreRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt)

getLookupOccRn :: RnM (Name -> Maybe Name)

addUsedRdrNames :: [RdrName] -> RnM ()

newLocalBndrRn :: Located RdrName -> RnM Name

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

bindLocalName :: Name -> RnM a -> RnM a

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

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

type MiniFixityEnv = FastStringEnv (Located Fixity)

emptyFsEnv :: FastStringEnv a

extendFsEnv :: FastStringEnv a -> FastString -> a -> FastStringEnv a

lookupFsEnv :: FastStringEnv a -> FastString -> Maybe a

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

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

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

bindSigTyVarsFV :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars)

bindPatSigTyVars :: [LHsType RdrName] -> ([Name] -> RnM a) -> RnM a

bindPatSigTyVarsFV :: [LHsType RdrName] -> RnM (a, FreeVars) -> RnM (a, FreeVars)

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

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

checkDupAndShadowedRdrNames :: [Located RdrName] -> RnM ()

checkDupNames :: [Name] -> RnM ()

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

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

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

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

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

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

warnUnusedTopBinds :: [GlobalRdrElt] -> RnM ()

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

dataTcOccs :: RdrName -> [RdrName]

unknownNameErr :: RdrName -> SDoc

kindSigErr :: Outputable a => a -> SDoc

dataKindsErr :: Outputable a => a -> SDoc

perhapsForallMsg :: SDoc

data HsDocContext

Constructors

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

docOfHsDocContext :: HsDocContext -> SDoc