Run.answer: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/fetch/run.bend as Run Lines 42-64 of ezx@1.11.0.0/src/fetch/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/run.bend&start_line=42&end_line=64 import Base import ezx@1.11.0.0/src/io/file.bend as F import ezx@1.11.0.0/src/lock/run.bend as Run import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/lock/up.bend as Up import ezx@1.11.0.0/src/fetch/world.bend as FW # one question, answered def answer(+lib: String, ask: FW.Ask) -> IO(FW.Answer): match ask: case FW.Laid{hash}: do IO: a : W.Answer <- laid(lib, hash) return FW.Read{a} case FW.Git{_hash, q}: do IO: a : Up.Answer <- Run.answer.up(lib, q) return FW.Said{a} case FW.Hub{q}: do IO: a : W.Answer <- Run.answer(lib, q) return FW.Read{a} case FW.Named{nv}: do IO: m : Maybe<&2, String> <- F.read(lib ++ "/names/" ++ nv) return FW.Held{m} case FW.Tree{_hash, _entry}: do IO: l : W.Listing <- Run.read.listing() return FW.Seen{l} Uses (16): 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=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/run.bend&name=laid https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=answer.up https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=read.listing https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing