def outcome

bendvy-ecs-core@0.1.0.4 · provider.bend:90

import Base
import world.bend as W
import transaction.bend as T

90def outcome(~U: Data,internal: Maybe<&2,W.WorldError>,user: T.Outcome<U>) -> T.Outcome<Error<U>>:
91  match internal user:
92    case Some{error} _: T.Failure{AccessError{error}}
93    case None{} T.Failure{error}: T.Failure{UserError{error}}
94    case None{} T.Success{}: T.Success{}