def step.lock

ezx@1.11.0.0 · src/fetch/plan.bend:863

import ezx@1.11.0.0/src/fetch/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/lock/lock.bend as L

863def step.lock(got: Maybe<&2, String>, +world: F.World) -> Step:
864  match got:
865    case None{}:
866      Run{P.Plan{[], P.Refused{need.lock()}}}
867    case Some{_text}:
868      +ss = F.sects(world)
869      +ps = parts.of(ss, world)
870      +ms = name.parts.of(ss, world)
871      step.asks(List.append(&2, F.Ask, asks.of(ps, F.here(world), L.lock.hub(ss)), names.asks(ms)),
872        ps, ms)

Uses (18)

Used by (1)