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

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 NameSource

lookupKindOccRn :: RdrName -> RnM NameSource

lookupGlobalOccRn :: RdrName -> RnM NameSource

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

reportUnboundName :: RdrName -> RnM NameSource

data HsSigCtxtSource

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

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

lookupFixityRn :: Name -> RnM FixitySource

lookupTyFixityRn :: Located Name -> RnM FixitySource

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

lookupSubBndrOcc :: Bool -> Parent -> SDoc -> RdrName -> RnM NameSource

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

greRdrName :: GlobalRdrElt -> RdrNameSource

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 GlobalRdrEltSource

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 NameSource

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

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

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

type MiniFixityEnv = FastStringEnv (Located Fixity)Source

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

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 cSource

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

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

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

dataTcOccs :: RdrName -> [RdrName]Source

kindSigErr :: Outputable a => a -> SDocSource

perhapsForallMsg :: SDocSource

data HsDocContextSource

docOfHsDocContext :: HsDocContext -> SDocSource

type FastStringEnv a = UniqFM aSource

emptyFsEnv :: FastStringEnv aSource

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

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

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