def inspect

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

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

31# Build a read capability using the declaration's typed resource lens. The
32# declaration name does not select a different stream or enforce lens behavior.
33def inspect(~S:Data,~K:Data,~V:Data,~C:Type,~R:Type,~E:Data,~take:R -> R & St.Stream<V>,~declaration:Declaration<S,K,V,R,take>) -> Cap.ValueRead<F.Frame<S,C,R,E>,TransitionLog<S,K,V>>:
34  Cap.ValueRead{read(~S,~K,~V,~C,~R,~E,~take)}