def outcome.entry

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

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/plan.bend as P

261# an entry asked for must be in the package
262def outcome.entry(held: Bool, fit: Bool, +at: String, +world: A.World) -> P.Outcome:
263  match held:
264    case True{}:
265      outcome.fit(fit)
266    case False{}:
267      P.Refused{"ez: " ++ at ++ " is not in " ++ nv(world)}

Uses (7)

Used by (1)