def bind

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

import Base

145# Validate fragment metadata before consuming Owners with a trusted builder.
146# BindRejected returns the original fragment; Built contains builder output.
147# For a builder with explicit descriptor prerequisites use bind_declared.
148def bind(~S: Data,~Owners: Type,~Output: Type,~build: Owners -> Output,fragment: Fragment<S,Owners>) -> Bound<S,Owners,Output>:
149  match fragment:
150    case Fragment{+entries,owners}: bind_checked(~S,~Owners,~Output,~build,validate(~S,entries),Fragment{entries,owners})