Safe Haskell	None
Language	Haskell2010

GHC.Debugger.Interface.Messages

Contents

Orphan instances

Description

Types for sending and receiving messages to/from ghc-debugger

Synopsis

data Command
- = SetBreakpoint Breakpoint
- | DelBreakpoint Breakpoint
- | GetBreakpointsAt Breakpoint
- | ClearModBreakpoints {
  - file :: FilePath
  }
- | ClearFunctionBreakpoints
- | GetStacktrace
- | GetScopes
- | GetVariables VariableReference
- | DoEval String
- | DoContinue
- | DoStepLocal
- | DoSingleStep
- | DebugExecution {
  - entryPoint :: EntryPoint
  - runArgs :: [String]
  }
- | TerminateProcess
data EntryPoint
- = MainEntry {
  - mainName :: Maybe String
  }
- | FunctionEntry {
  - fnName :: String
  }
data Breakpoint
- = ModuleBreak {
  - path :: FilePath
  - lineNum :: Int
  - columnNum :: Maybe Int
  }
- | FunctionBreak {
  - function :: String
  }
- | OnExceptionsBreak
- | OnUncaughtExceptionsBreak
data ScopeInfo = ScopeInfo {
- kind :: ScopeVariablesReference
- sourceSpan :: SourceSpan
- numVars :: Maybe Int
- expensive :: Bool
}
data VarFields
- = LabeledFields [VarInfo]
- | IndexedFields [VarInfo]
- | NoFields
data VarInfo = VarInfo {
- varName :: String
- varType :: String
- varValue :: String
- isThunk :: Bool
- varRef :: VariableReference
- varFields :: VarFields
}
data BreakpointKind
- = ModuleBreakpointKind
- | FunctionBreakpointKind
data ScopeVariablesReference
data VariableReference
- = NoVariables
- | LocalVariables
- | ModuleVariables
- | GlobalVariables
- | SpecificVariable Int
data SourceSpan = SourceSpan {
- file :: !FilePath
- startLine :: !Int
- endLine :: !Int
- startCol :: !Int
- endCol :: !Int
}
data Response
- = DidEval EvalResult
- | DidSetBreakpoint BreakFound
- | DidRemoveBreakpoint BreakFound
- | DidGetBreakpoints (Maybe SourceSpan)
- | DidClearBreakpoints
- | DidContinue EvalResult
- | DidStep EvalResult
- | DidExec EvalResult
- | GotStacktrace [StackFrame]
- | GotScopes [ScopeInfo]
- | GotVariables (Either VarInfo [VarInfo])
- | Aborted String
- | Initialised
data BreakFound
- = BreakFound {
  - changed :: !Bool
  - breakId :: BreakpointId
  - sourceSpan :: SourceSpan
  }
- | BreakFoundNoLoc {
  - changed :: Bool
  }
- | BreakNotFound
- | ManyBreaksFound [BreakFound]
data EvalResult
- = EvalCompleted {
  - resultVal :: String
  - resultType :: String
  }
- | EvalException {
  - resultVal :: String
  - resultType :: String
  }
- | EvalStopped {
  - breakId :: Maybe BreakpointId
  }
- | EvalAbortedWith String
data StackFrame = StackFrame {
- name :: String
- sourceSpan :: SourceSpan
}

Documentation

data Command Source #

The commands sent to ghc debugger

Constructors

SetBreakpoint Breakpoint	Set a breakpoint on a given function, or module by line number
DelBreakpoint Breakpoint	Delete a breakpoint on a given function, or module by line number
GetBreakpointsAt Breakpoint	Find the valid breakpoints locations for the given module Breakpoint
ClearModBreakpoints	Clear all breakpoints in the specified file. This is useful because DAP's `setBreakpoints` re-sets all breakpoints from zero for a source rather than incrementally.
Fields file :: FilePath
ClearFunctionBreakpoints	Clear all function breakpoints
GetStacktrace	Get the evaluation stacktrace until the current breakpoint.
GetScopes	Get the list of available scopes at the current breakpoint
GetVariables VariableReference	Get the variables in scope for the current breakpoint. Note: for GHCs <9.13 this only reports the variables free in the expression we're stopped at rather than all variables in scope.
DoEval String	Evaluate an expression at the current breakpoint.
DoContinue	Continue executing from the current breakpoint
DoStepLocal	Step local, which executes until next breakpoint in the same function.
DoSingleStep	Single step always to the next breakpoint. Used for "step-in".
DebugExecution	Execute a prog with debugging enabled. Breaks on the existing breakpoints. Constructed with an entry point function name and the arguments to pass it. When the `EntryPoint` is `Main`, `runArgs` are set as process invocation arguments (as in `argv`) rather than passed directly as a Haskell function arguments.
Fields entryPoint :: EntryPoint runArgs :: [String]
TerminateProcess	Terminate ghc-debugger and exit

