~/jendhub

def plan.v

ezx@1.11.0.0 · src/pub/plan.bend:1215

import ezx@1.11.0.0/src/pub/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/pub/world.bend as PW

1215# the plan for where a World stands. One that still asks is a World the
1216# interpreter did not finish, and is refused rather than guessed at.
1217def plan.v(verdict: Verdict, +world: PW.World) -> P.Plan:
1218  match verdict:
1219    case Go{}:
1220      made(world)
1221    case Pending{_asks}:
1222      P.Plan{[], P.Refused{"ez: the publish of " ++ entry(world) ++
1223        " was never resolved"}}
1224    case Stop{why}:
1225      P.Plan{[], P.Refused{why}}

Uses (8)

Used by (2)