Run.answer.all: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/tool/run.bend as Run Lines 137-146 of ezx@1.11.0.0/src/tool/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/run.bend&start_line=137&end_line=146 import Base import ezx@1.11.0.0/src/tool/world.bend as TW # every question answered def answer.all(asks: List<&2, TW.Ask>) -> IO(List<&2, TW.Reply>): match asks: case []: IO.pure(List<&2, TW.Reply>, []) case +h <> t: do IO>: a : TW.Answer <- answer(h) rest : List<&2, TW.Reply> <- answer.all(t) return TW.Reply{h, a} <> rest Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Reply