DecodeConstructedResource.constructed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/decode_constructed_resource.bend as DecodeConstructedResource
Lines 16-19 of bendvy-ecs-core@0.1.0.4/decode_constructed_resource.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/decode_constructed_resource.bend&start_line=16&end_line=19

import Base
import decode_validated_resource.bend as Resource
import decode_data.bend as D
import bundle_construction.bend as Build
import capabilities.bend as Cap

def constructed(~I:Type,~R:Type,~H:Type,~request:Cap.OwnedRequest<H,R,Resource.Output<R>>,ctx:H,value:Build.Construction<I,R,D.Error>) -> H & Output<I,R>:
  match value:
    case Build.Invalid{owner,error}:(ctx,Refused{owner,error})
    case Build.Constructed{owner,undo}:returned(~I,~R,~H,undo,Cap.owned_request(~H,~R,~Resource.Output<R>,~request,ctx,owner))

Uses (9):
  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/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_constructed_resource.bend&name=Output
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_constructed_resource.bend&name=returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_data.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_validated_resource.bend&name=Output