work_done_progress_options.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
use json = "../../../../json"

use ".."

interface val WorkDoneProgressOptions is ResultData
  fun val workDoneProgress(): (Bool | None)

  fun val get_json_props(): Array[(String, json.Item)] =>
    let props = Array[(String, json.Item)]
    match workDoneProgress()
    | let bool: Bool =>
      props.push(("workDoneProgress", bool))
    end
    props

  fun val get_json(): json.Item =>
    json.Object(get_json_props())