IsabelleClient.Task (isabelle_elixir v0.3.0)

Result of an Isabelle asynchronous server task.

Summary

t()

Isabelle asynchronous task.

new(id)

Creates a running task struct from an Isabelle task id.

@type t() :: %IsabelleClient.Task{
  id: String.t(),
  notes: [map()],
  result: map() | nil,
  status: :running | :finished | :failed
}

Isabelle asynchronous task.

result is the final FINISHED or FAILED payload. notes contains NOTE payloads received while waiting for the task.

Creates a running task struct from an Isabelle task id.