Instances

Instances details

FromJSON Command Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser Command #

parseJSONList :: Value -> Parser [Command] #

omittedField :: Maybe Command #

ToJSON Command Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: Command -> Value #

toEncoding :: Command -> Encoding #

toJSONList :: [Command] -> Value #

toEncodingList :: [Command] -> Encoding #

omitField :: Command -> Bool #

Generic Command Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep Command

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep Command = D1 ('MetaData "Command" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (((C1 ('MetaCons "SetBreakpoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Breakpoint)) :+: (C1 ('MetaCons "DelBreakpoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Breakpoint)) :+: C1 ('MetaCons "GetBreakpointsAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Breakpoint)))) :+: ((C1 ('MetaCons "ClearModBreakpoints" 'PrefixI 'True) (S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: C1 ('MetaCons "ClearFunctionBreakpoints" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GetStacktrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GetScopes" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GetVariables" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableReference)) :+: (C1 ('MetaCons "DoEval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "DoContinue" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DoStepLocal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoSingleStep" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DebugExecution" 'PrefixI 'True) (S1 ('MetaSel ('Just "entryPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EntryPoint) :*: S1 ('MetaSel ('Just "runArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])) :+: C1 ('MetaCons "TerminateProcess" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: Command -> Rep Command x #

to :: Rep Command x -> Command #

Show Command Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> Command -> ShowS #

show :: Command -> String #

showList :: [Command] -> ShowS #

type Rep Command Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep Command = D1 ('MetaData "Command" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (((C1 ('MetaCons "SetBreakpoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Breakpoint)) :+: (C1 ('MetaCons "DelBreakpoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Breakpoint)) :+: C1 ('MetaCons "GetBreakpointsAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Breakpoint)))) :+: ((C1 ('MetaCons "ClearModBreakpoints" 'PrefixI 'True) (S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: C1 ('MetaCons "ClearFunctionBreakpoints" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GetStacktrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GetScopes" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GetVariables" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableReference)) :+: (C1 ('MetaCons "DoEval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "DoContinue" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DoStepLocal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoSingleStep" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DebugExecution" 'PrefixI 'True) (S1 ('MetaSel ('Just "entryPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EntryPoint) :*: S1 ('MetaSel ('Just "runArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])) :+: C1 ('MetaCons "TerminateProcess" 'PrefixI 'False) (U1 :: Type -> Type)))))

data EntryPoint Source #

An entry point for program execution.

Constructors

MainEntry
Fields mainName :: Maybe String
FunctionEntry
Fields fnName :: String

Instances

Instances details

FromJSON EntryPoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser EntryPoint #

parseJSONList :: Value -> Parser [EntryPoint] #

omittedField :: Maybe EntryPoint #

ToJSON EntryPoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: EntryPoint -> Value #

toEncoding :: EntryPoint -> Encoding #

toJSONList :: [EntryPoint] -> Value #

toEncodingList :: [EntryPoint] -> Encoding #

omitField :: EntryPoint -> Bool #

Generic EntryPoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep EntryPoint

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep EntryPoint = D1 ('MetaData "EntryPoint" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "MainEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "mainName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :+: C1 ('MetaCons "FunctionEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "fnName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: EntryPoint -> Rep EntryPoint x #

to :: Rep EntryPoint x -> EntryPoint #

Show EntryPoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> EntryPoint -> ShowS #

show :: EntryPoint -> String #

showList :: [EntryPoint] -> ShowS #

type Rep EntryPoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep EntryPoint = D1 ('MetaData "EntryPoint" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "MainEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "mainName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :+: C1 ('MetaCons "FunctionEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "fnName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data Breakpoint Source #

A breakpoint can be set/removed on functions by name, or in modules by line number. And, globally, for all exceptions, or just uncaught exceptions.

Constructors

ModuleBreak
Fields path :: FilePath lineNum :: Int columnNum :: Maybe Int
FunctionBreak
Fields function :: String
OnExceptionsBreak
OnUncaughtExceptionsBreak

Instances

Instances details

FromJSON Breakpoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser Breakpoint #

parseJSONList :: Value -> Parser [Breakpoint] #

omittedField :: Maybe Breakpoint #

ToJSON Breakpoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: Breakpoint -> Value #

toEncoding :: Breakpoint -> Encoding #

toJSONList :: [Breakpoint] -> Value #

toEncodingList :: [Breakpoint] -> Encoding #

omitField :: Breakpoint -> Bool #

Generic Breakpoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep Breakpoint

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep Breakpoint = D1 ('MetaData "Breakpoint" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "ModuleBreak" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "lineNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "columnNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)))) :+: C1 ('MetaCons "FunctionBreak" 'PrefixI 'True) (S1 ('MetaSel ('Just "function") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "OnExceptionsBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OnUncaughtExceptionsBreak" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Breakpoint -> Rep Breakpoint x #

to :: Rep Breakpoint x -> Breakpoint #

Show Breakpoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> Breakpoint -> ShowS #

show :: Breakpoint -> String #

showList :: [Breakpoint] -> ShowS #

type Rep Breakpoint Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep Breakpoint = D1 ('MetaData "Breakpoint" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "ModuleBreak" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "lineNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "columnNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)))) :+: C1 ('MetaCons "FunctionBreak" 'PrefixI 'True) (S1 ('MetaSel ('Just "function") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "OnExceptionsBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OnUncaughtExceptionsBreak" 'PrefixI 'False) (U1 :: Type -> Type)))

data ScopeInfo Source #

Information about a scope

Constructors

ScopeInfo
Fields kind :: ScopeVariablesReference sourceSpan :: SourceSpan numVars :: Maybe Int expensive :: Bool

Instances

Instances details

FromJSON ScopeInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser ScopeInfo #

parseJSONList :: Value -> Parser [ScopeInfo] #

omittedField :: Maybe ScopeInfo #

ToJSON ScopeInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: ScopeInfo -> Value #

toEncoding :: ScopeInfo -> Encoding #

toJSONList :: [ScopeInfo] -> Value #

toEncodingList :: [ScopeInfo] -> Encoding #

omitField :: ScopeInfo -> Bool #

Generic ScopeInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep ScopeInfo

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep ScopeInfo = D1 ('MetaData "ScopeInfo" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "ScopeInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScopeVariablesReference) :*: S1 ('MetaSel ('Just "sourceSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan)) :*: (S1 ('MetaSel ('Just "numVars") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "expensive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Methods

from :: ScopeInfo -> Rep ScopeInfo x #

to :: Rep ScopeInfo x -> ScopeInfo #

Show ScopeInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> ScopeInfo -> ShowS #

show :: ScopeInfo -> String #

showList :: [ScopeInfo] -> ShowS #

type Rep ScopeInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep ScopeInfo = D1 ('MetaData "ScopeInfo" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "ScopeInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScopeVariablesReference) :*: S1 ('MetaSel ('Just "sourceSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan)) :*: (S1 ('MetaSel ('Just "numVars") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "expensive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data VarFields Source #

Constructors

LabeledFields [VarInfo]
IndexedFields [VarInfo]
NoFields

Instances

Instances details

FromJSON VarFields Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser VarFields #

parseJSONList :: Value -> Parser [VarFields] #

omittedField :: Maybe VarFields #

ToJSON VarFields Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: VarFields -> Value #

toEncoding :: VarFields -> Encoding #

toJSONList :: [VarFields] -> Value #

toEncodingList :: [VarFields] -> Encoding #

omitField :: VarFields -> Bool #

Eq VarFields Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

(==) :: VarFields -> VarFields -> Bool #

(/=) :: VarFields -> VarFields -> Bool #

Generic VarFields Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep VarFields

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep VarFields = D1 ('MetaData "VarFields" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "LabeledFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarInfo])) :+: (C1 ('MetaCons "IndexedFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarInfo])) :+: C1 ('MetaCons "NoFields" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: VarFields -> Rep VarFields x #

to :: Rep VarFields x -> VarFields #

Show VarFields Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> VarFields -> ShowS #

show :: VarFields -> String #

showList :: [VarFields] -> ShowS #

type Rep VarFields Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep VarFields = D1 ('MetaData "VarFields" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "LabeledFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarInfo])) :+: (C1 ('MetaCons "IndexedFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarInfo])) :+: C1 ('MetaCons "NoFields" 'PrefixI 'False) (U1 :: Type -> Type)))

data VarInfo Source #

Information about a variable

Constructors

VarInfo
Fields varName :: String varType :: String varValue :: String isThunk :: Bool varRef :: VariableReference A reference back to this variable varFields :: VarFields A `VarInfo` for each field. These may be named (`Left`) or indexed fields (`Right`).

Instances

Instances details

FromJSON VarInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser VarInfo #

parseJSONList :: Value -> Parser [VarInfo] #

omittedField :: Maybe VarInfo #

ToJSON VarInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: VarInfo -> Value #

toEncoding :: VarInfo -> Encoding #

toJSONList :: [VarInfo] -> Value #

toEncodingList :: [VarInfo] -> Encoding #

omitField :: VarInfo -> Bool #

Eq VarInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

(==) :: VarInfo -> VarInfo -> Bool #

(/=) :: VarInfo -> VarInfo -> Bool #

Generic VarInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep VarInfo

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep VarInfo = D1 ('MetaData "VarInfo" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "VarInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "varValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :*: (S1 ('MetaSel ('Just "isThunk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "varRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableReference) :*: S1 ('MetaSel ('Just "varFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarFields)))))

Methods

from :: VarInfo -> Rep VarInfo x #

to :: Rep VarInfo x -> VarInfo #

Show VarInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> VarInfo -> ShowS #

show :: VarInfo -> String #

showList :: [VarInfo] -> ShowS #

type Rep VarInfo Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep VarInfo = D1 ('MetaData "VarInfo" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "VarInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "varName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "varType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "varValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :*: (S1 ('MetaSel ('Just "isThunk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "varRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableReference) :*: S1 ('MetaSel ('Just "varFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarFields)))))

data BreakpointKind Source #

What kind of breakpoint are we referring to, module or function breakpoints? Used e.g. in the ClearBreakpoints request

Constructors

ModuleBreakpointKind	Module breakpoints
FunctionBreakpointKind	Function breakpoints

Instances

Instances details

FromJSON BreakpointKind Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser BreakpointKind #

parseJSONList :: Value -> Parser [BreakpointKind] #

omittedField :: Maybe BreakpointKind #

ToJSON BreakpointKind Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: BreakpointKind -> Value #

toEncoding :: BreakpointKind -> Encoding #

toJSONList :: [BreakpointKind] -> Value #

toEncodingList :: [BreakpointKind] -> Encoding #

omitField :: BreakpointKind -> Bool #

Eq BreakpointKind Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

(==) :: BreakpointKind -> BreakpointKind -> Bool #

(/=) :: BreakpointKind -> BreakpointKind -> Bool #

Generic BreakpointKind Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep BreakpointKind
Instance details Defined in GHC.Debugger.Interface.Messages type Rep BreakpointKind = D1 ('MetaData "BreakpointKind" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "ModuleBreakpointKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FunctionBreakpointKind" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: BreakpointKind -> Rep BreakpointKind x #

to :: Rep BreakpointKind x -> BreakpointKind #

Show BreakpointKind Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> BreakpointKind -> ShowS #

show :: BreakpointKind -> String #

showList :: [BreakpointKind] -> ShowS #

type Rep BreakpointKind Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep BreakpointKind = D1 ('MetaData "BreakpointKind" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "ModuleBreakpointKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FunctionBreakpointKind" 'PrefixI 'False) (U1 :: Type -> Type))

data ScopeVariablesReference Source #

Referring to existing scopes

Constructors

LocalVariablesScope
ModuleVariablesScope
GlobalVariablesScope

Instances

Instances details

FromJSON ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser ScopeVariablesReference #

parseJSONList :: Value -> Parser [ScopeVariablesReference] #

omittedField :: Maybe ScopeVariablesReference #

ToJSON ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: ScopeVariablesReference -> Value #

toEncoding :: ScopeVariablesReference -> Encoding #

toJSONList :: [ScopeVariablesReference] -> Value #

toEncodingList :: [ScopeVariablesReference] -> Encoding #

omitField :: ScopeVariablesReference -> Bool #

Eq ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

(==) :: ScopeVariablesReference -> ScopeVariablesReference -> Bool #

(/=) :: ScopeVariablesReference -> ScopeVariablesReference -> Bool #

Ord ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Generic ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep ScopeVariablesReference

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep ScopeVariablesReference = D1 ('MetaData "ScopeVariablesReference" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "LocalVariablesScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModuleVariablesScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GlobalVariablesScope" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ScopeVariablesReference -> Rep ScopeVariablesReference x #

to :: Rep ScopeVariablesReference x -> ScopeVariablesReference #

Show ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> ScopeVariablesReference -> ShowS #

show :: ScopeVariablesReference -> String #

showList :: [ScopeVariablesReference] -> ShowS #

type Rep ScopeVariablesReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep ScopeVariablesReference = D1 ('MetaData "ScopeVariablesReference" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "LocalVariablesScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModuleVariablesScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GlobalVariablesScope" 'PrefixI 'False) (U1 :: Type -> Type)))

data VariableReference Source #

The type of variables referenced, or a particular variable referenced for its fields or value (when inspecting a thunk)

Constructors

NoVariables	A void reference to nothing at all. Used e.g. for ty cons and data cons
LocalVariables	Variables in the local context (includes arguments, previous bindings)
ModuleVariables	Variables in the module where we're stopped
GlobalVariables	Variables in the global context
SpecificVariable Int	A reference to a specific variable. Used to force its result or get its structured children

Instances

Instances details

FromJSON VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser VariableReference #

parseJSONList :: Value -> Parser [VariableReference] #

omittedField :: Maybe VariableReference #

ToJSON VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: VariableReference -> Value #

toEncoding :: VariableReference -> Encoding #

toJSONList :: [VariableReference] -> Value #

toEncodingList :: [VariableReference] -> Encoding #

omitField :: VariableReference -> Bool #

Eq VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

(==) :: VariableReference -> VariableReference -> Bool #

(/=) :: VariableReference -> VariableReference -> Bool #

Ord VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

compare :: VariableReference -> VariableReference -> Ordering #

(<) :: VariableReference -> VariableReference -> Bool #

(<=) :: VariableReference -> VariableReference -> Bool #

(>) :: VariableReference -> VariableReference -> Bool #

(>=) :: VariableReference -> VariableReference -> Bool #

max :: VariableReference -> VariableReference -> VariableReference #

min :: VariableReference -> VariableReference -> VariableReference #

Bounded VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

minBound :: VariableReference #

maxBound :: VariableReference #

Enum VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

succ :: VariableReference -> VariableReference #

pred :: VariableReference -> VariableReference #

toEnum :: Int -> VariableReference #

fromEnum :: VariableReference -> Int #

enumFrom :: VariableReference -> [VariableReference] #

enumFromThen :: VariableReference -> VariableReference -> [VariableReference] #

enumFromTo :: VariableReference -> VariableReference -> [VariableReference] #

enumFromThenTo :: VariableReference -> VariableReference -> VariableReference -> [VariableReference] #

Generic VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep VariableReference

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep VariableReference = D1 ('MetaData "VariableReference" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "NoVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LocalVariables" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ModuleVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GlobalVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpecificVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

Methods

from :: VariableReference -> Rep VariableReference x #

to :: Rep VariableReference x -> VariableReference #

Show VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> VariableReference -> ShowS #

show :: VariableReference -> String #

showList :: [VariableReference] -> ShowS #

type Rep VariableReference Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep VariableReference = D1 ('MetaData "VariableReference" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "NoVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LocalVariables" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ModuleVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GlobalVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpecificVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data SourceSpan Source #

A source span type for the interface. Like RealSrcSpan.

Constructors

SourceSpan
Fields file :: !FilePath Path to file where this span is located startLine :: !Int RealSrcSpan start line endLine :: !Int RealSrcSpan end line startCol :: !Int RealSrcSpan start col endCol :: !Int RealSrcSpan end col

Instances

Instances details

FromJSON SourceSpan Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser SourceSpan #

parseJSONList :: Value -> Parser [SourceSpan] #

omittedField :: Maybe SourceSpan #

ToJSON SourceSpan Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: SourceSpan -> Value #

toEncoding :: SourceSpan -> Encoding #

toJSONList :: [SourceSpan] -> Value #

toEncodingList :: [SourceSpan] -> Encoding #

omitField :: SourceSpan -> Bool #

Generic SourceSpan Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep SourceSpan

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep SourceSpan = D1 ('MetaData "SourceSpan" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "SourceSpan" 'PrefixI 'True) ((S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "startLine") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "endLine") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "startCol") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "endCol") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)))))

Methods

from :: SourceSpan -> Rep SourceSpan x #

to :: Rep SourceSpan x -> SourceSpan #

Show SourceSpan Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> SourceSpan -> ShowS #

show :: SourceSpan -> String #

showList :: [SourceSpan] -> ShowS #

type Rep SourceSpan Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep SourceSpan = D1 ('MetaData "SourceSpan" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "SourceSpan" 'PrefixI 'True) ((S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "startLine") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "endLine") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "startCol") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "endCol") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)))))

data Response Source #

The responses sent by `ghc-debugger` to the client

Instances

Instances details

FromJSON Response Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser Response #

parseJSONList :: Value -> Parser [Response] #

omittedField :: Maybe Response #

ToJSON Response Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: Response -> Value #

toEncoding :: Response -> Encoding #

toJSONList :: [Response] -> Value #

toEncodingList :: [Response] -> Encoding #

omitField :: Response -> Bool #

Generic Response Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep Response

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

from :: Response -> Rep Response x #

to :: Rep Response x -> Response #

Show Response Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> Response -> ShowS #

show :: Response -> String #

showList :: [Response] -> ShowS #

type Rep Response Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

data BreakFound Source #

Constructors

BreakFound
Fields changed :: !Bool Did the status of the found breakpoint change? breakId :: BreakpointId Internal breakpoint identifier (module + ix) (TODO: Don't expose GHC) sourceSpan :: SourceSpan Source span for interface
BreakFoundNoLoc	Breakpoint found but without location info. This happens when setting breakpoints on exceptions.
Fields changed :: Bool Did the status of the found breakpoint change?
BreakNotFound	No breakpoints found
ManyBreaksFound [BreakFound]	Found many breakpoints. Caused by setting breakpoint on a name with multiple matches or many equations.

Instances

Instances details

FromJSON BreakFound Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser BreakFound #

parseJSONList :: Value -> Parser [BreakFound] #

omittedField :: Maybe BreakFound #

ToJSON BreakFound Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: BreakFound -> Value #

toEncoding :: BreakFound -> Encoding #

toJSONList :: [BreakFound] -> Value #

toEncodingList :: [BreakFound] -> Encoding #

omitField :: BreakFound -> Bool #

Generic BreakFound Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep BreakFound

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep BreakFound = D1 ('MetaData "BreakFound" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "BreakFound" 'PrefixI 'True) (S1 ('MetaSel ('Just "changed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "breakId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BreakpointId) :*: S1 ('MetaSel ('Just "sourceSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan))) :+: C1 ('MetaCons "BreakFoundNoLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "changed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "BreakNotFound" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ManyBreaksFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BreakFound]))))

Methods

from :: BreakFound -> Rep BreakFound x #

to :: Rep BreakFound x -> BreakFound #

Show BreakFound Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> BreakFound -> ShowS #

show :: BreakFound -> String #

showList :: [BreakFound] -> ShowS #

type Rep BreakFound Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep BreakFound = D1 ('MetaData "BreakFound" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "BreakFound" 'PrefixI 'True) (S1 ('MetaSel ('Just "changed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "breakId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BreakpointId) :*: S1 ('MetaSel ('Just "sourceSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan))) :+: C1 ('MetaCons "BreakFoundNoLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "changed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "BreakNotFound" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ManyBreaksFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BreakFound]))))

data EvalResult Source #

Constructors

EvalCompleted
Fields resultVal :: String resultType :: String
EvalException
Fields resultVal :: String resultType :: String
EvalStopped
Fields breakId :: Maybe BreakpointId Did we stop at an exception (`Nothing`) or at a breakpoint (`Just`)?
EvalAbortedWith String	Evaluation failed for some reason other than completedcompleted-with-exceptionstopped.

Instances

Instances details

FromJSON EvalResult Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser EvalResult #

parseJSONList :: Value -> Parser [EvalResult] #

omittedField :: Maybe EvalResult #

ToJSON EvalResult Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: EvalResult -> Value #

toEncoding :: EvalResult -> Encoding #

toJSONList :: [EvalResult] -> Value #

toEncodingList :: [EvalResult] -> Encoding #

omitField :: EvalResult -> Bool #

Generic EvalResult Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep EvalResult

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep EvalResult = D1 ('MetaData "EvalResult" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "EvalCompleted" 'PrefixI 'True) (S1 ('MetaSel ('Just "resultVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "resultType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "EvalException" 'PrefixI 'True) (S1 ('MetaSel ('Just "resultVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "resultType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "EvalStopped" 'PrefixI 'True) (S1 ('MetaSel ('Just "breakId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BreakpointId))) :+: C1 ('MetaCons "EvalAbortedWith" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

Methods

from :: EvalResult -> Rep EvalResult x #

to :: Rep EvalResult x -> EvalResult #

Show EvalResult Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> EvalResult -> ShowS #

show :: EvalResult -> String #

showList :: [EvalResult] -> ShowS #

type Rep EvalResult Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep EvalResult = D1 ('MetaData "EvalResult" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) ((C1 ('MetaCons "EvalCompleted" 'PrefixI 'True) (S1 ('MetaSel ('Just "resultVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "resultType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "EvalException" 'PrefixI 'True) (S1 ('MetaSel ('Just "resultVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "resultType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "EvalStopped" 'PrefixI 'True) (S1 ('MetaSel ('Just "breakId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BreakpointId))) :+: C1 ('MetaCons "EvalAbortedWith" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data StackFrame Source #

Constructors

StackFrame
Fields name :: String Title of stack frame sourceSpan :: SourceSpan Source span for this stack frame

Instances

Instances details

FromJSON StackFrame Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

parseJSON :: Value -> Parser StackFrame #

parseJSONList :: Value -> Parser [StackFrame] #

omittedField :: Maybe StackFrame #

ToJSON StackFrame Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

toJSON :: StackFrame -> Value #

toEncoding :: StackFrame -> Encoding #

toJSONList :: [StackFrame] -> Value #

toEncodingList :: [StackFrame] -> Encoding #

omitField :: StackFrame -> Bool #

Generic StackFrame Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Associated Types

type Rep StackFrame

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep StackFrame = D1 ('MetaData "StackFrame" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "StackFrame" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "sourceSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan)))

Methods

from :: StackFrame -> Rep StackFrame x #

to :: Rep StackFrame x -> StackFrame #

Show StackFrame Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

Methods

showsPrec :: Int -> StackFrame -> ShowS #

show :: StackFrame -> String #

showList :: [StackFrame] -> ShowS #

type Rep StackFrame Source #

Instance details

Defined in GHC.Debugger.Interface.Messages

type Rep StackFrame = D1 ('MetaData "StackFrame" "GHC.Debugger.Interface.Messages" "ghc-debugger-0.1.0-inplace" 'False) (C1 ('MetaCons "StackFrame" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "sourceSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan)))

Orphan instances

FromJSON BreakpointId Source #
Instance details Methods parseJSON :: Value -> Parser BreakpointId # parseJSONList :: Value -> Parser [BreakpointId] # omittedField :: Maybe BreakpointId #
ToJSON BreakpointId Source #
Instance details Methods toJSON :: BreakpointId -> Value # toEncoding :: BreakpointId -> Encoding # toJSONList :: [BreakpointId] -> Value # toEncodingList :: [BreakpointId] -> Encoding # omitField :: BreakpointId -> Bool #
Show BreakpointId Source #
Instance details Methods showsPrec :: Int -> BreakpointId -> ShowS # show :: BreakpointId -> String # showList :: [BreakpointId] -> ShowS #

DidEval EvalResult
DidSetBreakpoint BreakFound
DidRemoveBreakpoint BreakFound
DidGetBreakpoints (Maybe SourceSpan)
DidClearBreakpoints
DidContinue EvalResult
DidStep EvalResult
DidExec EvalResult
GotStacktrace [StackFrame]
GotScopes [ScopeInfo]
GotVariables (Either VarInfo [VarInfo])
Aborted String
Initialised