def appended

bendvy-ecs-core@0.1.0.4 · ordinary_app_composer.bend:40

import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as Leaf
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Records
import bendvy-ecs-core@0.1.0.4/ordinary_app_recipe.bend as Tree
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO

40# Advanced registration-composition adapter pairing existing and leaf owners.
41# Combine observations and field folds in left-before-right order, preserving the
42# supplied World and debug flag. This does not itself register or run the leaf.
43def appended(~S:Data,~World:Type,~Owners:Type,~Rows:Data,~observe:World -> World & DTO.Observation<Rows>,~fold:Owners -> Owners & List<&2,Records.Fields<S>>,~Leaf:Type,~Value:Data,~leafObserve:World -> World & DTO.Observation<Value>,~leafFold:Leaf -> Leaf & List<&2,Records.Fields<S>>,world:World,owners:Owners,leaf:Leaf,debug:Bool) -> Registered<S,World,Owners & Leaf,DTO.Product<Rows,Value>,Tree.observe_pair(~World,~Rows,~Value,~observe,~leafObserve),Leaf.fold_pair(~S,~Owners,~Leaf,~fold,~leafFold)>:
44  Registered{world,(owners,leaf),Tree.Recipe{},debug}