def compose

bendvy-ecs-core@0.1.0.3 · feature.bend:98

import Base

98# Validate the metadata tree before passing affine Owners to the trusted
99# build callback. Invalid returns Rejected with original owners; valid invokes
100# build once. Does not make arbitrary builder effects transactional.
101# Contract and accepted consumers: docs/parity/features.md.
102def compose(~S:Data,~Owners:Type,~Output:Type,~build:Owners -> Output,tree:Tree<S>,owners:Owners) -> Composition<S,Owners,Output>:
103  compose_checked(~S,~Owners,~Output,~build,validate(~S,tree),owners)