RestorePrepare.dispatched: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/restore_prepare.bend as RestorePrepare
Lines 19-23 of bendvy-ecs-core@0.1.0.3/restore_prepare.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&start_line=19&end_line=23

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_data.bend&name=Dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_data.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=Walk
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=invalid
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=unknown