def compose_checked

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

import Base

94def compose_checked(~S:Data,~Owners:Type,~Output:Type,~build:Owners -> Output,result:Validation,owners:Owners) -> Composition<S,Owners,Output>:
95  match result:
96    case Invalid{error}: Rejected{error,owners}
97    case Valid{}: Built{build(owners)}