def entity_checked

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

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
import bendvy-ecs-core@0.1.0.3/entity_key.bend as Key

36def entity_checked(~State:Type,~Custom:Data,duplicate:Bool,+key:Key.Key,fields:List<&2,D.Field>,state:State,next:State -> Walk<State,Custom>,stage:State -> List<&2,D.Field> -> Walk<State,Custom>) -> Walk<State,Custom>:
37  match duplicate:
38    case True{}:Stopped{state,R.DuplicateEntity{key}}
39    case False{}:continued(~State,~Custom,next,stage(state,fields))