type Run

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as Single

27# A detached batch is returned only after its actual ECS run has completed.
28# Execution returns a retained application result and a detached trace batch.
29# Inspect result for Finished/Failed/Rejected/Missing; tracing is Disabled or
30# Ready according to the actual run. Subscribers process the copied batch
31# afterward; external printing/file IO is outside ECS rollback.
32# Example: examples/scheduled-health/application.bend, ran().
33type Run<A:Type,S:Data,Error:Data> is Type:
34  Run{result:Single.RunResult<A,S,Error>,batch:Trace.Batch<Error>}