def found.pick

ezx@1.11.0.0 · src/ws/up.bend:162

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/lock/plan.bend as LP

162# a member's ledger written back, or, for another's, nothing
163def found.pick(hit: Bool, +text: String, +ds: List<&2, String>, +joint: M.Manifest) -> List<&2, LP.Effect>:
164  match hit:
165    case True{}:
166      member.write(M.parse(text), ds, joint)
167    case False{}:
168      []