def back.has

ezmcp@0.1.0.0 · src/rpc.bend:265

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as Value

265def back.has(
266  id: Value.Json,
267  has_result: Bool,
268  result: Value.Json,
269  has_error: Bool,
270  code: Maybe<&2, String>,
271  message: Maybe<&2, String>
272) -> Reply:
273  match has_result has_error:
274    case True{} False{}:
275      Got{id, result}
276    case False{} True{}:
277      back.refused(id, code, message)
278    case r e:
279      Unread{"a reply must hold exactly one of result and error"}