def bind_checked

bendvy-ecs-core@0.1.0.3 · schema_fragments.bend:141

import Base

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