GHC.Runtime.Context

ghc-9.2.0.20210331: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Runtime.Context

Synopsis

- data InteractiveContext = InteractiveContext {
  - ic_dflags :: DynFlags
  - ic_mod_index :: Int
  - ic_imports :: [InteractiveImport]
  - ic_tythings :: [TyThing]
  - ic_rn_gbl_env :: GlobalRdrEnv
  - ic_instances :: ([ClsInst], [FamInst])
  - ic_fix_env :: FixityEnv
  - ic_default :: Maybe [Type]
  - ic_resume :: [Resume]
  - ic_monad :: Name
  - ic_int_print :: Name
  - ic_cwd :: Maybe FilePath
  - ic_plugins :: ![LoadedPlugin]
  }
- data InteractiveImport
  - = IIDecl (ImportDecl GhcPs)
  - | IIModule ModuleName
- emptyInteractiveContext :: DynFlags -> InteractiveContext
- extendInteractiveContext :: InteractiveContext -> [TyThing] -> [ClsInst] -> [FamInst] -> Maybe [Type] -> FixityEnv -> InteractiveContext
- extendInteractiveContextWithIds :: InteractiveContext -> [Id] -> InteractiveContext
- setInteractivePrintName :: InteractiveContext -> Name -> InteractiveContext
- substInteractiveContext :: InteractiveContext -> TCvSubst -> InteractiveContext
- icExtendGblRdrEnv :: GlobalRdrEnv -> [TyThing] -> GlobalRdrEnv
- icInteractiveModule :: InteractiveContext -> Module
- icInScopeTTs :: InteractiveContext -> [TyThing]
- icPrintUnqual :: UnitEnv -> InteractiveContext -> PrintUnqualified

# Documentation

data InteractiveContext Source #

Interactive context, recording information about the state of the context in which statements are executed in a GHCi session.

Constructors

InteractiveContext |
Fields ic_dflags :: DynFlags The `DynFlags` used to evaluate interactive expressions and statements. ic_mod_index :: Int Each GHCi stmt or declaration brings some new things into scope. We give them names like interactive:Ghci9.T, where the ic_index is the '9'. The ic_mod_index is incremented whenever we add something to ic_tythings See Note [The interactive package] ic_imports :: [InteractiveImport] The GHCi top-level scope (ic_rn_gbl_env) is extended with these imports This field is only stored here so that the client can retrieve it with GHC.getContext. GHC itself doesn't use it, but does reset it to empty sometimes (such as before a GHC.load). The context is set with GHC.setContext. ic_tythings :: [TyThing] TyThings defined by the user, in reverse order of definition (ie most recent at the front) See Note [ic_tythings] ic_rn_gbl_env :: GlobalRdrEnv The cached `GlobalRdrEnv`, built by `setContext` and updated regularly It contains everything in scope at the command line, including everything in ic_tythings ic_instances :: ([ClsInst], [FamInst]) All instances and family instances created during this session. These are grabbed en masse after each update to be sure that proper overlapping is retained. That is, rather than re-check the overlapping each time we update the context, we just take the results from the instance code that already does that. ic_fix_env :: FixityEnv Fixities declared in let statements ic_default :: Maybe [Type] The current default types, set by a 'default' declaration ic_resume :: [Resume] The stack of breakpoint contexts ic_monad :: Name The monad that GHCi is executing in ic_int_print :: Name The function that is used for printing results of expressions in ghci and -e mode. ic_cwd :: Maybe FilePath virtual CWD of the program ic_plugins :: ![LoadedPlugin] Cache of loaded plugins. We store them here to avoid having to load them everytime we switch to the interctive context.

data InteractiveImport Source #

Constructors

IIDecl (ImportDecl GhcPs) | Bring the exports of a particular module (filtered by an import decl) into scope
IIModule ModuleName | Bring into scope the entire top-level envt of of this module, including the things imported into it.

#### Instances

Instances details

Outputable InteractiveImport # |
Instance details Defined in GHC.Runtime.Context Methods ppr :: InteractiveImport -> SDoc Source #

emptyInteractiveContext :: DynFlags -> InteractiveContext Source #

Constructs an empty InteractiveContext.

extendInteractiveContext :: InteractiveContext -> [TyThing] -> [ClsInst] -> [FamInst] -> Maybe [Type] -> FixityEnv -> InteractiveContext Source #

extendInteractiveContext is called with new TyThings recently defined to update the InteractiveContext to include them. Ids are easily removed when shadowed, but Classes and TyCons are not. Some work could be done to determine whether they are entirely shadowed, but as you could still have references to them (e.g. instances for classes or values of the type for TyCons), it's not clear whether removing them is even the appropriate behavior.

extendInteractiveContextWithIds :: InteractiveContext -> [Id] -> InteractiveContext Source #

setInteractivePrintName :: InteractiveContext -> Name -> InteractiveContext Source #

substInteractiveContext :: InteractiveContext -> TCvSubst -> InteractiveContext Source #

icExtendGblRdrEnv :: GlobalRdrEnv -> [TyThing] -> GlobalRdrEnv Source #

Add TyThings to the GlobalRdrEnv, earlier ones in the list shadowing later ones, and shadowing existing entries in the GlobalRdrEnv.

icInteractiveModule :: InteractiveContext -> Module Source #

icInScopeTTs :: InteractiveContext -> [TyThing] Source #

This function returns the list of visible TyThings (useful for e.g. showBindings)

icPrintUnqual :: UnitEnv -> InteractiveContext -> PrintUnqualified Source #

Get the PrintUnqualified function based on the flags and this InteractiveContext