DecodeConstruction.fallible_construct: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/decode_construction.bend as DecodeConstruction
Lines 45-47 of bendvy-ecs-core@0.1.0.3/decode_construction.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/decode_construction.bend&start_line=45&end_line=47

import Base
import ordinary_declaration.bend as Identity
import decode_data.bend as D
import decode.bend as Decode
import bundle_construction.bend as Build

def fallible_construct(~S:Data,~I:Type,~P:Type,~Custom:Data,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,~incoming:I -> I & D.Raw,~build:I -> D.Raw -> Build.Construction<I,P,Custom>,factory:FallibleFactory<S,I,P,Custom,identity,project,incoming,build>,input:I) -> Build.Construction<I,P,Error<Custom>>:
  match factory:
    case FallibleFactory{_,inputCodec}:fallible_checked(~I,~P,~Custom,~build,Decode.decode_owner(~I,~incoming,inputCodec,input))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&name=Construction
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode.bend&name=decode_owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_construction.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_construction.bend&name=FallibleFactory
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_construction.bend&name=fallible_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/ordinary_declaration.bend&name=Declaration