def answer.name

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

import Base
import ezx@1.11.0.0/src/hub/hub.bend as Web
import ezx@1.11.0.0/src/hub/get.bend as Net
import ezx@1.11.0.0/src/share/say.bend as Say
import ezx@1.11.0.0/src/share/spin.bend as Spin
import ezx@1.11.0.0/src/lock/world.bend as W

268# a name, asked of the hub once: `GET <hub>/name/<nv>`
269def answer.name(+hub: String, +nv: String) -> IO(W.Answer):
270  do IO<W.Answer>:
271    +s : Say.Spin <- Spin.hold(Say.dep.hub(nv))
272    g : Web.Got <- Net.fetch(hub ++ "/name/" ++ nv, "")
273    Spin.done(s)
274    return said(g)