def merge_checked

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

import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments

import Base

131def merge_checked(~S: Data,~L: Type,~R: Type,result: Validation,+entries: List<&2,Entry<S>>,left: Fragment<S,L>,right: Fragment<S,R>) -> Merge<S,L,R>:
132  match result left right:
133    case Invalid{error} left right: Rejected{error,left,right}
134    case Valid{} Fragment{_,l} Fragment{_,r}: Merged{Fragment{entries,(l,r)}}

Uses (6)

Used by (1)

bendvy-ecs-core@0.1.0.3/schema_fragments:merge