def published

bendvy-ecs-core@0.1.0.4 · machine_handler_engine.bend:60

import Base
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/machine.bend as M

60def published(~S:Data,~State:Type,~Entry:Type,~Phase:Data,~V:Data,~invoke:Entry -> State -> Phase -> V -> V -> Entry & Sys.Outcome<State,String,Unit>,~initial:Entry -> State -> V -> Entry & Sys.Outcome<State,String,Unit>,~exitPhase:Phase,~transitionPhase:Phase,~enterPhase:Phase,~K:Data,~take:State -> State & M.Slot<S,K,V>,~put:State -> M.Slot<S,K,V> -> State,~publish:State -> M.Transition<V> -> State,observed:State & M.Slot<S,K,V>,+from:V,+to:V) -> State:
61  (world,slot)=observed
62  publish(put(world,committed(~S,~K,~V,slot,from,to)),M.Transition{from,to})