def success

bendvy-ecs-core@0.1.0.4 · owned_event_family_reader_query.bend:81

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream

81def success(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Observation:Type,~U:Data,~Out:Data,~F:Type,~take:F -> F & Stream.Stream<S,Nat>,~put:F -> Stream.Stream<S,Nat> -> F,~run:W.World<S,C,R,E> -> Ev.Input<Nat,Args & Maybe<&2,Tick.Tick>> -> Sys.Outcome<W.World<S,C,R,E>,Unit,Reply<Args,Observation,U,Out>>,reader:Route.Reader<S,Nat,F,take,put>,registry:Sys.Registry<S,C,R,E,Ev.Input<Nat,Args & Maybe<&2,Tick.Tick>>,Unit,Reply<Args,Observation,U,Out>,run>,reply:Reply<Args,Observation,U,Out>,observed:W.World<S,C,R,E> & Tick.Tick,family:F,tick:Nat) -> Route.RunResult<S,C,R,E,Nat,F,Args & Maybe<&2,Tick.Tick>,Unit,Reply<Args,Observation,U,Out>,take,put,run>:
82  match observed:
83    case (world,_):Route.Ran{Route.Runtime{world,family,tick},reader,registry,Ev.Succeeded{reply}}