def answer.all

ezx@1.11.0.0 · src/tool/run.bend:137

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

137# every question answered
138def answer.all(asks: List<&2, TW.Ask>) -> IO(List<&2, TW.Reply>):
139  match asks:
140    case []:
141      IO.pure(List<&2, TW.Reply>, [])
142    case +h <> t:
143      do IO<List<&2, TW.Reply>>:
144        a : TW.Answer <- answer(h)
145        rest : List<&2, TW.Reply> <- answer.all(t)
146        return TW.Reply{h, a} <> rest