def dispatched

bendvy-ecs-core@0.1.0.3 · restore_prepare.bend:19

import Base
import bendvy-ecs-core@0.1.0.3/restore_data.bend as R

19def dispatched(~State:Type,~Custom:Data,+position:R.Position,+name:String,next:State -> Walk<State,Custom>,observed:State & R.Dispatch<Custom>) -> Walk<State,Custom>:
20  match observed:
21    case (state,R.Unhandled{}):Stopped{state,unknown(~Custom,position,name)}
22    case (state,R.Rejected{error}):Stopped{state,invalid(~Custom,position,name,error)}
23    case (state,R.Staged{}):next(state)