def apply_kind.pick

cswap-bend-cli@0.1.0.0 · urec.bend:70

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/poll.bend as Poll

70def apply_kind.pick(ok: Bool, +kind: U32, +row: Json.Json, +usage: Json.Json, +error: String, retry: Maybe<&2, U32>, struck: Json.Json, plan: Maybe<&2, Poll.Sched>, +now: U32) -> Json.Json:
71  match ok:
72    case True{}:
73      apply_ok(row, usage, plan, now)
74    case False{}:
75      apply_kind2(U32.is_eq(kind, 1), row, error, retry, struck, now)