RnEnv

ghc-7.10.2: The GHC API

Safe Haskell | None
Language | Haskell2010

RnEnv

Synopsis

- 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
- lookupOccRn_maybe :: RdrName -> RnM (Maybe Name)
- lookupLocalOccRn_maybe :: RdrName -> RnM (Maybe Name)
- lookupInfoOccRn :: RdrName -> RnM [Name]
- lookupLocalOccThLvl_maybe :: Name -> RnM (Maybe (TopLevelFlag, ThLevel))
- lookupTypeOccRn :: RdrName -> RnM Name
- lookupKindOccRn :: RdrName -> RnM Name
- lookupGlobalOccRn :: RdrName -> RnM Name
- lookupGlobalOccRn_maybe :: RdrName -> RnM (Maybe Name)
- reportUnboundName :: RdrName -> RnM Name
- data HsSigCtxt
  - = TopSigCtxt NameSet Bool
  - | LocalBindCtxt NameSet
  - | ClsDeclCtxt Name
  - | InstDeclCtxt Name
  - | HsBootCtxt
  - | RoleAnnotCtxt NameSet
- lookupLocalTcNames :: HsSigCtxt -> SDoc -> RdrName -> RnM [Name]
- lookupSigOccRn :: HsSigCtxt -> Sig RdrName -> Located RdrName -> RnM (Located Name)
- lookupSigCtxtOccRn :: HsSigCtxt -> SDoc -> Located RdrName -> RnM (Located Name)
- lookupFixityRn :: Name -> RnM Fixity
- lookupTyFixityRn :: Located Name -> RnM Fixity
- lookupInstDeclBndr :: Name -> SDoc -> RdrName -> RnM Name
- lookupSubBndrOcc :: Bool -> Parent -> SDoc -> RdrName -> RnM Name
- lookupFamInstName :: Maybe Name -> Located RdrName -> RnM (Located Name)
- greRdrName :: GlobalRdrElt -> RdrName
- lookupSubBndrGREs :: GlobalRdrEnv -> Parent -> RdrName -> [GlobalRdrElt]
- lookupConstructorFields :: Name -> RnM [Name]
- lookupSyntaxName :: Name -> RnM (SyntaxExpr Name, FreeVars)
- lookupSyntaxNames :: [Name] -> RnM ([HsExpr Name], FreeVars)
- lookupIfThenElse :: RnM (Maybe (SyntaxExpr Name), FreeVars)
- lookupGreRn :: RdrName -> RnM GlobalRdrElt
- lookupGreRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt)
- lookupGreLocalRn_maybe :: RdrName -> RnM (Maybe GlobalRdrElt)
- getLookupOccRn :: RnM (Name -> Maybe Name)
- addUsedRdrNames :: [RdrName] -> RnM ()
- newLocalBndrRn :: Located RdrName -> RnM Name
- newLocalBndrsRn :: [Located RdrName] -> RnM [Name]
- bindLocalNames :: [Name] -> RnM a -> RnM a
- bindLocalNamesFV :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars)
- type MiniFixityEnv = FastStringEnv (Located Fixity)
- 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
- extendTyVarEnvFVRn :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars)
- checkDupRdrNames :: [Located RdrName] -> RnM ()
- checkShadowedRdrNames :: [Located RdrName] -> RnM ()
- checkDupNames :: [Name] -> RnM ()
- checkDupAndShadowedNames :: (GlobalRdrEnv, LocalRdrEnv) -> [Name] -> RnM ()
- checkTupSize :: Int -> 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]
- kindSigErr :: Outputable a => a -> SDoc
- perhapsForallMsg :: SDoc
- data HsDocContext
  - = 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

# 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

reportUnboundName :: RdrName -> RnM Name Source

data HsSigCtxt Source

Constructors

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

lookupLocalTcNames :: HsSigCtxt -> SDoc -> RdrName -> RnM [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

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