GHC.Iface.Env · ghc-9.14.1 · horizon-advance

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

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

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

valuelookupIfaceTop :: OccName -> IfL Name

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

valuelookupOrig :: 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.

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

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

valuenewIfaceName :: OccName -> IfL Name

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

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

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

valuetcIfaceLclId :: IfLclName -> IfL Id

valuetcIfaceTyVar :: IfLclName -> IfL TyVar

valuelookupIfaceVar :: IfaceBndr -> IfL (Maybe TyCoVar)

valuelookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar)

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

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

Set the Module of a Name.

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

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

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

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

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