def input_read

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:367

import bendvy-ecs-core@0.1.0.4/event_runtime.bend as EventRuntime
import Base

367# Project copied unread values and lag from Input while retaining actual Args
368# inside the returned Input owner. Does not rerun or advance the reader.
369def input_read(~E: Data,~A: Type,input: Input<E,A>) -> Input<E,A> & Reading<E>:
370  match input:
371    case Input{+items,+lagged,args}: (Input{items,lagged,args},Reading{items,lagged})

Uses (4)

Used by (0)

No other definition uses this definition.