def compose

bendvy-ecs-core@0.1.0.4 · feature.bend:91

import Base

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