def invoked

bendvy-ecs-core@0.1.0.4 · ordinary_app_existing_execution.bend:34

import Base
import bendvy-ecs-core@0.1.0.4/execution_context.bend as Ctx
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

34def invoked(~S:Data,~World:Type,~O:Type,~Shared:Type,~Error:Data,~invoke:O -> Shared -> Ctx.Context<World> -> O & (Shared & Sys.Outcome<Ctx.Context<World>,Error,Unit>),~refused:Error,allowed:Bool,owner:O,shared:Shared,context:Ctx.Context<World>) -> (O & Shared) & Sys.Outcome<Ctx.Context<World>,Error,Unit>:
35  match allowed:
36    case False{}:((owner,shared),Sys.Failed{context,refused})
37    case True{}:returned(~World,~O,~Shared,~Error,invoke(owner,shared,context))