GHC.Runtime.Eval

Run a statement in the current interactive context.

Like execStmt, but takes a parsed statement as argument. Useful when doing preprocessing on the AST before execution, e.g. in GHCi (see GHCi.UI.runStmt).

default ExecOptions

Run some declarations and return any user-visible names that were brought into scope.

Like runDeclsWithLocation, but takes parsed declarations as argument. Useful when doing preprocessing on the AST before execution, e.g. in GHCi (see GHCi.UI.runStmt).

Set the interactive evaluation context.

(setContext imports) sets the ic_imports field (which in turn determines what is in scope at the prompt) to imports, and updates the icReaderEnv environment to reflect it.

We retain in scope all the things defined at the prompt, and kept in ic_tythings. (Indeed, they shadow stuff from ic_imports.)

Get the interactive evaluation context, consisting of a pair of the set of modules from which we take the full top-level scope, and the set of modules from which we take just the exports respectively.

Returns all names in scope in the current interactive context

Returns all RdrNames in scope in the current interactive context, excluding any that are internally-generated.

Returns True if the specified module is interpreted, and hence has its full top-level scope available.

Looks up an identifier in the current interactive context (for :info) Filter the instances by the ones whose tycons (or classes resp) are in scope (qualified or otherwise). Otherwise we list a whole lot too many! The exact choice of which ones to show, and which to hide, is a judgement call. (see #1581)

Get the type of an expression Returns the type as described by TcRnExprMode

Get the kind of a type

Parses a string as an identifier, and returns the list of Names that the identifier can refer to in the current interactive context.

Failure modes for getDocs.

Parse an expression, the parsed expression can be further processed and passed to compileParsedExpr.

Compile an expression, run it, and deliver the resulting HValue.

Compile an expression, run it and return the result as a Dynamic.

Compile an expression, run it, and deliver the resulting HValue.

Compile a parsed expression (before renaming), run it, and deliver the resulting HValue.