~/jendhub

def finished

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

import bendvy-ecs-core@0.1.0.4/owned_event_family_reader_query.bend as OwnedEventFamilyReaderQuery
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

60def finished(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Observation:Type,~U:Data,~Out:Data,args:Args,observations:List<Observation>,values:List<&2,Out>,lagged:Bool,result:T.Returned<W.World<S,C,R,E>,Error<U>>) -> Sys.Outcome<W.World<S,C,R,E>,Unit,Reply<Args,Observation,U,Out>>:
61  match result:
62    case T.Returned{world,T.Success{}}:Sys.Succeeded{world,Reply{T.Success{},args,observations,values,lagged}}
63    case T.Returned{world,T.Failure{error}}:Sys.Succeeded{world,Reply{T.Failure{error},args,observations,[],lagged}}

Uses (9)

Used by (2)