~/jendhub

def decide.name

ezx@1.11.0.0 · src/add/hub.bend:147

import ezx@1.11.0.0/src/add/hub.bend as Hub
import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/lock/world.bend as W

147# the name, once it is asked of the hub
148def decide.name(got: Maybe<&2, W.Answer>, +world: A.World) -> Verdict:
149  match got:
150    case None{}:
151      Pending{[W.Name{nv(world), A.hub(world)}]}
152    case Some{answer}:
153      decide.said(answer, world)

Uses (9)

Used by (1)