~/jendhub

def seal

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

import ezx@1.11.0.0/src/add/hub.bend as Hub
import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

319# a plan that refuses has no effect at all; its reason is how it ends
320def seal(es: List<&2, P.Effect>, outcome: P.Outcome) -> P.Plan:
321  match outcome:
322    case P.Success{}:
323      P.Plan{es, P.Success{}}
324    case P.Refused{why}:
325      P.Plan{[], P.Refused{why}}

Uses (4)

Used by (1)