Safe Haskell	None
Language	Haskell2010

GHC.Debugger.Monad

Synopsis

newtype Debugger a = Debugger {
- unDebugger :: ReaderT DebuggerState Ghc a
}
data DebuggerState = DebuggerState {
- activeBreakpoints :: IORef (ModuleEnv (IntMap (BreakpointStatus, BreakpointKind)))
- varReferences :: IORef (IntMap (Name, Term))
- genUniq :: IORef Int
}
data BreakpointStatus
- = BreakpointDisabled
- | BreakpointEnabled
- | BreakpointAfterCount Int
data RunDebuggerSettings = RunDebuggerSettings {
- supportsANSIStyling :: Bool
- supportsANSIHyperlinks :: Bool
}
runDebugger :: Handle -> FilePath -> [String] -> [String] -> RunDebuggerSettings -> Debugger a -> IO a
debuggerLoggerAction :: Handle -> LogAction
registerBreakpoint :: BreakpointId -> BreakpointStatus -> BreakpointKind -> Debugger Bool
getActiveBreakpoints :: Maybe FilePath -> Debugger [BreakpointId]
getAllLoadedModules :: GhcMonad m => m [ModSummary]
getModuleByPath :: FilePath -> Debugger (Either String ModSummary)
lookupVarByReference :: Int -> Debugger (Maybe (Name, Term))
insertVarReference :: Int -> Name -> Term -> Debugger ()
seqTerm :: Term -> Debugger Term
deepseqTerm :: Term -> Debugger Term
continueToCompletion :: Debugger ExecResult
breakpointStatusInt :: BreakpointStatus -> Int
freshInt :: Debugger Int
initialDebuggerState :: Ghc DebuggerState
liftGhc :: Ghc a -> Debugger a
type Warning = String
displayWarnings :: [Warning] -> Debugger ()

Documentation

newtype Debugger a Source #

A debugger action.

Constructors

Debugger
Fields unDebugger :: ReaderT DebuggerState Ghc a

Instances

Instances details

MonadCatch Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods catch :: (HasCallStack, Exception e) => Debugger a -> (e -> Debugger a) -> Debugger a #
MonadMask Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods mask :: HasCallStack => ((forall a. Debugger a -> Debugger a) -> Debugger b) -> Debugger b # uninterruptibleMask :: HasCallStack => ((forall a. Debugger a -> Debugger a) -> Debugger b) -> Debugger b # generalBracket :: HasCallStack => Debugger a -> (a -> ExitCase b -> Debugger c) -> (a -> Debugger b) -> Debugger (b, c) #
MonadThrow Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods throwM :: (HasCallStack, Exception e) => e -> Debugger a #
HasDynFlags Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods getDynFlags :: Debugger DynFlags #
GhcMonad Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods getSession :: Debugger HscEnv # setSession :: HscEnv -> Debugger () #
HasLogger Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods getLogger :: Debugger Logger #
Applicative Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods pure :: a -> Debugger a # (<>) :: Debugger (a -> b) -> Debugger a -> Debugger b # liftA2 :: (a -> b -> c) -> Debugger a -> Debugger b -> Debugger c # (>) :: Debugger a -> Debugger b -> Debugger b # (<*) :: Debugger a -> Debugger b -> Debugger a #
Functor Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods fmap :: (a -> b) -> Debugger a -> Debugger b # (<$) :: a -> Debugger b -> Debugger a #
Monad Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods (>>=) :: Debugger a -> (a -> Debugger b) -> Debugger b # (>>) :: Debugger a -> Debugger b -> Debugger b # return :: a -> Debugger a #
MonadIO Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods liftIO :: IO a -> Debugger a #
MonadReader DebuggerState Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods ask :: Debugger DebuggerState # local :: (DebuggerState -> DebuggerState) -> Debugger a -> Debugger a # reader :: (DebuggerState -> a) -> Debugger a #

data DebuggerState Source #

State required to run the debugger.

Keep track of active breakpoints to easily unset them all.

Constructors

DebuggerState

Fields

