def read_field

bendvy-ecs-core@0.1.0.3 · execution_machine_access.bend:60

import Base
import bendvy-ecs-core@0.1.0.3/execution_machine_state.bend as State

60def read_field(~S:Data,~K:Data,~V:Data,~H:Type,cap:Read<S,K,V,H>) -> H -> H & State.View<S,K,V>:
61  match cap:
62    case Read{get}:get