def next_declared

bendvy-ecs-core@0.1.0.4 · machine_queue.bend:42

import bendvy-ecs-core@0.1.0.4/machine_queue.bend as MachineQueue
import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/transaction.bend as Tx

42def next_declared(~S:Data,~K:Data,~V:Data,~W:Type,~E:Data,~take:W -> W & M.Slot<S,K,V>,~put:W -> M.Slot<S,K,V> -> W,~same:V -> V -> Bool,family:M.Family<S,K,V,W,take,put>,tx:Tx.Tx<W,E>,request:M.QueueInput<V>) -> Tx.Tx<W,E>:
43  match family:
44    case M.Family{name}:declared_named(~S,~K,~V,~W,~E,~take,~put,~same,name,request,Tx.trace_enabled(~W,~E,tx))

Uses (8)

Used by (1)