DeletedResultReceiver

[Source]

Bridges a DeleteResultReceiver to a Promise[DeletedOrError], fulfilling the promise with Deleted on success or a RequestError on failure.

actor tag DeletedResultReceiver

Constructors

create

[Source]

new tag create(
  p: Promise[DeletedOrError] tag)
: DeletedResultReceiver tag^

Parameters

• p: Promise[DeletedOrError] tag

Returns

• DeletedResultReceiver tag^

---

Public Behaviours

success

[Source]

be success()

---

failure

[Source]

be failure(
  status: U16 val,
  response_body: String val,
  message: String val)

Parameters

• status: U16 val
• response_body: String val
• message: String val

---