def runner

bendvy-ecs-core@0.1.0.3 · execution_command_system.bend:68

import Base
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as E
import bendvy-ecs-core@0.1.0.3/execution_system.bend as Sys
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_local.bend as Local
import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as Buffer
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as Removed

68def runner(~S:Data,~layout:Layout.Layout,~resources:Layout.Layout,~route:Layout.Route,~Ops:Data -> (Type -> Type) -> Type -> Type -> Type,~User:Type,~Error:Data,~Out:Data,~body:Body(~S,~layout,~resources,~route,~Ops,~User,~Error,~Out),~Permit:Data,~F:Type -> Type,~effects:E.Effects<F>,~H:Type,~caps:ScopedOps(~S,~layout,~resources,~route,~Ops,Permit,F,H),scope:H,local:Captures(~S,~layout,~resources,~route,~User)) -> F(H & (Captures(~S,~layout,~resources,~route,~User) & Sys.Completion<Error,Out>)):
69  Local.invoke(~S,~(Layout.payload(layout,route)),~(Removed.Removed(layout)),~Permit,~F,~effects,~User,~Error,~Out,~Ops,~body,~H,~(Permission.ops_field(Ops(Permit,F,H,Buffer.Buffer<S,Layout.payload(layout,route),Removed.Removed(layout)>),S,resources,caps)),scope,local)