def with_strike

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

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

38def with_strike(perm: Bool, +strikes: U32, struck: Json.Json, +row: Json.Json) -> Json.Json:
39  match perm:
40    case True{}:
41      Json.set("struckFingerprint", struck, Json.set("authDeadStrikes", Json.JNum{U32.show((strikes + 1 : U32))}, row))
42    case False{}:
43      row