~/jendhub

def finished_observed

bendvy-ecs-core@0.1.0.4 · compose.bend:348

import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import world.bend as W
import transaction.bend as T
import commands.bend as Cmd

348def finished_observed(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,~Out: Data,observed: T.Tx<W.World<S,Store,R,E>,E> & (T.Outcome<Error<U>> & List<&2,Out>)) -> Executed<W.World<S,Store,R,E>,Error<U>,Out> & TraceFacts.State:
349  match observed:
350    case (tx,(result,values)): finish_returned_observed(~S,~Store,~R,~E,~U,~Out,values,T.finish_observed(~W.World<S,Store,R,E>,~E,~Error<U>,~Cmd.enqueue(~S,~Store,~R,~E),~Cmd.publish(~S,~Store,~R,~E),tx,result))

Uses (13)

Used by (1)