def with_runtime

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

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as A
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

74# Advanced effect adapter threading actual Runtime and returning Out while retaining
75# App owners/cursor/debug. The effect chooses any synchronization/frame changes;
76# this wrapper supplies no transaction, implicit acknowledgement or cleanup.
77def with_runtime(~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>,~O:Type,effect:Ev.Runtime<S,C,R,A.Notice<S,E>> -> Ev.Runtime<S,C,R,A.Notice<S,E>> & O,app:Application<S,K,V,C,R,E,H,take,transition,failure>) -> Application<S,K,V,C,R,E,H,take,transition,failure> & O:
78  match app:
79    case Application{runtime,owners,cursor,debug}:with_runtime_finished(~S,~K,~V,~C,~R,~E,~H,~take,~transition,~failure,~O,owners,cursor,debug,effect(runtime))