def write

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

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

import Base
import transaction.bend as Tx

113def write(~S: Data,~M: Data,~V: Data,~W: Type,~E: Data,
114  ~take: W -> W & Slot<S,M,V>,~put: W -> Slot<S,M,V> -> W,
115  tx: Tx.Tx<W,E>,value: V,skipSame: Bool) -> Tx.Tx<W,E>:
116  match tx:
117    case Tx.Tx{world,undo,commands,events,trace}:
118      write_taken(~S,~M,~V,~W,~E,~put,take(world),undo,commands,events,trace,value,skipSame)

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.4/machine:next