def plan.led

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

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

781# the plan: a missing ledger, then a missing lock, refused before the rest
782def plan.led(led: Bool, got: Maybe<&2, String>, +world: F.World) -> P.Plan:
783  match led:
784    case False{}:
785      P.Plan{[], P.Refused{need.no()}}
786    case True{}:
787      plan.lock(got, world)