def request_field

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

import bendvy-ecs-core@0.1.0.3/execution_machine_access.bend as ExecutionMachineAccess
import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M

66def request_field(~S:Data,~K:Data,~V:Data,~H:Type,cap:Write<S,K,V,H>) -> M.QueueInput<V> -> H -> H & Unit:
67  match cap:
68    case Write{_,request}:request

Uses (4)

Used by (0)

No other definition uses this definition.