def write_read_field

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

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

63def write_read_field(~S:Data,~K:Data,~V:Data,~H:Type,cap:Write<S,K,V,H>) -> H -> H & State.View<S,K,V>:
64  match cap:
65    case Write{get,_}:get