RestorePrepare.fields: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/restore_prepare.bend as RestorePrepare
Lines 24-27 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=24&end_line=27

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

def fields(~State:Type,~Custom:Data,~stage:State -> R.Position -> D.Field -> State & R.Dispatch<Custom>,+position:R.Position,values:List<&2,D.Field>,state:State) -> Walk<State,Custom>:
  match values:
    case []:Working{state}
    case D.Field{+name,value} <> rest:dispatched(~State,~Custom,position,name,next => fields(~State,~Custom,~stage,position,rest,next),stage(state,position,D.Field{name,value}))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Field
  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=dispatched