def run

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

import Base

177def run(-Root:Type,-Provisions:Type,-Out:Data,invoke:Root -> Root & Out,application:Application<Root,Provisions>) -> Application<Root,Provisions> & Report<Out>:
178  match application:
179    case Application{root,provisions,Some{+error}}:(Application{root,provisions,Some{error}},Refused{error})
180    case Application{root,provisions,None{}}:returned(Root,Provisions,Out,provisions,invoke(root))