Variant

io-error

No description available.

variant io-error {
  message-not-started,
  message-in-progress,
  message-finished,
  closed,
  io(string),
  unexpected(string),
}

Cases

CasePayloadDescription
message-not-started—

The message has not been started yet.

message-in-progress—

A message is currently in progress.

message-finished—

The message has been finished.

closed—

The output stream has been closed.

iostring

An I/O error occurred.

unexpectedstring

Some other error occurred.