def read

bendvy-ecs-core@0.1.0.4 · inspector_transition_projection.bend:26

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

26# Read the declared resource stream without executing a transition or advancing
27# an event reader. Return the affine frame and its detached transition log.
28def read(~S:Data,~K:Data,~V:Data,~C:Type,~R:Type,~E:Data,~take:R -> R & St.Stream<V>,frame:F.Frame<S,C,R,E>) -> F.Frame<S,C,R,E> & TransitionLog<S,K,V>:
29  match frame:
30    case F.Frame{runtime,cursor}:from_runtime(~S,~K,~V,~C,~R,~E,~take,cursor,runtime)