def read_finished

bendvy-ecs-core@0.1.0.4 · ordinary_app_stream.bend:45

import Base
import bendvy-ecs-core@0.1.0.4/inspector_stream_frame.bend as F
import bendvy-ecs-core@0.1.0.4/inspector_transition_projection.bend as T
import bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend as Fail
import bendvy-ecs-core@0.1.0.4/machine_stream.bend as St

45def read_finished(~S:Data,~K:Data,~V:Data,~C:Type,~R:Type,~E:Data,~H:Type,~take:R -> R & St.Stream<V>,~transition:T.Declaration<S,K,V,R,take>,~failure:Fail.Declaration<S>,owners:H,debug:Bool,returned:F.Frame<S,C,R,E> & Values<S,K,V,E>) -> Application<S,K,V,C,R,E,H,take,transition,failure> & Values<S,K,V,E>:
46  match returned:
47    case (F.Frame{runtime,cursor},values):(Application{runtime,owners,cursor,debug},values)