def checked

bendvy-ecs-core@0.1.0.3 · execution_save_layout_field.bend:22

import Base
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

22def checked(-P:Type,owner:P,key:String,+codec:D.Codec,+fuel:Nat,checked:D.Checked) -> P & Recipe.Field:
23  match checked:
24    case D.Accepted{raw}:(owner,Recipe.Saved{D.Field{key,D.canonical(fuel,codec,raw)}})
25    case D.Rejected{error}:(owner,Recipe.Refused{Recipe.InvalidProjection{key,error}})