Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Builder a
- class ToSelection a where
- toSelection :: a -> Selection
- runBuilder :: Builder a -> Script
- break :: Location -> Builder Id
- command :: Id -> Builder () -> Builder ()
- continue :: Builder ()
- step :: Builder ()
- stepN :: Int -> Builder ()
- next :: Builder ()
- nextN :: Int -> Builder ()
- run :: Builder ()
- reset :: Builder ()
- print :: Expr -> Builder ()
- set :: Var -> Expr -> Builder ()
- call :: Expr -> Builder ()
- delete :: ToSelection a => a -> Builder ()
- disable :: ToSelection a => a -> Builder ()
- enable :: ToSelection a => a -> Builder ()
- source :: FilePath -> Builder ()
- shell :: ShellCommand -> Builder ()
- target :: TargetConfig -> Builder ()
- info :: InfoOptions -> Builder ()
Documentation
Builder pattern that allows using monadic do-syntax to build a GDB script.
class ToSelection a where Source #
Helper typeclass, used for manipulating 1, many, or all Id
s.
toSelection :: a -> Selection Source #
Instances
ToSelection Selection Source # | |
Defined in Debugger.Builder toSelection :: Selection -> Selection Source # | |
ToSelection Id Source # | |
Defined in Debugger.Builder toSelection :: Id -> Selection Source # | |
ToSelection [Id] Source # | |
Defined in Debugger.Builder toSelection :: [Id] -> Selection Source # |
runBuilder :: Builder a -> Script Source #
Creates a GDB script based on a builder.
break :: Location -> Builder Id Source #
Emits a breakpoint statement.
Returns the Id
that corresponds with this newly set breakpoint.
command :: Id -> Builder () -> Builder () Source #
Emits a command statement, that should be triggered when a breakpoint is triggered.
delete :: ToSelection a => a -> Builder () Source #
Emits a delete statement.
disable :: ToSelection a => a -> Builder () Source #
Emits a disable statement.
enable :: ToSelection a => a -> Builder () Source #
Emits an enable statement.
shell :: ShellCommand -> Builder () Source #
Emits a shell statement.
target :: TargetConfig -> Builder () Source #
Emits a target statement.
info :: InfoOptions -> Builder () Source #
Emits an info statement.