Resource

server-notifier

No description available.

resource server-notifier;

F constructor

constructor: func(out: output-stream) -> server-notifier;

progress: func(token: progress-token, progress: f64, total: option<f64>, message: option<string>) -> result<_, server-notifier-error>;

Send a notifications/progress notification to the peer.

finish: func(notifier: server-notifier) -> output-stream;