def read

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

import Base
import transaction.bend as Tx

146def read(~S: Data,~M: Data,~V: Data,~W: Type,~E: Data,
147  ~take: W -> W & Slot<S,M,V>,tx: Tx.Tx<W,E>) -> Tx.Tx<W,E> & Slot<S,M,V>:
148  match tx:
149    case Tx.Tx{world,undo,commands,events,trace}: read_taken(~S,~M,~V,~W,~E,take(world),undo,commands,events,trace)