def entries_of

cswap-bend-cli@0.1.0.0 · daemon/tick.bend:186

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G
import cswap-bend-cli@0.1.0.0/daemon/view.bend as V
import cswap-bend-cli@0.1.0.0/daemon/status.bend as Stat

186def entries_of(+es: List<&2, G.Ent>, +us: List<&2, T.Usage>, +rows: Json.Json, +now: Nat, +ms: List<&2, String>) -> List<&2, Stat.Entry>:
187  match es:
188    case Nil{}:
189      []
190    case Con{e, t}:
191      entry_push(V.usage_for(us, V.slot_nat_of(V.ent_slot(e))), e, rows, now, ms, entries_of(t, us, rows, now, ms))