~/jendhub

def get

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

import bendvy-ecs-core@0.1.0.4/ordinary_machine_operations.bend as OrdinaryMachineOperations
import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/machine_world.bend as MW
import bendvy-ecs-core@0.1.0.4/transaction.bend as Tx
import bendvy-ecs-core@0.1.0.4/world.bend as W

14# Advanced transactional read of the committed machine CurrentView through
15# the trusted nominal slot lens, returning the transaction owner. Queued targets
16# are not committed current state; a missing slot remains explicit.
17def get(~S:Data,~K:Data,~V:Data,~C:Type,~R:Type,~E:Data,~take:R -> R & M.Slot<S,K,V>,frame:Tx.Tx<W.World<S,C,R,E>,E>) -> Tx.Tx<W.World<S,C,R,E>,E> & M.CurrentView<S,K,V>:
18  current(~S,~K,~V,~C,~R,~E,M.read(~S,~K,~V,~W.World<S,C,R,E>,~E,~MW.take(~S,~K,~V,~C,~R,~E,~take),frame))

Uses (8)

Used by (2)