~/jendhub

def next

bendvy-ecs-core@0.1.0.4 · machine.bend:134

import bendvy-ecs-core@0.1.0.4/machine.bend as Machine
import Base
import transaction.bend as Tx

134def next(~S: Data,~M: Data,~V: Data,~W: Type,~E: Data,
135  ~take: W -> W & Slot<S,M,V>,~put: W -> Slot<S,M,V> -> W,
136  tx: Tx.Tx<W,E>,request: QueueInput<V>) -> Tx.Tx<W,E>:
137  match request:
138    case Set{value,skipSame}: write(~S,~M,~V,~W,~E,~take,~put,tx,value,skipSame)
139    case Reset{}: reset_tx(~S,~M,~V,~W,~E,~take,~put,tx)

Uses (6)

Used by (1)