def outcome

bendvy-ecs-core@0.1.0.4 · compose.bend:188

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

188def outcome(~U: Data,internal: Maybe<&2,W.WorldError>,user: T.Outcome<U>) -> T.Outcome<Error<U>>:
189  match internal user:
190    case Some{error} _: T.Failure{AccessError{error}}
191    case None{} T.Failure{error}: T.Failure{UserError{error}}
192    case None{} T.Success{}: T.Success{}