RnEnv

ghc-7.8.2: The GHC API

Safe Haskell | None
Language | Haskell98

RnEnv

# 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

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

reportUnboundName :: RdrName -> RnM Name Source

data HsSigCtxt Source

Constructors

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

lookupLocalTcNames :: HsSigCtxt -> SDoc -> RdrName -> RnM [Name] Source

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

lookupFixityRn :: Name -> RnM Fixity Source

lookupTyFixityRn :: Located Name -> RnM Fixity Source

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

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

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

greRdrName :: GlobalRdrElt -> RdrName Source

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

lookupConstructorFields :: Name -> RnM [Name] Source

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

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

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

lookupGreRn :: RdrName -> RnM GlobalRdrElt Source

lookupGreRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt) Source

lookupGreLocalRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt) Source

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

addUsedRdrNames :: [RdrName] -> 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

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

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

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

dataTcOccs :: RdrName -> [RdrName] Source

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

perhapsForallMsg :: SDoc Source

data HsDocContext Source

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) |
GenericCtx SDoc |

docOfHsDocContext :: HsDocContext -> SDoc Source

type FastStringEnv a = UniqFM a Source

emptyFsEnv :: FastStringEnv a Source

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

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

mkFsEnv :: [(FastString, a)] -> FastStringEnv a Source