GHC.Runtime.Interpreter.Process

Constructors

• Shutdown :: Message ()

  Exit the iserv process

• RtsRevertCAFs :: Message ()
• InitLinker :: Message ()
• LookupSymbol :: String -> Message (Maybe (RemotePtr ()))
• LookupSymbolInDLL :: RemotePtr LoadedDLL -> String -> Message (Maybe (RemotePtr ()))
• LookupClosure :: String -> Message (Maybe HValueRef)
• LoadDLL :: String -> Message (Either String (RemotePtr LoadedDLL))
• LoadArchive :: String -> Message ()
• LoadObj :: String -> Message ()
• UnloadObj :: String -> Message ()
• AddLibrarySearchPath :: String -> Message (RemotePtr ())
• RemoveLibrarySearchPath :: RemotePtr () -> Message Bool
• ResolveObjs :: Message Bool
• FindSystemLibrary :: String -> Message (Maybe String)
• CreateBCOs :: [ResolvedBCO] -> Message [HValueRef]

  Create a set of BCO objects, and return HValueRefs to them See createBCOs in compilerGHCRuntime/Interpreter.hs. NB: this has a custom Binary behavior, see Note [Parallelize CreateBCOs serialization]

• FreeHValueRefs :: [HValueRef] -> Message ()

  Release HValueRefs

• AddSptEntry :: Fingerprint -> HValueRef -> Message ()

  Add entries to the Static Pointer Table

• MallocData :: ByteString -> Message (RemotePtr ())

  Malloc some data and return a RemotePtr to it

• MallocStrings :: [ByteString] -> Message [RemotePtr ()]
• PrepFFI :: [FFIType] -> FFIType -> Message (RemotePtr C_ffi_cif)

  Calls GHCi.FFI.prepareForeignCall

• FreeFFI :: RemotePtr C_ffi_cif -> Message ()

  Free data previously created by PrepFFI

• MkConInfoTable :: !ConInfoTable -> Message (RemotePtr StgInfoTable)

  Create an info table for a constructor

• EvalStmt :: EvalOpts -> EvalExpr HValueRef -> Message (EvalStatus_ [HValueRef] [HValueRef])

  Evaluate a statement

• ResumeStmt :: EvalOpts -> RemoteRef (ResumeContext [HValueRef]) -> Message (EvalStatus_ [HValueRef] [HValueRef])

  Resume evaluation of a statement after a breakpoint

• AbandonStmt :: RemoteRef (ResumeContext [HValueRef]) -> Message ()

  Abandon evaluation of a statement after a breakpoint

• EvalString :: HValueRef -> Message (EvalResult String)

  Evaluate something of type IO String

• EvalStringToString :: HValueRef -> String -> Message (EvalResult String)

  Evaluate something of type String -> IO String

• EvalIO :: HValueRef -> Message (EvalResult ())

  Evaluate something of type IO ()

• MkCostCentres :: String -> [(String, String)] -> Message [RemotePtr CostCentre]

  Create a set of CostCentres with the same module name

• CostCentreStackInfo :: RemotePtr CostCentreStack -> Message [String]

  Show a CostCentreStack as a [String]

• NewBreakArray :: Int -> Message (RemoteRef BreakArray)

  Create a new array of breakpoint flags

• SetupBreakpoint :: RemoteRef BreakArray -> Int -> Int -> Message ()

  Set how many times a breakpoint should be ignored also used for enable/disable

• BreakpointStatus :: RemoteRef BreakArray -> Int -> Message Bool

  Query the status of a breakpoint (True = enabled)

• GetBreakpointVar :: HValueRef -> Int -> Message (Maybe HValueRef)

  Get a reference to a free variable at a breakpoint

• StartTH :: Message (RemoteRef (IORef QState))

  Start a new TH module, return a state token that should be

• RunTH :: RemoteRef (IORef QState) -> HValueRef -> THResultType -> Maybe Loc -> Message (QResult ByteString)

  Evaluate a TH computation.

  Returns a ByteString, because we have to force the result before returning it to ensure there are no errors lurking in it. The TH types don't have NFData instances, and even if they did, we have to serialize the value anyway, so we might as well serialize it to force it.

• RunModFinalizers :: RemoteRef (IORef QState) -> [RemoteRef (Q ())] -> Message (QResult ())

  Run the given mod finalizers.

• GetClosure :: HValueRef -> Message (GenClosure HValueRef)

  Remote interface to GHC.Internal.Heap.getClosureData. This is used by the GHCi debugger to inspect values in the heap for :print and type reconstruction.

• WhereFrom :: HValueRef -> Message (Maybe InfoProv)

  Remote interface to GHC.InfoProv.whereFrom. This is used by the GHCi debugger to inspect the provenance of thunks for :print.

• Seq :: HValueRef -> Message (EvalStatus_ () ())

  Evaluate something. This is used to support :force in GHCi.

• ResumeSeq :: RemoteRef (ResumeContext ()) -> Message (EvalStatus_ () ())

  Resume forcing a free variable in a breakpoint (#2950)