activeBreakpoints :: IORef (ModuleEnv (IntMap (BreakpointStatus, BreakpointKind)))
Maps a BreakpointId in Trie representation to the BreakpointStatus it was activated with.
varReferences :: IORef (IntMap (Name, Term))
When we're stopped at a breakpoint, this maps variable reference to Terms to allow further inspection and forcing by reference.
This map is only valid while stopped in this context. After stepping or resuming evaluation in any available way, this map becomes invalid and should therefore be cleaned.
genUniq :: IORef Int
Generates unique ints

Instances

Instances details

MonadReader DebuggerState Debugger Source #
Instance details Defined in GHC.Debugger.Monad Methods ask :: Debugger DebuggerState # local :: (DebuggerState -> DebuggerState) -> Debugger a -> Debugger a # reader :: (DebuggerState -> a) -> Debugger a #

data BreakpointStatus Source #

Enabling/Disabling a breakpoint

Constructors

BreakpointDisabled

Breakpoint is disabled

Note: this must be the first constructor s.t. BreakpointDisabled < {BreakpointEnabled, BreakpointAfterCount}

BreakpointEnabled

Breakpoint is enabled

BreakpointAfterCount Int

Breakpoint is disabled the first N times and enabled afterwards

Instances

Instances details

Eq BreakpointStatus Source #
Instance details Defined in GHC.Debugger.Monad Methods (==) :: BreakpointStatus -> BreakpointStatus -> Bool # (/=) :: BreakpointStatus -> BreakpointStatus -> Bool #
Ord BreakpointStatus Source #
Instance details Defined in GHC.Debugger.Monad Methods compare :: BreakpointStatus -> BreakpointStatus -> Ordering # (<) :: BreakpointStatus -> BreakpointStatus -> Bool # (<=) :: BreakpointStatus -> BreakpointStatus -> Bool # (>) :: BreakpointStatus -> BreakpointStatus -> Bool # (>=) :: BreakpointStatus -> BreakpointStatus -> Bool # max :: BreakpointStatus -> BreakpointStatus -> BreakpointStatus # min :: BreakpointStatus -> BreakpointStatus -> BreakpointStatus #

data RunDebuggerSettings Source #

Additional settings configuring the debugger

Constructors

RunDebuggerSettings
Fields supportsANSIStyling :: Bool supportsANSIHyperlinks :: Bool

runDebugger Source #

Arguments

:: Handle	The handle to which GHC's output is logged. The debuggee output is not affected by this parameter.
-> FilePath	The libdir (given with -B as an arg)
-> [String]	The list of units included in the invocation
-> [String]	The full ghc invocation (as constructed by hie-bios flags)
-> RunDebuggerSettings	Other debugger run settings
-> Debugger a	`Debugger` action to run on the session constructed from this invocation
-> IO a

Run a Debugger action on a session constructed from a given GHC invocation.

debuggerLoggerAction :: Handle -> LogAction Source #

The logger action used to log GHC output

registerBreakpoint :: BreakpointId -> BreakpointStatus -> BreakpointKind -> Debugger Bool Source #

Registers or deletes a breakpoint in the GHC session and from the list of active breakpoints that is kept in DebuggerState, depending on the BreakpointStatus being set.

Returns True when the breakpoint status is changed.

getActiveBreakpoints :: Maybe FilePath -> Debugger [BreakpointId] Source #

Get a list with all currently active breakpoints on the given module (by path)

If the path argument is Nothing, get all active function breakpoints instead

getAllLoadedModules :: GhcMonad m => m [ModSummary] Source #

List all loaded modules ModSummarys

getModuleByPath :: FilePath -> Debugger (Either String ModSummary) Source #

Get a ModSummary of a loaded module given its FilePath

lookupVarByReference :: Int -> Debugger (Maybe (Name, Term)) Source #

Find a variable's associated Term and Name by reference (Int)

insertVarReference :: Int -> Name -> Term -> Debugger () Source #

Inserts a mapping from the given variable reference to the variable's associated Term and the Name it is bound to for display