def object

bendvy-ecs-core@0.1.0.4 · restore_graph_raw.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_raw.bend as Basic
import bendvy-ecs-core@0.1.0.4/restore_raw_number.bend as Number
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as Graph

101def object(raw:D.Raw) -> Basic.Decoded<Graph.Snapshot>:
102  match raw:
103    case D.Object{+fields}:version(fields,D.field("version",fields),Number.checked(D.field("version",fields)))
104    case other:Basic.invalid(~Graph.Snapshot,"$","object",other)