DecodeFallibleConstructedRequests.constructed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend as DecodeFallibleConstructedRequests
Lines 24-27 of bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend&start_line=24&end_line=27

import Base
import decode_construction.bend as Constructor
import bundle_construction.bend as Build
import decode_requests.bend as Request
import bundle_requests.bend as Commands
import capabilities.bend as Cap

def constructed(~S:Data,~I:Type,~P:Type,~Custom:Data,~H:Type,~request:Cap.OwnedRequest<H,Request.Input<S,P>,Request.Output<S,P>>,ctx:H,operation:Commands.Operation<S>,result:Build.Construction<I,P,Constructor.Error<Custom>>) -> H & Output<S,I,P,Custom>:
  match result:
    case Build.Invalid{owner,error}:(ctx,Refused{Some{owner},Construction{error}})
    case Build.Constructed{owner,undo}:returned(~S,~I,~P,~Custom,~H,undo,Cap.owned_request(~H,~Request.Input<S,P>,~Request.Output<S,P>,~request,ctx,Request.Input{operation,owner}))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_construction.bend&name=Construction
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_requests.bend&name=Operation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=OwnedRequest
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=owned_request
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_construction.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend&name=Output
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend&name=returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_requests.bend&name=Input
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_requests.bend&name=Output