Documentation

newTopSrcBinder :: Located RdrName -> RnM NameSource

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

lookupTopBndrRn :: RdrName -> RnM NameSource

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

lookupOccRn :: RdrName -> RnM NameSource

lookupGlobalOccRn :: RdrName -> RnM NameSource

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

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

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

lookupFixityRn :: Name -> RnM FixitySource

lookupTyFixityRn :: Located Name -> RnM FixitySource

lookupInstDeclBndr :: Name -> RdrName -> RnM NameSource

lookupSubBndr :: Parent -> SDoc -> RdrName -> RnM NameSource

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

lookupConstructorFields :: Name -> RnM [Name]Source

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

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

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

lookupGreRn :: RdrName -> RnM GlobalRdrEltSource

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

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

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

addUsedRdrNames :: [RdrName] -> RnM ()Source

newLocalBndrRn :: Located RdrName -> RnM NameSource

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

newIPNameRn :: IPName RdrName -> TcRnIf m n (IPName Name)Source

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

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

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

type MiniFixityEnv = FastStringEnv (Located Fixity)Source

emptyFsEnv :: FastStringEnv aSource

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

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

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

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

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

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

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

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

bindTyVarsRn :: [LHsTyVarBndr RdrName] -> ([LHsTyVarBndr Name] -> RnM a) -> RnM aSource

bindTyVarsFV :: [LHsTyVarBndr RdrName] -> ([LHsTyVarBndr Name] -> RnM (a, FreeVars)) -> RnM (a, FreeVars)Source

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

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

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

checkDupNames :: [Name] -> RnM ()Source

checkDupAndShadowedNames :: (GlobalRdrEnv, LocalRdrEnv) -> [Name] -> 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 cSource

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

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

dataTcOccs :: RdrName -> [RdrName]Source

unknownNameErr :: RdrName -> SDocSource

kindSigErr :: Outputable a => a -> SDocSource

perhapsForallMsg :: SDocSource