GHC.Iface.Env

Documentation

newGlobalBinder :: Module -> OccName -> SrcSpan -> TcRnIf a b Name

newInteractiveBinder :: HscEnv -> OccName -> SrcSpan -> IO Name

externaliseName :: Module -> Name -> TcRnIf m n Name

lookupIfaceTop :: OccName -> IfL Name

Look up a top-level name from the current Iface module

lookupOrig :: Module -> OccName -> TcRnIf a b Name

Look up the Name for a given Module and OccName. Consider alternatively using lookupIfaceTop if you're in the IfL monad and Module is simply that of the ModIface you are typechecking.

lookupNameCache :: NameCache -> Module -> OccName -> IO Name

lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Name

newIfaceName :: OccName -> IfL Name

newIfaceNames :: [OccName] -> IfL [Name]

extendIfaceIdEnv :: [Id] -> IfL a -> IfL a

extendIfaceTyVarEnv :: [TyVar] -> IfL a -> IfL a

tcIfaceLclId :: FastString -> IfL Id

tcIfaceTyVar :: FastString -> IfL TyVar

lookupIfaceVar :: IfaceBndr -> IfL (Maybe TyCoVar)

lookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar)

extendIfaceEnvs :: [TyCoVar] -> IfL a -> IfL a

setNameModule :: Maybe Module -> Name -> TcRnIf m n Name

Set the Module of a Name.

ifaceExportNames :: [IfaceExport] -> TcRnIf gbl lcl [AvailInfo]

trace_if :: Logger -> SDoc -> IO ()

trace_hi_diffs :: Logger -> SDoc -> IO ()

allocateGlobalBinder :: NameCache -> Module -> OccName -> SrcSpan -> IO Name