def field_checked

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:101

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as R

101def field_checked(+field:D.Field,result:Dispatch) -> Maybe<&2,R.Error>:
102  match field result:
103    case D.Field{name,_} Unhandled{}:Some{R.UnknownMachine{name}}
104    case D.Field{name,raw} Invalid{}:Some{R.InvalidMachineState{name,raw}}
105    case _ Valid{}:None{}