InteractiveEval

Synopsis

Documentation

Constructors

RunOk [Name]	names bound by this evaluation
RunFailed	statement failed compilation
RunException SomeException	statement raised an exception
RunBreak ThreadId [Name] (Maybe BreakInfo)

data Status Source

Constructors

Break Bool HValue BreakInfo ThreadId	the computation hit a breakpoint (Bool = was an exception)
Complete (Either SomeException [HValue])	the computation completed with either an exception or a value

data Resume Source

Constructors

Resume
Fields resumeStmt :: String resumeThreadId :: ThreadId resumeBreakMVar :: MVar () resumeStatMVar :: MVar Status resumeBindings :: [Id] resumeFinalIds :: [Id] resumeApStack :: HValue resumeBreakInfo :: Maybe BreakInfo resumeSpan :: SrcSpan resumeHistory :: [History] resumeHistoryIx :: Int

data History Source

Constructors

History
Fields historyApStack :: HValue historyBreakInfo :: BreakInfo historyEnclosingDecl :: Id ^ A cache of the enclosing top level declaration, for convenience

runStmt :: GhcMonad m => String -> SingleStep -> m RunResult Source

Run a statement in the current interactive context. Statement may bind multple values.

parseImportDecl :: GhcMonad m => String -> m (ImportDecl RdrName)Source

data SingleStep Source

Constructors

RunToCompletion
SingleStep
RunAndLogSteps

resume :: GhcMonad m => (SrcSpan -> Bool) -> SingleStep -> m RunResult Source

abandon :: GhcMonad m => m Bool Source

abandonAll :: GhcMonad m => m Bool Source

getResumeContext :: GhcMonad m => m [Resume]Source

getHistorySpan :: HscEnv -> History -> SrcSpan Source

getModBreaks :: HomeModInfo -> ModBreaks Source

getHistoryModule :: History -> Module Source

back :: GhcMonad m => m ([Name], Int, SrcSpan)Source

forward :: GhcMonad m => m ([Name], Int, SrcSpan)Source

setContext Source

Arguments

:: GhcMonad m
=> [Module]	entire top level scope of these modules
-> [(Module, Maybe (ImportDecl RdrName))]	exports of these modules
-> m ()

Set the interactive evaluation context.

Setting the context doesn't throw away any bindings; the bindings we've built up in the InteractiveContext simply move to the new module. They always shadow anything in scope in the current context.

getContext :: GhcMonad m => m ([Module], [(Module, Maybe (ImportDecl RdrName))])Source

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.

availsToGlobalRdrEnv :: ModuleName -> [AvailInfo] -> GlobalRdrEnv Source

getNamesInScope :: GhcMonad m => m [Name]Source

Returns all names in scope in the current interactive context

getRdrNamesInScope :: GhcMonad m => m [RdrName]Source

moduleIsInterpreted :: GhcMonad m => Module -> m Bool Source

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

getInfo :: GhcMonad m => Name -> m (Maybe (TyThing, Fixity, [Instance]))Source

Looks up an identifier in the current interactive context (for :info) Filter the instances by the ones whose tycons (or clases 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 Trac #1581)

exprType :: GhcMonad m => String -> m Type Source

Get the type of an expression

typeKind :: GhcMonad m => String -> m Kind Source

Get the kind of a type

parseName :: GhcMonad m => String -> m [Name]Source

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

showModule :: GhcMonad m => ModSummary -> m String Source

isModuleInterpreted :: GhcMonad m => ModSummary -> m Bool Source

compileExpr :: GhcMonad m => String -> m HValue Source

dynCompileExpr :: GhcMonad m => String -> m Dynamic Source

data Term Source

Constructors

Term
Fields ty :: RttiType dc :: Either String DataCon val :: HValue subTerms :: [Term]
Prim
Fields ty :: RttiType value :: [Word]
Suspension
Fields ctype :: ClosureType ty :: RttiType val :: HValue bound_to :: Maybe Name
NewtypeWrap
Fields ty :: RttiType dc :: Either String DataCon wrapped_term :: Term
RefWrap
Fields ty :: RttiType wrapped_term :: Term

Instances

Outputable Term

obtainTermFromId :: HscEnv -> Int -> Bool -> Id -> IO Term Source

obtainTermFromVal :: HscEnv -> Int -> Bool -> Type -> a -> IO Term Source

reconstructType :: HscEnv -> Int -> Id -> IO (Maybe Type)Source