SchemaFragments.bind_checked: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
Lines 141-144 of bendvy-ecs-core@0.1.0.3/schema_fragments.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&start_line=141&end_line=144

import Base

def bind_checked(~S: Data,~Owners: Type,~Output: Type,~build: Owners -> Output,result: Validation,fragment: Fragment<S,Owners>) -> Bound<S,Owners,Output>:
  match result fragment:
    case Invalid{error} fragment: BindRejected{error,fragment}
    case Valid{} Fragment{_,owners}: Built{build(owners)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Bound
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Fragment
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Validation