work_done_progress.pony

1
2
3
4
5
6
7
8
9
use json = "../../../json"

type ProgressToken is (I128 | String)

interface val WorkDoneProgressParams is RequestParams
  fun val workDoneToken(): (ProgressToken | None)

interface val PartialResultParams
  fun val partialResultToken(): (ProgressToken | None)