def read

bendvy-ecs-core@0.1.0.4 · ordinary_machine_operations.bend:25

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_machine_declaration.bend as OD
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/transaction.bend as Tx
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

25# Declare current-state read access to the nominal machine slot.
26# The resulting capability threads the transaction owner and exposes only
27# CurrentView; building it does not read state or grant next-state writes.
28def read(~S:Data,~K:Data,~V:Data,~C:Type,~R:Type,~E:Data,~take:R -> R & M.Slot<S,K,V>,~declaration:OD.Declaration<S,K,V,R,take>) -> Cap.ValueRead<Tx.Tx<W.World<S,C,R,E>,E>,M.CurrentView<S,K,V>>:
29  Cap.ValueRead{get(~S,~K,~V,~C,~R,~E,~take)}