def invalid

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

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

15def invalid(~Custom:Data,position:R.Position,name:String,error:Constructor.Error<Custom>) -> R.Error<Custom>:
16  match position:
17    case R.Component{key}:R.InvalidComponent{key,name,error}
18    case R.Resource{}:R.InvalidResource{name,error}