dap

machine.Stop.kindName

def Stop.kindName {C : Type} {W : Type} {S : Type} {E : Type} {O : Type} (s : Stop C W S E O) : String

The name of a stop’s kind, as reports show it.

machine.Stop.detail

def Stop.detail {C : Type} {W : Type} {S : Type} {E : Type} {O : Type} (showReason : W -> Json) (showException : E -> Json) (s : Stop C W S E O) : Json

The details of the stop s: the reason for undefined or unspecified behavior as showReason shows it, the uncaught exception as showException shows it, else an empty object.

machine.DapFrame

record DapFrame

One frame of the call stack as the host shows it: the function, the node it is at, its variables.

machine.DapFrame.toJson

def DapFrame.toJson (f : DapFrame) : Json

The frame f as JSON: {“fn”, “at”, “vars”}.

machine.DapFrame.listJson

def DapFrame.listJson (frames : List DapFrame) : String

The call stack frames, innermost first, rendered as JSON.

machine.Stop.report

def Stop.report {C : Type} {W : Type} {S : Type} {E : Type} {O : Type} (output : String) (showReason : W -> Json) (showException : E -> Json) (s : Stop C W S E O) : String

A one-shot report of a run that ended at the stop s: its kind, its node, the program’s output and the details (reasons shown with showReason, exceptions with showException).