Provider.outcome: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/provider.bend as Provider
Lines 90-94 of bendvy-ecs-core@0.1.0.4/provider.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/provider.bend&start_line=90&end_line=94

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/provider.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=WorldError