Enum EventKind 

pub enum EventKind {
    Root,
    TaskStart,
    Spawned(TaskIndex),
    Indent {
        message: &'static str,
        json_value: String,
    },
    Undent {
        message: &'static str,
    },
    Log {
        message: &'static str,
        json_value: String,
    },
    Infer {
        message: &'static str,
        infer: InferVarIndex,
        json_value: String,
    },
}

Variants

Root

Root event of type checking

TaskStart

Start event for a task spawned during type checking

Spawned(TaskIndex)

Current task spawned the child with the given index

Indent

Display hint: indent further logs until Undent encountered

Fields

message: &'static str

json_value: String

Undent

End indenting

Fields

message: &'static str

Log

Add a log item with the given header + (JSON-encoded) argument

Fields

message: &'static str

json_value: String

Infer

A log message about an inference variable being created or modified

Fields

message: &'static str

infer: InferVarIndex

json_value: String