def answer.ups

ezx@1.11.0.0 · src/lock/run.bend:551

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

551# every one of them, answered
552def answer.ups(+lib: String, asks: List<&2, Up.Ask>) -> IO(List<&2, Up.Reply>):
553  match asks:
554    case []:
555      IO.pure(List<&2, Up.Reply>, [])
556    case +h <> t:
557      do IO<List<&2, Up.Reply>>:
558        a : Up.Answer <- answer.up(lib, h)
559        rest : List<&2, Up.Reply> <- answer.ups(lib, t)
560        return Up.Reply{h, a} <> rest