~/jendhub

def completed_observed

bendvy-ecs-core@0.1.0.4 · ordinary_system.bend:105

import bendvy-ecs-core@0.1.0.4/ordinary_system.bend as OrdinarySystem
import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

105def completed_observed(~S:Data,~C:Type,~R:Type,~E:Data,~U:Data,~Out:Data,result:Q.Executed<W.World<S,C,R,E>,Q.Error<U>,Out> & TraceFacts.State) -> Sys.Outcome<W.World<S,C,R,E>,Q.Error<U>,List<&2,Out>> & TraceFacts.State:
106  match result:
107    case (executed,trace):(completed(~S,~C,~R,~E,~U,~Out,executed),trace)

Uses (9)

Used by (1)