def machine_ops

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_field_declaration.bend:88

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as Machine
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

88# The same declared machine supplies its grant, access name and current observer.
89# Operation-family alias for reading a declared machine's CurrentView and
90# submitting QueueInput. The write input is a queued transition request, not a
91# replacement for the complete resource owner or immediate transition execution.
92def machine_ops(~S:Data,~K:Data,~V:Data,H:Type) -> Type:
93  Cap.ValueWrite<H,Machine.QueueInput<V>,Machine.CurrentView<S,K,V>>