TraceExportRecord

type TraceExportRecord =
    | Header of text: string
    | Events of from: int * to: int * text: string
    | Gap of from: int * to: int


Assembly	`Ranvier`
Attributes	`[<RequireQualifiedAccess>]`

One unit of an exported trace stream.

Cases

Header of text: string

The dump header line and snapshot line the stream starts from.

Events of from: int * to: int * text: string

The schema 3 dump lines of the events with seqs from to to, each ending in \n.

Gap of from: int * to: int

The events with seqs from to to are absent from the stream.

text (record: TraceExportRecord) : string

The lines of record: a header's or a batch's text, and for a gap the line {"gap":{"from":F,"to":T}}. Each line ends in \n.

member IsEvents: bool

member IsGap: bool

member IsHeader: bool