def compose_checked

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

import Base

87def compose_checked(~S:Data,~Owners:Type,~Output:Type,~build:Owners -> Output,result:Validation,owners:Owners) -> Composition<S,Owners,Output>:
88  match result:
89    case Invalid{error}: Rejected{error,owners}
90    case Valid{}: Built{build(owners)}