Urec.record.fenced: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/urec.bend as Urec Lines 83-88 of cswap-bend-cli@0.1.0.0/urec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&start_line=83&end_line=88 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 def record.fenced(ok: Bool, +rows: Json.Json, +slot: String, +row: Json.Json, +kind: U32, +usage: Json.Json, +error: String, retry: Maybe<&2, U32>, struck: Json.Json, plan: Maybe<&2, Poll.Sched>, done: List<&2, String>, +now: U32) -> RA: match ok: case True{}: RA{Json.set(slot, apply_kind(kind, row, usage, error, retry, struck, plan, now), rows), slot <> done} case False{}: RA{rows, done} Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=set https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/poll.bend&name=Sched https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=RA https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=apply_kind