Moduleghc-9.10.3GHC2021

GHC.Runtime.Interpreter.Types

Types used by the runtime interpreter

15 types
1 value

Packageghc-9.10.3
Exports16
LanguageGHC2021
LicenceBSD-3-Clause
SourceTypes.hs

datadata Interp

Interpreter

Constructors

Interp
- interpInstance :: !InterpInstance
  Interpreter instance (internal, external)
- interpLoader :: !Loader
  Interpreter loader
- interpLookupSymbolCache :: !MVar (UniqFM FastString (Ptr ()))
  LookupSymbol cache

datadata InterpInstance

Constructors

ExternalInterp !ExtInterp
External interpreter
InternalInterp
Internal interpreter

datadata InterpProcess

Constructors

InterpProcess
- interpPipe :: !Pipe
  Pipe to communicate with the server
- interpHandle :: !ProcessHandle
  Process handle of the server

datadata ExtInterp

typetype ExtInterpStatusVar d = MVar (InterpStatus (ExtInterpInstance d))

datadata ExtInterpInstance c

Common field between native external interpreter and the JS one

Constructors

ExtInterpInstance
- instProcess :: !InterpProcess
  External interpreter process and its pipe (communication channel)
- instPendingFrees :: !MVar [HValueRef]
  Values that need to be freed before the next command is sent. Finalizers for ForeignRefs can append values to this list asynchronously.
- instExtra :: !c
  Instance specific extra fields

datadata ExtInterpState cfg details

External interpreter

The external interpreter is spawned lazily (on first use) to avoid slowing down sessions that don't require it. The contents of the MVar reflects the state of the interpreter (running or not).

Constructors

ExtInterpState
- interpConfig :: !cfg
- interpStatus :: !ExtInterpStatusVar details

datadata InterpStatus inst

Status of an external interpreter

Constructors

InterpPending
Not spawned yet
InterpRunning !inst
Running

IServ

2 declarations

typetype IServ = ExtInterpState IServConfig ()

datadata IServConfig

Configuration needed to spawn an external interpreter

Constructors

IServConfig
- iservConfProgram :: !String
  External program to run
- iservConfOpts :: ![String]
  Command-line options
- iservConfProfiled :: !Bool
  Use Profiling way
- iservConfDynamic :: !Bool
  Use Dynamic way
- iservConfHook :: !Maybe (CreateProcess -> IO ProcessHandle)
  Hook
- iservConfTrace :: IO ()
  Trace action executed after spawn

JSInterp

6 declarations

typetype JSInterp = ExtInterpState JSInterpConfig JSInterpExtra

datadata JSInterpExtra

Constructors

JSInterpExtra
- instStdIn :: !Handle
  Stdin for the process
- instFinderCache :: !FinderCache
- instFinderOpts :: !FinderOpts
- instJSState :: !MVar JSState
  Mutable state
- instGhciUnitId :: !UnitId
  GHCi unit-id

datadata JSInterpConfig

Constructors

JSInterpConfig
- jsInterpNodeConfig :: !NodeJsSettings
  NodeJS settings
- jsInterpScript :: !FilePath
  Path to "ghc-interp.js" script
- jsInterpTmpFs :: !TmpFs
- jsInterpTmpDir :: !TempDir
- jsInterpLogger :: !Logger
- jsInterpCodegenCfg :: !StgToJSConfig
- jsInterpUnitEnv :: !UnitEnv
- jsInterpFinderOpts :: !FinderOpts
- jsInterpFinderCache :: !FinderCache

datadata JSState

Constructors

JSState
- jsLinkState :: !LinkPlan
  Linker state of the interpreter
- jsServerStarted :: !Bool
  Is the Haskell server started?

datadata NodeJsSettings

NodeJs configuration

Constructors

NodeJsSettings
- nodeProgram :: FilePath
  location of node.js program
- nodePath :: Maybe FilePath
  value of NODE_PATH environment variable (search path for Node modules; GHCJS used to provide some)
- nodeExtraArgs :: [String]
  extra arguments to pass to node.js
- nodeKeepAliveMaxMem :: Integer
  keep node.js (TH, GHCJSi) processes alive if they don't use more than this

valuedefaultNodeJsSettings :: NodeJsSettings