def finish

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

import Base
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/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/commands.bend as Cmd

64def finish(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Observation:Type,~U:Data,~Out:Data,lagged:Bool,result:Args & (List<Observation> & (T.Tx<W.World<S,C,R,E>,E> & (T.Outcome<Error<U>> & List<&2,Out>)))) -> Sys.Outcome<W.World<S,C,R,E>,Unit,Reply<Args,Observation,U,Out>>:
65  match result:
66    case (args,(observations,(tx,(status,values)))):finished(~S,~C,~R,~E,~Args,~Observation,~U,~Out,args,observations,values,lagged,Cmd.tx_finish(~S,~C,~R,~E,~Error<U>,tx,status))