def answer.all

ezx@1.11.0.0 · src/pub/run.bend:64

import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

64# every question, answered
65def answer.all(+lib: String, asks: List<&2, PW.Ask>) -> IO(List<&2, PW.Reply>):
66  match asks:
67    case []:
68      IO.pure(List<&2, PW.Reply>, [])
69    case +h <> t:
70      do IO<List<&2, PW.Reply>>:
71        a : PW.Answer <- answer(lib, h)
72        rest : List<&2, PW.Reply> <- answer.all(lib, t)
73        return PW.Reply{h, a} <> rest