def barrier_chunk

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as OrdinaryAppExecution
import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace

103def barrier_chunk(~Error:Data,journal:List<&2,Trace.TraceEvent<Error>>) -> List<&2,Trace.TraceEvent<Error>> & List<&2,Trace.TraceEvent<Error>>:
104  match journal:
105    case []:([],[])
106    case Trace.BarrierOperationObserved{fact} <> rest:ran_chunk_more(~Error,Trace.BarrierOperationObserved{fact},barrier_chunk(~Error,rest))
107    case event <> rest:([],event <> rest)

Uses (5)

Used by (1)