def append

bendvy-ecs-core@0.1.0.4 · ordinary_service_declaration.bend:72

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as Fragment

72# Compose service setup inventories and scans in left-before-right order. Does
73# not validate global identity uniqueness or provide a missing service payload.
74def append(~S:Data,~C:Type,~R:Type,~E:Data,~left:W.World<S,C,R,E> -> W.World<S,C,R,E> & List<&2,Status<S>>,~right:W.World<S,C,R,E> -> W.World<S,C,R,E> & List<&2,Status<S>>,a:Setup<S,C,R,E,left>,b:Setup<S,C,R,E,right>) -> Setup<S,C,R,E,scan_pair(~S,~C,~R,~E,~left,~right)>:
75  match a b:
76    case Setup{a} Setup{b}:Setup{List.append(&2,Fragment.Entry<S>,a,b)}