module GHC.Runtime.Eval.Types (
Resume(..), ResumeBindings, IcGlobalRdrEnv(..),
History(..), ExecResult(..),
SingleStep(..), isStep, ExecOptions(..)
) where
import GHC.Prelude
import GHCi.RemoteTypes
import GHCi.Message (EvalExpr, ResumeContext)
import GHC.Types.Id
import GHC.Types.Name
import GHC.Types.TyThing
import GHC.Types.BreakInfo
import GHC.Types.Name.Reader
import GHC.Types.SrcLoc
import GHC.Utils.Exception
import Data.Word
import GHC.Stack.CCS
data ExecOptions
= ExecOptions
{ ExecOptions -> SingleStep
execSingleStep :: SingleStep
, ExecOptions -> String
execSourceFile :: String
, ExecOptions -> Int
execLineNumber :: Int
, ExecOptions -> ForeignHValue -> EvalExpr ForeignHValue
execWrap :: ForeignHValue -> EvalExpr ForeignHValue
}
data SingleStep
= RunToCompletion
| SingleStep
| RunAndLogSteps
isStep :: SingleStep -> Bool
isStep :: SingleStep -> Bool
isStep SingleStep
RunToCompletion = Bool
False
isStep SingleStep
_ = Bool
True
data ExecResult
= ExecComplete
{ ExecResult -> Either SomeException [Name]
execResult :: Either SomeException [Name]
, ExecResult -> Word64
execAllocation :: Word64
}
| ExecBreak
{ ExecResult -> [Name]
breakNames :: [Name]
, ExecResult -> Maybe BreakInfo
breakInfo :: Maybe BreakInfo
}
data IcGlobalRdrEnv = IcGlobalRdrEnv
{ IcGlobalRdrEnv -> GlobalRdrEnv
igre_env :: !GlobalRdrEnv
, IcGlobalRdrEnv -> GlobalRdrEnv
igre_prompt_env :: !GlobalRdrEnv
}
data Resume = Resume
{ Resume -> String
resumeStmt :: String
, Resume -> ForeignRef (ResumeContext [HValueRef])
resumeContext :: ForeignRef (ResumeContext [HValueRef])
, Resume -> ResumeBindings
resumeBindings :: ResumeBindings
, Resume -> [Id]
resumeFinalIds :: [Id]
, Resume -> ForeignHValue
resumeApStack :: ForeignHValue
, Resume -> Maybe BreakInfo
resumeBreakInfo :: Maybe BreakInfo
, Resume -> SrcSpan
resumeSpan :: SrcSpan
, Resume -> String
resumeDecl :: String
, Resume -> RemotePtr CostCentreStack
resumeCCS :: RemotePtr CostCentreStack
, Resume -> [History]
resumeHistory :: [History]
, Resume -> Int
resumeHistoryIx :: Int
}
type ResumeBindings = ([TyThing], IcGlobalRdrEnv)
data History
= History {
History -> ForeignHValue
historyApStack :: ForeignHValue,
History -> BreakInfo
historyBreakInfo :: BreakInfo,
History -> [String]
historyEnclosingDecls :: [String]
}