DecodeConstruction.checked: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/decode_construction.bend as DecodeConstruction
Lines 15-18 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=15&end_line=18

import Base
import decode_data.bend as D
import bundle_construction.bend as Build

def checked(~I:Type,~P:Type,~build:I -> D.Raw -> Build.Construction<I,P,D.Error>,receipt:D.Receipt<I>) -> Build.Construction<I,P,D.Error>:
  match receipt:
    case D.Receipt{owner,D.Rejected{error}}:Build.Invalid{owner,error}
    case D.Receipt{owner,D.Accepted{canonical}}:build(owner,canonical)

Uses (5):
  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_data.bend&name=Checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Error
  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/decode_data.bend&name=Receipt