RecognizedSystem.runner: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/recognized_system.bend as RecognizedSystem Lines 46-48 of bendvy-ecs-core@0.1.0.4/recognized_system.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recognized_system.bend&start_line=46&end_line=48 import Base import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick import bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend as N import bendvy-ecs-core@0.1.0.4/ordinary_system.bend as Ordinary import bendvy-ecs-core@0.1.0.4/compose.bend as Q import bendvy-ecs-core@0.1.0.4/transaction.bend as T import bendvy-ecs-core@0.1.0.4/world.bend as W import bendvy-ecs-core@0.1.0.4/system.bend as Sys def runner(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,~A:Data,~U:Data,~Out:Data,~query:N.Declaration,~body:@-H:Type -> @-caps:Ops(H) -> A -> H -> H & (T.Outcome & Out),world:W.World,args:A & Maybe<&2,Tick.Tick>) -> Sys.Outcome,Q.Error,List<&2,Out>>: match args: case (args,cursor):Ordinary.completed(~S,~Store,~R,~E,~U,~Out,reserved(~S,~Store,~R,~E,~Ops,~A,~U,~Out,~query,~body,args,cursor,W.handles(~S,~Store,~R,~E,world))) Uses (13): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/change_tick.bend&name=Tick https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/compose.bend&name=Error https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_system.bend&name=completed https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&name=Declaration https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_system.bend&name=reserved https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Outcome https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=handles