def pass.heal

cswap-bend-cli@0.1.0.0 · collectrun.bend:197

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore
import cswap-bend-cli@0.1.0.0/view.bend as View
import cswap-bend-cli@0.1.0.0/collect.bend as Collect

197def pass.heal(+root: String, ss: List<&2, Collect.St>, +models: List<&2, String>, +threshold: U32, +now: U32, +tick: Nat, +xs: List<&2, Collect.Info>) -> Act.of(List<&2, View.Acct>):
198  Act.bind(Unit, List<&2, View.Acct>, clear_if(root, healed_ids(ss)),
199    u => Act.bind(Json.Json, List<&2, View.Acct>, Ustore.read_act(root),
200      rows => Act.bind(List<&2, Collect.St>, List<&2, View.Acct>, Act.lift(List<&2, Collect.St>, Collect.states(xs, rows, now)),
201        s2 => pass.fetch(root, s2, models, threshold, now, tick, xs))))